Sciweavers

MATES
2005
Springer
13 years 10 months ago
Programming Cognitive Agents
Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences ...
John-Jules Ch. Meyer
LPAR
2005
Springer
13 years 10 months ago
Programming Cognitive Agents in Defeasible Logic
Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences ...
Mehdi Dastani, Guido Governatori, Antonino Rotolo,...
AUSAI
2005
Springer
13 years 10 months ago
Preferences of Agents in Defeasible Logic
We are interested in programming languages for cognitive agents with preferences. We define rule-based agent theories and inference procedures in defeasible logic, and in this set...
Mehdi Dastani, Guido Governatori, Antonino Rotolo,...
ICAIL
2005
ACM
13 years 10 months ago
Temporalised Normative Positions in Defeasible Logic
We propose a computationally oriented non-monotonic multi-modal logic arising from the combination of temporalised agency and temporalised normative positions. We argue about the ...
Guido Governatori, Antonino Rotolo, Giovanni Sarto...
EEE
2005
IEEE
13 years 10 months ago
DR-NEGOTIATE - A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies
This paper reports on a system for automated agent negotiation. It uses the JADE agent framework, and its major distinctive feature is the use of declarative negotiation strategie...
Thomas Skylogiannis, Grigoris Antoniou, Nick Bassi...
PRIMA
2007
Springer
13 years 10 months ago
An Asymmetric Protocol for Argumentation Games in Defeasible Logic
Agent interactions where the agents hold conflicting goals could be modelled as adversarial argumentation games. In many real-life situations (e.g., criminal litigation, consumer ...
Jenny Eriksson Lundström, Guido Governatori, ...
AUSAI
2007
Springer
13 years 10 months ago
Temporal Extensions to Defeasible Logic
In this paper, we extend Defeasible Logic (a computationally-oriented non-monotonic logic) in order to deal with temporalised rules. In particular, we extend the logic to cope with...
Guido Governatori, Paolo Terenziani
AUSAI
2007
Springer
13 years 10 months ago
Dialogue Games in Defeasible Logic
In this paper we show how to capture dialogue games in Defeasible Logic. We argue that Defeasible Logic is a natural candidate and general representation formalism to capture dialo...
Subhasis Thakur, Guido Governatori, Vineet Padmana...
ARGMAS
2007
Springer
13 years 10 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&...
IAT
2008
IEEE
13 years 11 months ago
Extending a Defeasible Reasoner with Modal and Deontic Logic Operators
Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information. Modal logic deals with necessity and possibility, exhibiting defeasibility; t...
Efstratios Kontopoulos, Nick Bassiliades, Guido Go...