Browsing Τμήμα Πληροφορικής / Department of Computer Science by Author "Toni, F."
Now showing items 1-15 of 15
-
Article
Abductive logic programming
Kakas, Antonis C.; Kowalski, R. A.; Toni, F. (1992)This paper is a survey and critical overview of recent work on the extension of logic programming to perform abductive reasoning (abductive logic programming). We outline the general framework of abduction and its applications ...
-
Conference Object
Argumentation for propositional logic and nonmonotonic reasoning
Kakas, Antonis C.; Toni, F.; Mancarella, P. (CEUR-WS, 2014)Argumentation has played a significant role in understanding and unifying under a common framework different forms of defeasible reasoning in AI. Argumentation is also close to the original inception of logic as a framework ...
-
Article
An argumentation framework for reasoning about actions and change
Kakas, Antonis C.; Miller, R.; Toni, F. (1999)We show how a class of domains written in the Language E, a high level language for reasoning about actions, narratives and change, can be translated into the argumentation framework of Logic Programming without Negation ...
-
Article
Argumentation Logic
Kakas, Antonis C.; Toni, F.; Mancarella, P. (2014)We propose a novel logic-based argumentation framework, called Argumentation Logic (AL), built upon a restriction of classical Propositional Logic (PL) as its underlying logic. This allows us to control the application of ...
-
Conference Object
Argumentation: Reconciling human and automated reasoning
Kakas, Antonis C.; Michael, Loizos; Toni, F. (CEUR-WS, 2016)We study how using argumentation as an alternative foundation for logic gives a framework in which we can reconcile human and automated reasoning. We analyse this reconciliation between human and automated reasoning at ...
-
Article
Computational logic foundations of KGP agents
Kakas, Antonis C.; Mancarella, P.; Sadri, F.; Stathis, Kostas; Toni, F. (2008)This paper presents the computational logic foundations of a model of agency called the KGP (Knowledge, Goals and Plan) model. This model allows the specification of heterogeneous agents that can interact with each other, ...
-
Article
Computing argumentation in logic programming
Kakas, Antonis C.; Toni, F. (1999)In recent years, argumentation has been shown to be an appropriate framework in which logic programming with negation as failure as well as other logics for non-monotonic reasoning can be encompassed. Many of the existing ...
-
Article
Computing the acceptability semantics
Toni, F.; Kakas, Antonis C. (1995)We present a proof theory and a proof procedure for nonmonotonic reasoning based on the acceptability semantics for logic programming, formulated in an argumentation framework. These proof theory and procedure are defined ...
-
Article
Declarative agent control
Kakas, Antonis C.; Mancarella, P.; Sadri, F.; Stathis, Kostas; Toni, F. (2005)In this work, we extend the architecture of agents (and robots) based upon fixed, one-size-fits-all cycles of operation, by providing a framework of declarative specification of agent control. Control is given in terms of ...
-
Article
The KGP model of agency
Kakas, Antonis C.; Mancarella, P.; Sadri, F.; Stathis, Kostas; Toni, F. (2004)This paper presents a new model of agency, called the KGP (Knowledge, Goals and Plan) model. This draws from the classic BDI model and proposes a hierarchical agent architecture with a highly modular structure that synthesises ...
-
Conference Object
The KGP model of agency for Global Computing: Computational model and prototype implementation
Bracciali, A.; Demetriou, Neophytos; Endriss, U.; Kakas, Antonis C.; Lu, W.; Mancarella, P.; Sadri, F.; Stathis, Kostas; Terreni, G.; Toni, F. (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 ...
-
Article
On Argumentation Logic and Propositional Logic
Kakas, Antonis C.; Mancarella, P.; Toni, F. (2017)This paper studies the relationship between Argumentation Logic (AL), a recently defined logic based on the study of argumentation in AI, and classical Propositional Logic (PL). In particular, it shows that AL and PL are ...
-
Article
On the computational complexity of assumption-based argumentation for default reasoning
Dimopoulos, Yannis; Nebel, B.; Toni, F. (2002)Bondarenko et al. have recently proposed an abstract framework for default reasoning. Besides capturing most existing formalisms and proving that their standard semantics all coincide, the framework extends these formalisms ...
-
Conference Object
Preferred arguments are harder to compute than stable extensions
Dimopoulos, Yannis; Nebel, B.; Toni, F. (1999)Based on an abstract framework for nonmonotonic reasoning, Bondarenko et at. have extended the logic programming semantics of admissible and preferred arguments to other nonmonotonic formalisms such as circumscription, ...
-
Article
ε-RES: Reasoning about actions, events and observations
Kakas, Antonis C.; Miller, R.; Toni, F. (2001)The language ε for reasoning about actions and change can be translated into an argumentation framework. In this paper, we extend this translation of the basic language and showhowit can, together with methods from abduction, ...