590 search results - page 57 / 118 » Knowledge And The Action Description Language A |
SYNTHESE
2011
13 years 3 months ago
2011
Dynamic epistemic logics describe the epistemic consequences of actions. Public announcement logic, in particular, describe the consequences of public announcements. As such, thes...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
We add assignment operators to languages for epistemic actions, so that change of knowledge and change of facts can be combined in specifications of multi-agent system dynamics. ...
COLING
2008
13 years 10 months ago
2008
This paper describes a system for processing economic documents written in the ancient Sumerian language. The system is application-oriented and takes advantage of the simplicity ...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
In this paper we consider how a BDI agent might determine its best course of action. We draw on previous work which has presented a model of persuasion over action and we discuss ...
LFCS
2009
Springer
14 years 3 months ago
2009
Springer
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...