219 search results - page 19 / 44 » Dynamic Epistemic Temporal Logic |
KI
2007
Springer
14 years 2 months ago
2007
Springer
This paper describes a spatio-temporal configurations building approach, which has been applied to dynamics points in 1-dimensional space. In this approach, a temporal logic, Allen...
ARGMAS
2004
Springer
14 years 1 months ago
2004
Springer
This paper compares within the MAS framework two separate threads in the formal study of epistemic change: belief revision and argumentation theories. Belief revision describes how...
EPIA
2009
Springer
14 years 2 months ago
2009
Springer
Logic Programming Update Languages were proposed as an extension of logic programming that allows modeling the dynamics of knowledge bases where both extensional (facts) and intent...
AAAI
2000
13 years 9 months ago
2000
We propose an epistemic dynamic logic EDL able to represent the interactions between action and knowledge that are fundamental to planning under partial observability. EDL enables...
DALT
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. This paper presents a complete temporal STIT logic for reasoning about multi-agency. I discuss its application for reasoning about norms, knowledge, autonomy, and other m...