Declarative Agent Languages and Technologies

@inproceedings{Omicini2003DeclarativeAL,
  title={Declarative Agent Languages and Technologies},
  author={Jo{\~a}o Leite Andrea Omicini and Leon Sterling Paolo Torroni},
  booktitle={Lecture Notes in Computer Science},
  year={2003}
}
  • João Leite Andrea Omicini, Leon Sterling Paolo Torroni
  • Published 2003 in Lecture Notes in Computer Science
  • DOI:10.1007/b97923
This paper extends a programming language for implementing cognitive agents with the capability to explicitly represent beliefs and reason about them. In this programming language, the beliefs of agents are implemented by modal logic programs, where beliefs are represented by explicit modal operators. A distinction is made between a belief base language… CONTINUE READING