LAIM A: A multi-agent platform using ordered choice logic programming

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

Volumn 3904 LNAI, Issue , 2006, Pages 72-88

  De Vos, Marina ^a   Crick, Tom ^a   Padget, Julian ^a   Brain, Martin ^a   Cliffe, Owen ^a   Needham, Jonathan ^a  

^a University of Bath   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; KNOWLEDGE BASED SYSTEMS; LOGIC PROGRAMMING; MATHEMATICAL MODELS;

EQUILIBRIA; JADE FRAMEWORK; PERFECT INFORMATION; SMODELS ANSWER SET SOLVER;

MULTI AGENT SYSTEMS;

EID: 33745761384     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11691792_5     Document Type: Conference Paper

References (26)

1. Opencyc: http://www.cyc.com.opencyc
2. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge Press (2003)
3. Brain, M., De Vos, M.: Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice. In: ASP03: Answer Set Programming: Advances in Theory and Implementation, Ceur-WS (2003) online CEUR-WS.org/Vol-78/asp03- final-brain.ps.
4. Osborne, M.J., Rubinstein, A.: A Course in Game Theory. Third edn. The MIT Press, Cambridge, Massachusetts, London, Engeland (1996)
5. Jade: http://jade.ilab.com/
6. Protégé: http://proege.stanford.edu/
7. De Vos, M.: Implement: g Ordered Choice Logic Programming using Answer Set Solvers. In: Third International S mposium on Foundations of Information and Knowledge Systems (FoIKS'04). Volume 294 I., Vienna, Austria, Springer Verlag (2004) 59-77
8. De Vos, M., Vermeir, D.: Extending Answer Sets for Logic Programming Agents. Annals of Mathematics and Artificd Intelligence 42 (2004) 103-139 Special Issue on Computational Logic in Multi-Agent Systems.
9. Denecker, M.: What's india Model? Epistemological Analysis of Logic Programming, Ceur-WS (2003) online CEUR-WS.org/Vol-78/.
10. De Vos, M., Vermeir, D.: On the Role of Negation in Choice Logic Programs. In Gelfond, M., Leone, N., Pfeifer, G., eds.: Logic Programming and Non-Monotonic Reasoning Conference (LPNMR'99). Volume 1730 of Lecture Notes in Artificial Intelligence., El Paso, Texas, USA, Springer Verslag (1999) 236-246
11. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proc. of fifth logic programming symposium, MIT PRESS (1988) 1070-1080
12. Niemelä, I., Simons, P.: Smodels: An implementation of the stable model and well-founded semantics for normal LP. In Dix, J., Furbach, U., Nerode, A., eds.: Proceedings of the 4th International Conference on Logic Programing and Nonmonotonic Reasoning. Volume 1265 of LNAI., Berlin, Springer (1997) 420-429
13. Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: The KR system dlv: Progress report, comparisons and benchmarks. In Cohn, A.G., Schubert, L., Shapiro, S.C., eds.: KR'98: Principles of Knowledge Representation and Reasoning. Morgan Kaufmann, San Francisco, California (1998) 406-417
14. FIPA: http://www.fipa.org/
15. Wooldridge, M., Jennings, N.R., Kinny, D.: The gaia methodology for agent-oriented analysis and design. Autonomous Agents and Multi-Agent Systems 3 (2000) 285-312.
16. Dix, J., Eiter, T., Fink, M., Polleres, A., Zhang, Y.: Monitoring Agents using Declarative Planning. Fundamenta Informaticae 57 (2003) 345-370 Short version appeared in Gn-ther/Kruse/Neumann (Eds.), Proceedings of KI 03, LNAI 2821, 2003.
17. Nogueira, M., Balduccini, M., Gelfond, M., Watson, R., Barry, M.: A A-Prolog Decision Support System for the Space Shuttle. In: Answer Set Programming: Towards Efficient and Scalable Knowledge Represenation and Reasoning. American Association for Artificial Intelligence Press, Stanford (Palo Alto), California, US (2001)
18. Gelfond, M.: Answer set programming and the design of deliberative agents. In: Procs. of 20th International Conference on Logic Programming. Number 3132 in Lecture Notes in Artificial Intelligence (LNCS) (2004) 19-26
19. Leite, J.A., Alferes, J.J., Pereira, L.M.: Minerva - a dynamic logic programming agent architecture. In Meyer, J.J., Tambe, M., eds.: Intelligent Agents VIII. Number 2002 in LNAI, Springer-Verlag (2002) 141-157
20. Wooldridge, M.J., Jennings, N.R.: Agent theories, architectures and languages: a survey. In Wooldridge, M.J., Jennings, N.R., eds.: Intelligent Agents; ECAI-94 Workshop on Agent Theories, Architectures, and Languages (Amsterdam 1994). Volume 890 of LNCS (LNAI)., Berlin: Springer (1994) 1-39
21. Costantini, S., Tocchio, A.: A Logic Programming Language for Multi-agent Systems. In: Logics in Artificial Intelligence, Proceedings of the 8th European Conference, Jelia 2002. Volume 2424 of Lecture Notes in Artificial Intelligence., Cosenza, Italy, Springer-Verlag, Germany (2002)
22. Kakas, A., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: Declarative agent control. In Leite, J., Torroni, P., eds.: 5th Workshop on Computational Logic in Multi-Agent Systems (CLIMA V). (2004)
23. SOCS: http://lia.dels.unibo.it/research/socs/
24. Jørring, U., Scherlis, W.: Compilers and staging transformations. In: Proceedings of 13th ACM Symposium on Principles of Programming Languages, New York, ACM (1986) 86-96
25. Brain, M.J.: Undergraduate dissertation: Incremental answer set programming. Technical Report 2004-05, University of Bath, U.K., Bath (2004)
26. Ciampolini, A., Torroni, P.: Using abductive logic agents for modeling the judicial evaluation of crimimal evidence. Applied Artificial Intelligence 18 (2004) 251-275