Sciweavers

1316 search results - page 11 / 264
» Intelligent Agents: Issues and Logics
Sort
View
ARGMAS
2008
Springer
14 years 11 months ago
Command Dialogues
Verification that agent communication protocols have desirable properties or do not have undesirable properties is an important issue in agent systems where agents intend to commu...
Katie Atkinson, Roderic A. Girle, Peter McBurney, ...
52
Voted
PRIMA
2004
Springer
15 years 3 months ago
A Combined System for Update Logic and Belief Revision
Guillaume Aucher
ATAL
2001
Springer
15 years 1 months ago
MINERVA - A Dynamic Logic Programming Agent Architecture
João Alexandre Leite, José Jú...
AAAI
2008
15 years 21 hour ago
An AGM-Based Belief Revision Mechanism for Probabilistic Spatio-Temporal Logics
Austin Parker, Guillaume Infantes, V. S. Subrahman...