Towards a unified agent architecture that combines rationality with reactivity

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1154, Issue , 1996, Pages 137-149

  Kowalski, Robert ^a   Sadri, Fariba ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; LOGIC PROGRAMMING; RECONFIGURABLE HARDWARE; SEMANTICS;

ABDUCTIVE LOGIC PROGRAMMING; AGENT ARCHITECTURES; CONSTRAINT LOGIC PROGRAMMING; INTEGRITY CONSTRAINTS; PROOF PROCEDURES; REACTIVE AGENT; RESOURCE-BOUNDED; SEMANTIC QUERY;

COMPUTER CIRCUITS;

EID: 21444449615     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0031739     Document Type: Conference Paper

References (15)

1. Rodney A. Brooks. A robust layered control system for a mobile robot. IEEE Journal of Robotics and Automation, 2(1):14-23, 1986.
2. Rodney A. Brooks. Intelligence without reason. In J. Mylopolous and R. Reiter, editors, Proceedings of IJCAI 91, pages 569-595. Morgan Kaufmann Publishers, 1991.
3. Tze Ho Fung. A modified abductive framework. In N. Fuchs and G. Gottlob, editors, Proceedings of Logic Programming Workshop, 1994.
4. Tze Ho Fung. Abduction by deduction. PhD thesis, Imperial College, University of London, 1996.
5. Dov Gabbay. The declarative past and imperative future. In Howard Barringer, editor, Proccedings of the Colloquium on Temporal Logic and Specifications, LNCS, Vol. 398, pages 409-448. Springer-Verlag, 1989.
6. Dov Gabbay, Howard Barringer, Michael Fisher, Graham Gough, and Richard P. Owens. METATEM: A framework for programming in temporal logic. In REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Mook, Netherlands. LNCS Vol. 430, pages 94-129. Springer-Verlag, 1989.
7. Dov Gabbay and Uwe Reyle. N-prolog: An extension of prolog with hypothetical implications I. Journal of Logic Programming, 1:319-355, 1984.
8. Robert A. Kowalski. Using meta-logic to reconcile reactive with rational agents. In K. Apt and F. Turini, editors, Meta-Logic and Logic Programming, pages 227-242. MIT Press, 1995.
9. Robert A. Kowalski, Francesca Toni, and Gerhard Wetzel. Towards a declarative and efficient glass-box clp language. In N. Fuchs and G. Gottlob, editors, Proceedings of Logic Programming Workshop (WLP’94), 1994.
10. Robert A. Kowalski, Gerhard Wetzel, and Francesca Toni. A unifying framework for Mp, clp and sqo. Technical report, Department of Computing, Imperial College, London, April 1996.
11. John W. Lloyd and John C. Shepherdson. Partial evaluation in logic programming. Journal of Logic Programming, 11:217-242, 1991.
12. Yoav Shoham. Agent-oriented programming. AI Journal, 60(1), pages 51-92, 1993.
13. Gerhard Wetzel, Robert A. Kowalski, and Francesca Toni. A theorem-proving approach to clp. In Geske U., Krall A., (eds), Workshop Logische Programmierung, volume 270 of GMD-Studien, pages 63-72. Bonn, Germany, 1995.
14. Jennifer Widom. Deductive and active databases: two paradigms or ends of a spectrum. In N.W. Paton and It. Williams, editors, Rules in Database Systems: Proceedings of the 1st International Workshop, pages 306-315. Springer-Verlag, 1994.
15. Carlo Zaniolo. A unified semantics for active and deductive databases. In N.W. Paton and H. Williams, editors, Rules in Database Systems: Proceedings of the 1st International Workshop, pages 271-287. Springer-Verlag, 1994.