Sciweavers

1143 search results - page 24 / 229
» Prospective Logic Agents
Sort
View
CONCUR
1992
Springer
15 years 6 months ago
The Duality of TIme and Information
The states of a computing system bear information and change time, while its events bear time and change information. We develop a primitive algebraic model of this duality of tim...
Vaughan R. Pratt
52
Voted
ATAL
2009
Springer
15 years 8 months ago
Logical formalization of social commitments: application to agent communication languages
Benoit Gaudou, Andreas Herzig, Dominique Longin
DALT
2006
Springer
15 years 5 months ago
A Dynamic Logic Programming Based System for Agents with Declarative Goals
Goals are used to define the behavior of (pro-active) agents. It is our view that the goals of an agent can be seen as a knowledge base of the situations that it wants to achieve. ...
Vivek Nigam, João Leite
107
Voted
AAAI
2006
15 years 3 months ago
MPE and Partial Inversion in Lifted Probabilistic Variable Elimination
It is often convenient to represent probabilistic models in a first-order fashion, using logical atoms such as
Rodrigo de Salvo Braz, Eyal Amir, Dan Roth
ATAL
2009
Springer
15 years 8 months ago
Description logic for coalitions
Inanç Seylan, Wojciech Jamroga