Beliefs in agent implementation

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

Volumn 3904 LNAI, Issue , 2006, Pages 1-16

  Winkelhagen, Laurens ^a   Dastani, Mehdi ^a   Broersen, Jan ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; INTELLIGENT AGENTS; MATHEMATICAL OPERATORS; QUERY LANGUAGES;

DECLARATIVE AGENT LANGUAGES; MODAL LOGIC PROGRAMS; QUERY FORMULA;

COMPUTER PROGRAMMING LANGUAGES;

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

References (10)

1. M. Dastani, B. van Riemsdijk, F. Dignum, J.J. Meyer: A programming language for cognitive agents: Goal directed 3apl. In Mehdi Dastani, Juergen Dix, A.E.F.S., ed.: Programming Multi-Agent Systems: First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited papers. Volume 3067 of Lecture Notes in Computer Science., Springer (2004) 111-130
2. The Foundation for Intelligent Physical Agents: (Fipa communicative act library specification)
3. Baldoni, M.: Normal Multimodal Logics: Automatic Deduction and Logic Programming Extension. PhD thesis, University of Turin, Italy (1998)
4. Nguyen, L.A.: The modal logic programming system MProlog. In Alferes, J.J., Leite, J.A., eds.: Proceedings of JELIA 2004. Volume 3229 of Lecture Notes in Computer Science., Springer (2004) 266-278
5. Nonnengart, A.: How to use modalities and sorts in prolog. In MacNish, C., Pearce, D., Pereira, L.M., eds.: Logics in Artificial Intelligence. Springer (1994) 365-378
6. Nguyen, L.A.: Multimodal logic programming and its applications to modal deductive databases. Technical report (2003)
7. M. Baldoni, L. Giordano, A. Martelli: A modal extention of logic programming: Modularity, beliefs and hypothetical reasoning. In: Journal of Logic and Computation. Volume 8. Oxford University Press (1998) 597-635
8. M. Baldoni, L. Giordano, A. Martelli: A framework for modal logic programming. In Maher, M., ed.: Proc. of the Joint International Conference and Symposium on Logic Programming, JICSLP'96. MIT Press (1996) 52-66
9. M. Baldoni, L. Giordano, A. Martelli: Translating a modal language with embedded implication into horn clause logic. In: Extensions of Logic Programming. (1996) 19-33
10. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Volume 53 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press (2001)