Sciweavers

Share
7 search results - page 1 / 2
» Vivid Agents Arguing about Distributed Extended Logic Progra...
Sort
View
EPIA
1997
Springer
9 years 6 months ago
Vivid Agents Arguing about Distributed Extended Logic Programs
Argumentation semantics in extended logic programming has been deļ¬ned in [5,12] for a single agent which determines its believes by an internal argumentation process. In this pap...
Michael Schroeder, Iara de Almeida Móra, Jo...
JAIR
2010
160views more  JAIR 2010»
9 years 23 days ago
Reasoning About the Transfer of Control
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...
Wiebe van der Hoek, Dirk Walther, Michael Wooldrid...
ATAL
2009
Springer
9 years 9 months ago
Agent programming with temporally extended goals
In planning as well as in other areas, temporal logic has been used to specify so-called temporally extended goals. Temporally extended goals refer to desirable sequences of state...
Koen V. Hindriks, Wiebe van der Hoek, M. Birna van...
ARGMAS
2007
Springer
9 years 8 months ago
Defeasible Argumentation Support for an Extended BDI Architecture
Abstract. In this work, an agent architecture that combines defeasible argumentation and the BDI model is described. Argumentation will be used as a mechanism for reasoning about b...
Nicolás D. Rotstein, Alejandro Javier Garc&...
ATAL
2010
Springer
9 years 3 months ago
CTL.STIT: enhancing ATL to express important multi-agent system verification properties
We present the logic CTL.STIT, which is the join of the logic CTL with a multi-agent strategic stit-logic variant. CTL.STIT subsumes ATL, and adds expressivity to it that we claim...
Jan Broersen
books