3658 search results - page 364 / 732 » The logic of proofs, semantically |
188
click to vote
AIM
2005
15 years 6 months ago
2005
This paper surveys previous work on combining planning techniques with expressive representations of knowledge in description logics to reason about tasks, plans, and goals. Descr...
175
click to vote
JELIA
2004
Springer
16 years 7 days ago
2004
Springer
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated r...
200
click to vote
SYNTHESE
2008
15 years 6 months ago
2008
Dynamic Epistemic Logic (DEL) is the study of how to reason about knowledge, belief, and communication. This paper studies the relative expressivity of certain fragments of the DE...
268
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
Recently, enabling modularity aspects in Answer Set Programming (ASP) has gained increasing interest to ease the composition of program parts to an overall program. In this paper, ...
152
click to vote
ATAL
2005
Springer
16 years 13 days 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. ...