4622 search results - page 21 / 925 » Foundations of Information Theory |
CL
2000
Springer
14 years 9 months ago
2000
Springer
Abstract. A new equational foundation is presented for the Fluent Calculus, an established predicate calculus formalism for reasoning about actions. We discuss limitations of the e...
CI
2006
14 years 9 months ago
2006
This paper investigates decision-theoretic planning in sophisticated autonomous agents operating in environments of real-world complexity. An example might be a planetary rover ex...
AAMAS
2002
Springer
14 years 9 months ago
2002
Springer
Abstract. The purpose of this research is to show the relevance of philosophical theories to agent knowledge base (AKB) design, implementation, and behaviour. We will describe how ...
JLP
2011
14 years 19 days ago
2011
A Concurrent Kleene Algebra offers two composition operators, related by a weak version of an exchange law: when applied in a trace model of program semantics, one of them stands...
LICS
2007
IEEE
15 years 4 months ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...