Search
Now showing items 1-6 of 6
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 ...
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 ...
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 ...
Cultural journeys in the information society
(IEEE, 2000)
This paper describes the Cultural Journeys in the Information Society (CJIS) project. CJIS project is an INCO project (973324) funded by the ECC and its aims to address the problem of electronic information roads at various ...