376 search results - page 12 / 76 » Agent Logics as Program Logics: Grounding KARO |
JAIR
2010
13 years 6 months ago
2010
We present DCL-PC: a logic for reasoning about how the abilities of agents and coalitions of agents are altered by transferring control from one agent to another. The logical foun...
ICLP
2003
Springer
14 years 21 days ago
2003
Springer
In recent research on nonmonotonic logic programming, repeatedly strong equivalence of logic programs P and Q has been considered, which holds if the programs P ∪ R and Q ∪ R h...
AMI
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We propose SAGE, an agent-based environment monitoring and control system based on computation logic. SAGE uses forward chaining deductive inference to map low level sens...
ATAL
2001
Springer
13 years 11 months ago
2001
Springer
AAAI
2007
13 years 9 months ago
2007