5198 search results - page 345 / 1040 » A Logic of Agent Programs |
172
click to vote
TARK
2005
Springer
16 years 4 days ago
2005
Springer
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighb...
199
click to vote
JAR
2010
15 years 1 months ago
2010
Nominal logic is a variant of first-order logic with special facilities for reasoning about names and binding based on the underlying concepts of swapping and freshness. It serves ...
178
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
ion in model checking multi-agent systems Mika Cohen Department of Computing Imperial College London London, UK Mads Dam Access Linnaeus Center Royal Institute of Technology Stockh...
198
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
We present role logic, a notation for describing properties of relational structures in shape analysis, databases, and knowledge bases. We construct role logic using the ideas of ...
163
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
This paper discusses some modeling issues concerning the communication between goal-directed agents. In particular, the role of performatives in agent communication is discussed. I...