453 search results - page 41 / 91 » FLUX: A Logic Programming Method for Reasoning Agents |
143
click to vote
TLDI
2009
ACM
16 years 2 months ago
2009
ACM
Object-oriented programs are notable for making use of both rder abstractions and mutable, aliased state. Either feature alone is challenging for formal verification, and the com...
181
click to vote
RR
2010
Springer
15 years 4 months ago
2010
Springer
Translations to (first-order) datalog have been used in a number of inferencing techniques for description logics (DLs), yet the relationship between the semantic expressivities o...
136
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper presents a framework that integrates three aspects of agency: planning, for proactive behaviour, negotiation, for social behaviour and resource achievement, an...
176
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...
150
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...