Sciweavers

1143 search results - page 24 / 229
» Prospective Logic Agents
Sort
View
CONCUR
1992
Springer
15 years 10 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
DALT
2006
Springer
15 years 9 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
AAAI
2006
15 years 7 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
16 years 17 days ago
Description logic for coalitions
Inanç Seylan, Wojciech Jamroga