Using the KGP model of agency to design applications

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

Volumn 3900 LNAI, Issue , 2006, Pages 165-185

  Sadri, Fariba ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; COMPUTER APPLICATIONS; KNOWLEDGE BASED SYSTEMS; LOGIC DESIGN; MATHEMATICAL MODELS;

COMPUTATIONAL COMPONENT; COMPUTATIONAL LOGIC; KNOWLEDGE-GOALS-PLAN (KGP) PLAN;

FORMAL LOGIC;

EID: 33745615177     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11750734_10     Document Type: Conference Paper

References (19)

1. M. Alberti, F. Athienitou, A. Bracciali, F. Chesani, U. Endriss, M. Gavanelli, A. Kakas, E. Lamina, W. Lu, P. Mancarella, P. Mello, F. Sadri, K. Stathis, F. Toni, P. Torroni: Verifiable Properties of Societies of Computees, Technical report, SOCS Consortium, Deliverable D13, U. Endriss, F. Sadri (eds.), will be available at http://lia.deis.unibo.it/research/socs/guests/ publications/ (2005)
2. A. Bracciali, N. Demetriou, U. Endriss, A. Kakas, W. Lu, P. Mancarella, F. Sadri, K. Stathis, G. Terreni, F. Toni: The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation, Global Computing 2004 Workshop, Springer Verlag LNCS 3267 (2005) p. 342
3. Y. Dimopoulos, A.C. Kakas: Logic Programming Without Negation as Failure, in Logic Programming, Proceedings of the 1995 International Symposium, Portland, Oregon (1995) p. 369
4. U. Endriss, P. Mancarella, F. Sadri, G. Terreni, F. Toni: The CIFF Proof Procedure for Abductive Logic Programming With Constraints, JELIA'2004, International Conference on Logics in AI, Lisbon, Portugal, September 2004, Springer Verlag LNAI 3229 (2004) p. 31
5. U. Endriss, P. Mancarella, F. Sadri, G. Terreni, F. Toni: Abductive Logic Programming with CIFF: System Description, JELIA'2004, International Conference on Logics in AI, Lisbon, Portugal, September 2004, Springer Verlag LNAI 3229 (2004) p. 680
6. U. Endriss, P. Mancarella, F. Sadri, G. Terreni, F. Toni: Abductive Logic Programming with CIFF: Implementation and Applications, CILC04, Convegno Italiano di Logica Computazionale, 16-17 June 2004, Parma, Italy, Research Report Quaderno del Dipartimento di Matematica, Universita' di Parma, n. 390 (2004) p. 28
7. Gorgias: Argumentation and Abduction (http://www.cs.ucy.ac.cy/~nkd/ gorgias)
8. A.C.Kakas, R.A. Kowalski, F. Toni: The Role of Abduction in Logic Programming, in Handbook of Logic in Artificial Intelligence and Logic Programming, D.M. Gabbay, C.J. Hogger, J.A. Robinson (eds.), volume 5, Oxford University Press (1998) p.235
9. A.C. Kakas, E. Lamma, P.Mancarella, P. Mello, K.Stathis, and F.Toni: Computational Model for Computees and Society of Computees, Technical report, SOCS Consortium, Deliverable D8, will be available at http://lia.deis.unibo.it/ research/socs/guests/publications/ (2003)
10. A.C. Kakas, P.Mancarella, F. Sadri, K.Stathis, and F.Toni: A Logic-based Approach to Model Computees, Technical report, SOCS Consortium, Deliverable D4, will be available at http://lia.deis.unibo.it/research/socs/guests/publications/ (2003)
11. A. Kakas, P. Mancarella, F. Sadri, K. Stathis, F. Toni: The KGP Model of Agency, ECAI04, General European Conference on Artificial Intelligence, August 23-27, Valencia, Spain (2004) p. 33
12. A.C. Kakas, P.Mancarella, F.Sadri, K.Stathis, and F.Toni: Declarative Agent Control, 5th Workshop on Computational Logic in Multi-Agent Systems (CLIMA V), 29-30 September, J.Leite and P.Torroni (eds.) (2004) p. 212
13. R.A. Kowalski, M. Sergot: A Logic-based Calculus of Events, New Generation Computing, 4(1):67-95 (1986)
14. P.Mancarella, F.Sadri, G.Terreni, and F.Toni: Planning Partially for Situated Agents, 5th Workshop on Computational Logic in Multi-Agent Systems (CLIMA V), 29-30 September 2004, J.Leite and P.Torroni (eds.)
15. F. Sadri and F. Toni: Variety of behaviours Through Profiles in Logic-based Agents, in this volume
16. F. Sadri, K. Stathis, F. Toni: Normative KGP Agents: A Preliminary Report, Proc. NorMAS2005, 1st International Symposium on Normative Multi-Agent Systems, AISB convention (2005)
17. F. Sadri, K. Stathis, F. Toni: Normative KGP Agents, Computational and Mathematical Organization Theory (2006) (to appear)
18. Kostas Stathis, Antonis C. Kakas, Wenjin Lu, Neophytes Demetriou, Ulle Endriss, and Andrea Bracciali: PROSOCS: a Platform for Programming Software Agents in Computational Logic, in J. Müller and P. Petta (eds.), Proceedings of the Fourth International Symposium "From Agent Theory to Agent Implementation" (AT2AI-4 -EMCSR'2004 Session M), Vienna, Austria, 13-16 April (2004) p. 523
19. JXTA: http://www.jxta.org