135 search results - page 15 / 27 » A New Logical Semantics for Agent Communication |
163
click to vote
CORR
2000
Springer
15 years 5 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...
169
click to vote
AAAI
1997
15 years 7 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...
157
click to vote
CICLING
2001
Springer
15 years 10 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 ...
157
click to vote
FQAS
2009
Springer
15 years 3 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...
158
click to vote
ATAL
2009
Springer
16 years 16 days 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...