239 search results - page 3 / 48 » Temporal Languages for Epistemic Programs |
AAAI
2012
11 years 7 months ago
2012
Temporal Action Logics (TAL) is a class of temporal logics for reasoning about actions. We present a reformulation of TAL in Answer Set Programming (ASP), and discuss some synergi...
AGI
2008
13 years 6 months ago
2008
Inhabiting the complex and dynamic environments of modern computer games with autonomous agents capable of intelligent timely behaviour is a significant research challenge. We illu...
IJSSE
2011
12 years 12 months ago
2011
The Extensible Markup Language is susceptible to security breaches because it does not incorporate methods to protect the information it encodes. Our work presented in this paper f...
ENTCS
2007
13 years 4 months ago
2007
This paper establishes undecidability of satisfiability for multi-modal logic equipped with the hybrid binder ↓ , with respect to frame classes over which the same language wit...
POPL
2009
ACM
14 years 5 months ago
2009
ACM
