Search
Now showing items 1-8 of 8
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 ...
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 ...
Argumentation: Reconciling human and automated reasoning
(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 ...
Stable theories for logic programs
(Publ by MIT Press, 1991)
We define a class of theories associated to any normal logic program, called stable theories, based on a notion of stable negative hypotheses. This stability of hypotheses is motivated directly from the intuitive understanding ...
Programming cognitive
(CEUR-WS, 2015)
The widespread access to computing-enabled devices and the World Wide Web has, in a sense, liberated the ordinary user from reliance on technically-savvy experts. To complete this emancipation, a new way of interacting ...
Integrating explanatory and descriptive learning in ILP
(1997)
A learning framework that combines the two frameworks of explanatory and descriptive Inductive Logic Programming (ILP) is presented. The induced hypotheses in this framework are pairs of the form (T, IC) where T is a ...
Reasoning about actions and change in answer set programming
(Springer Verlag, 2004)
This paper studies computational issues related to the problem of reasoning about actions and change (RAC) by exploiting its link with the Answer Set Programming paradigm. It investigates how increasing the expressiveness ...
A psychology-inspired approach to automated narrative text comprehension
(AAAI press, 2014)
We report on an ongoing research program to develop a formal framework for automated narrative text comprehension, bringing together know-how from research in Artificial Intelligence and the Psychology of Reading and ...