135 search results - page 15 / 27 » A New Logical Semantics for Agent Communication |
CORR
2000
Springer
14 years 9 months ago
2000
Springer
Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavio...
86
Voted
AAAI
1997
14 years 11 months ago
1997
CNF-BCP is a well-known propositional reasoner that extends clausal Boolean Constraint Propagation (BCP) to non-clausal theories. Although BCP has efficient linear-time implementa...
CICLING
2001
Springer
15 years 2 months ago
2001
Springer
In logic, the spatio-temporal location of a proposition is characterized precisely within a Cartesian system of space and time coordinates. This is suitable for characterizing the ...
FQAS
2009
Springer
14 years 7 months ago
2009
Springer
In this paper, an agent is defined as a triple (S, RS, LS), where S is a multi-hierarchical decision system, RS is a set of rules extracted from S defining values of its decision a...
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
In planning as well as in other areas, temporal logic has been used to specify so-called temporally extended goals. Temporally extended goals refer to desirable sequences of state...