Search
Now showing items 11-20 of 23
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 ...
Modular-ε: An elaboration tolerant approach to the ramification and qualification problems - Preliminary report
(2005)
We describe Modular-ε (ME), a specialized, model-theoretic logic for narrative reasoning about actions, able to represent non-deterministic domains involving concurrency, static laws (constraints) and indirect effects ...
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 ...
Argumentation for propositional logic and nonmonotonic reasoning
(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 ...
Abduction and induction for learning models of inhibition in metabolic networks
(2005)
This paper describes the use of a mixture of abduction and induction for the temporal modelling of the effects of toxins in metabolic networks. Background knowledge is used which describes network topology and functional ...
Modelling inhibition in metabolic pathways through abduction and induction
(2004)
In this paper, we study how a logical form of scientific modelling that integrates together abduction and induction can be used to understand the functional class of unknown enzymes or inhibitors. We show how we can model, ...
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 ...
A unified argumentation-based framework for knowledge qualification
(2011)
Among the issues faced by an intelligent agent, central is that of reconciling the, often contradictory, pieces of knowledge - be those given, learned, or sensed - at its disposal. This problem, known as knowledge ...
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 ...