Search
Now showing items 1-10 of 23
Using argumentation logic for firewall configuration management
(2009)
Firewalls remain the main perimeter security protection for corporate networks. However, network size and complexity make firewall configuration and maintenance notoriously difficult. Tools are needed to analyse firewall ...
The KGP model of agency for Global Computing: Computational model and prototype implementation
(2005)
We present the computational counterpart of the KGP (Knowledge, Goals, Plan) declarative model of agency for Global Computing. In this context, a computational entity is seen as an agent developed using Computational Logic ...
Argumentation and temporal persistence
(2011)
We study how the problem of temporal projection can be formalized in terms of argumentation. In particular, we extend earlier work of translating the language E for Reasoning about Actions and Change into a Logic Programming ...
From Natural Language to Argumentation and Cognitive Systems
(2018)
This paper reports on a program for the development of cognitive systems based on user specifications expressed in Natural Language in the form of high-level guidelines for the desired behaviour of those systems. Language ...
Towards Multipolicy Argumentation
(Association for Computing Machinery, 2018)
In this paper, we develop a novel computational argumentation framework for resolving conflicts that arise in a community of multiple stakeholders where each one of them bears a private policy/strategy for shared and ...
Flexible agent dialogue strategies and societal communication protocols
(2004)
We propose an argumentation-based framework for representing communication theories of agents that can take into account dialogue strategies and society protocols in a way that facilitates their modular development and ...
Adaptive agent negotiation via argumentation
(2006)
In this paper, we study how argumentation can be used as a basis for negotiation between autonomous agents, where negotiation strategies of the different parties are represented as argumentation theories within their ...
Argumentation Based Decision Making for Autonomous Agents
(2003)
This paper presents an argumentation based framework to support the decision making of an agent within a modular architecture for agents. The proposed argumentation framework is dynamic, with arguments and their strength ...
Layered strategies and protocols for argumentation-based agent interaction
(2005)
Communication between agents needs to be flexible enough to encompass together a variety of different aspects such as, conformance to society protocols, private tactics of the individual agents, strategies that reflect ...
A-system: Problem solving through abduction
(2001)
This paper presents a new system, called the A-System, performing abductive reasoning within the framework of Abductive Logic Programming. It is based on a hybrid computational model that implements the abductive search ...