An agent language with destructive assignment and model-theoretic semantics

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

Volumn 6245 LNAI, Issue , 2010, Pages 200-218

  Kowalski, Robert ^a   Sadri, Fariba ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

abductive logic programming; agent languages; model theoretic semantics

Indexed keywords

ABDUCTIVE LOGIC PROGRAMMING; ACTION THEORY; AGENT LANGUAGES; INTEGRITY CONSTRAINTS; LOGIC PROGRAMS; MODEL-THEORETIC SEMANTICS; OPERATIONAL SEMANTICS; REACTIVE RULES;

DATABASE SYSTEMS; LINGUISTICS; LOGIC PROGRAMMING; MACROS;

MULTI AGENT SYSTEMS;

EID: 77956533097     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-14977-1_16     Document Type: Conference Paper

References (18)

1. Alferes, J., Leite, J., Pereira, L.M., Przymusinska, H., Przymusinski, T.: Dynamic Updates of Non-Monotonic Knowledge Bases. J. of Logic Programming 45(1-3), 43-70 (2000)
2. Bonner, Kifer, M.: Transaction logic programming. In: Warren, D.S. (ed.) Logic Programming: Proc. of the 10th International Conf., pp. 257-279 (1993)
3. Costantini, S., Tocchio, A.: About Declarative Semantics of Logic-Based Agent Languages. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol.3904, pp. 106-123. Springer, Heidelberg (2006)
4. Dennis, L.A., Farwer, B., Bordini, R.H., Fisher, M., Wooldridge, M.: A Common Semantics Basis for BDI Languages. In: Dastani, M.M., El Fallah Seghrouchni, A., Ricci, A., Winikoff, M. (eds.) ProMAS 2007. LNCS (LNAI), vol.4908, pp. 124-139. Springer, Heidelberg (2008)
5. van Emden, M., Kowalski, R.: The Semantics of Predicate Logic as a Programming Language. JACM 23(4), 733-742 (1976)
6. Fisher, M.: A Survey of Concurrent METATEM-The Language and its Applications. LNCS, vol.827. Springer, Heidelberg (1994)
7. Flesca, S., Greco, S.: Declarative Semantics for Active Rules. Theory and Practice of Logic Programming 1(1), 43-69 (2001)
8. Fung, T.H., Kowalski, R.: The IFF Proof Procedure for Abductive Logic Programming. J. of Logic Programming (1997)
9. Kakas, T., Kowalski, R., Toni, F.: The Role of Logic Programming in Abduction. In: Handbook of Logic in Artificial Intelligence and Programming, vol.5, pp. 235-324. Oxford University Press, Oxford (1998)
10. Kakas, A., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: Computational Logic Foundations of KGP Agents. Journal of Artificial Intelligence Research 33, 285-348 (2008)
11. Kowalski, R.: Predicate Logic as Programming Language. In: Proceedings IFIP Congress, Stockholm, pp. 569-574. North Holland Publishing Co., Amsterdam (1974)
12. Kowalski, R., Sadri, F.: From Logic Programming Towards Multi-agent Systems. Annals of Mathematics and Artificial Intelligence 25, 391-419 (1999)
13. Kowalski, R., Sadri, F.: Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents. In: Proceedings of the Third International Conference on Web Reasoning and Rule Systems, Chantilly, Virginia, USA (2009)
14. Reiter, R.: Knowledge in Action. MIT Press, Cambridge (2001)
15. Thielscher, M.: FLUX: A Logic Programming Method for Reasoning Agents. Theory and Practice of Logic Programming 5(4-5), 533-565 (2005)
16. Zaniolo, C.: A Unified Semantics for Active and Deductive Databases. In: Procs. 1993 Workshop on Rules in Database Systems, RIDS 1993, pp. 271-287. Springer, Heidelberg (1993)
17. Thielscher, M.: Integrating Action Calculi and AgentSpeak. In: Lin, F., Sattler, U. (eds.) Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), Toronto (2010)
18. Hayashi, H., Tokura, S., Ozaki, F., Doi, M.: Background Sensing Control for Planning Agents Working in the Real World. International Journal of Intelligent Information and Database Systems 3(4), 483-501 (2009)