Search Sciweavers | Sciweavers

1143 search results - page 13 / 229

» Prospective Logic Agents

click to vote

ATAL
2011
Springer

186views Intelligent Agents» more ATAL 2011»

Agents that speak: modelling communicative plans and information sources in a logic of announcements

14 years 1 months ago

Download www.ifaamas.org

Philippe Balbiani, Nadine Guiraud, Andreas Herzig,...

claim paper

Read More »

click to vote

AUSAI
2005
Springer

81views Artificial Intelligence» more AUSAI 2005»

Preferences of Agents in Defeasible Logic

15 years 7 months ago

Download espace.uq.edu.au

We are interested in programming languages for cognitive agents with preferences. We deﬁne rule-based agent theories and inference procedures in defeasible logic, and in this set...

Mehdi Dastani, Guido Governatori, Antonino Rotolo,...

claim paper

Read More »

109

click to vote

LPAR
2005
Springer

111views Automated Reasoning» more LPAR 2005»

Programming Cognitive Agents in Defeasible Logic

15 years 7 months ago

Download people.cs.uu.nl

Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We deﬁne rule-based agent theories that contain preferences ...

Mehdi Dastani, Guido Governatori, Antonino Rotolo,...

claim paper

Read More »

Voted

AAAI
2008

125views Intelligent Agents» more AAAI 2008»

An AGM-Based Belief Revision Mechanism for Probabilistic Spatio-Temporal Logics

15 years 4 months ago

Download www.cert.fr

Austin Parker, Guillaume Infantes, V. S. Subrahman...

claim paper

Read More »