Heterogeneous active agents, III: Polynomially implementable agents

Artificial Intelligence

Volumn 117, Issue 1, 2000, Pages 107-167

  Eiter, Thomas ^a   Subrahmanian, V S ^b   Rogers, T J ^c  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^b UNIVERSITY OF MARYLAND   (United States)

^c NONE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; COMPUTATIONAL LINGUISTICS; KNOWLEDGE REPRESENTATION; POLYNOMIALS;

DEONTIC LOGIC; POLYNOMIAL AGENT LANGUAGES;

ARTIFICIAL INTELLIGENCE;

EID: 0033908532     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(99)00104-6     Document Type: Article

References (39)

1. S. Abiteboul R. Hull V. Vianu Foundations of Databases 1995 Addison Wesley Reading, MA
2. S. Adali K.S. Candan Y. Papakonstantinou V.S. Subrahmanian Query caching and optimization in distributed mediator systems Proc. ACM SIGMOD Conference on Management of Data, Montreal, Quebec 1996 137 148
3. J.J. Alferes L.M. Pereira Reasoning with Logic Programming Lecture Notes in Artificial Intelligence 1111 1996 Springer Berlin
4. K. Apt H. Blair A. Walker Towards a theory of declarative knowledge J. Minker Foundations of Deductive Databases and Logic Programming 1988 Morgan Kaufmann San Mateo, CA 89 148
5. Y. Arens C.Y. Chee C.-N. Hsu C. Knoblock Retrieving and integrating data from multiple information sources Internat. J. Intelligent Cooperative Information Systems 2 2 1993 127 158
6. R. Bayardo Infosleuth: Agent-based semantic integration of information in open and dynamic environments J. Peckham Proc. ACM SIGMOD Conference on Management of Data, Tucson, AZ 1997 195 206
7. K.A. Berman J.S. Schlipf J.V. Franco Computing the well-founded semantics faster A. Nerode W. Marek M. Truszczynski Logic Programming and Non-Monotonic Reasoning, Proc. 3rd International Conference Lecture Notes in Computer Science 928 1995 Springer Berlin 113 126
8. J. Boye J. Maluszynski Two aspects of directional types Proc. 12th International Conference on Logic Programming, Tokyo, Japan 1995 MIT Press Cambridge, MA 747 761
9. S. Brass J. Dix Characterizations of the disjunctive stable semantics by partial evaluation J. Logic Programming 32 3 1997 207 228
10. S. Brass J. Dix Characterizations of the disjunctive well-founded semantics: Confluent calculi and iterated GCWA J. Automat. Reason. 20 1 1998 143 165
11. S. Brass J. Dix Semantics of (disjunctive) logic programs based on partial evaluation J. Logic Programming 38 3 1999 167 213
12. A. Brink S. Marcus V. Subrahmanian Heterogeneous multimedia reasoning IEEE Computer 28 9 1995 33 39
13. K.S. Candan B. Prabhakaran V.S. Subrahmanian CHIMP: A framework for supporting multimedia document authoring and presentation Proc. ACM Multimedia Conference, Boston, MA 1996 329 340
14. S. Chawathe The TSIMMIS project: Integration of heterogeneous information sources Proc. 10th Meeting of the Information Processing Society of Japan, Tokyo, Japan 1994
15. J. Dix U. Furbach I. Niemela Nonmonotonic reasoning: Towards efficient calculi and implementations A. Voronkov A. Robinson Handbook of Automated Reasoning 1999 Elsevier Science Amsterdam
16. T. Eiter V. Subrahmanian Heterogeneous active agents, II: Algorithms and complexity Artificial Intelligence 108 1–2 1999 257 307
17. T. Eiter V. Subrahmanian G. Pick Heterogeneous active agents, I: Semantics Artificial Intelligence 108 1–2 1999 179 255
18. P.W. Foltz S.T. Dumais Personalized information delivery: An analysis of filtering methods Comm. ACM 35 12 1992 51 60
19. M. Gelfond V. Lifschitz The stable model semantics for logic programming Logic Programming: Proc. 5th International Conference and Symposium 1988 MIT Press Cambridge, MA 1070 1080
20. M. Gelfond V. Lifschitz Classical negation in logic programs and disjunctive databases New Generation Computing 9 1991 365 385
21. D. Goldberg D. Nichols B. Oki D. Terry Using collaborative filtering to weave an information tapestry Comm. ACM 35 12 1992 61 70
22. K.V. Hindriks F.S. de Boer W. van der Hoek J.J.C. Meyer Formal semantics of an abstract agent programming language International Workshop on Agent Theories, Architectures, and Languages (ATAL-97) Lecture Notes in Computer Science 1365 1998 Springer Berlin 215 230
23. S. Ishizaki Multiagent model of dynamic design: Visualization as an emergent behavior of active design agents M. Huhns M. Singh Readings in Agents 1997 Morgan Kaufmann San Mateo, CA 172 179
24. R. Kowalski F. Sadri From logic programming towards multi-agent systems Ann. Math. Artificial Intelligence 25 3–4 1999 391 419
25. J. Lloyd Foundations of Logic Programming 1987 Springer Berlin
26. J. Lu A. Nerode V.S. Subrahmanian Hybrid knowledge bases IEEE Trans. Knowledge Data Engineering 8 5 1996 773 785
27. B.M.E. Moret H.D. Shapiro Design and Efficiency, Algorithms from P to NP , Vol. I 1991 Benjamin/Cummings Redwood City, CA
28. M. Paterson M. Wegman Linear unification J. Computer System Sci. 16 1978 158 167
29. D. Plaisted Equational reasoning and term rewriting systems D. Gabbay C. Hogger J. Robinson Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 1 1993 Clarendon Press Oxford 274 364
30. H. Rogers Jr. Theory of Recursive Functions and Effective Computability 1967 McGraw-Hill New York
31. S.J. Rosenschein Formal theories of knowledge in AI and robotics New Generation Computing 3 4 1985 345 357
32. S.J. Rosenschein L.P. Kaelbling A situated view of representation and control Artificial Intelligence 73 1995 149 173
33. Y. Rouzaud L. Nguyen-Phoung Integrating modes and subtypes into a Prolog type checker Proc. Internat. Joint Conference/Symposium on Logic Programming 1992 MIT Press Cambridge, MA 85 97
34. D. Rus R. Gray D. Kotz Transportable information agents M. Huhns M. Singh Readings in Agents 1997 Morgan Kaufmann CA 283 291
35. J. Schafer T.J. Rogers J. Marin Networked visualization of heterogeneous US Army war reserves readiness data S. Jajodia T. Ozsu A. Dogac Advances in Multimedia Information Systems, 4th International Workshop, MIS-98, Istanbul, Turkey Lecture Notes in Computer Science 1508 1998 Springer Berlin 136 147
36. B. Sheth P. Maes Evolving agents for personalized information filtering Proc. 9th Conference on Artificial Intelligence for Applications (CAIA-93), Orlando, FL 1993 IEEE Computer Society Press 345 352
37. Y. Shoham Agent oriented programming Artificial Intelligence 60 1993 51 92
38. J.-D. Sta Information filtering: A tool for communication between researchers Proc. ACM INTERCHI-93 Conference on Human Factors in Computing Systems—Adjunct Proceedings, Short Papers (Posters): Help and Information Retrieval 1993 177 178
39. J.D. Ullman Principles of Database and Knowledge Base Systems 1989 Computer Science Press Rockville, MD