214 search results - page 19 / 43 » atal 2006 |
ATAL
2006
Springer
14 years 1 months ago
2006
Springer
There is a recent trend of extending epistemic logic (EL) with dynamic operators that allow to express the evolution of knowledge and induced by knowledge-changing actions. The mo...
ATAL
2006
Springer
14 years 1 months ago
2006
Springer
Intelligent agents are typically situated in a social environment and must reason about social cause and effect. Such reasoning is qualitatively different from physical causal rea...
ATAL
2006
Springer
14 years 1 months ago
2006
Springer
This paper examines agent-based systems designed for a variety of human learning tasks. These are typically split into two areas: "training", which generally refers to a...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
The `Cooperation Logic of Propositional Control', cl-pc, of van der Hoek and Wooldridge is a logic for reasoning about the ability of agents and groups of agents to obtain a ...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...