Browsing by Subject "Logic programming"
Now showing items 120 of 50

Conference Object
Asystem: Problem solving through abduction
(2001)This paper presents a new system, called the ASystem, performing abductive reasoning within the framework of Abductive Logic Programming. It is based on a hybrid computational model that implements the abductive search ...

Article
Abduction in logic programming
(2002)Abduction in Logic Programming started in the late 80s, early 90s, in an attempt to extend logic programming into a framework suitable for a variety of problems in Artificial Intelligence and other areas of Computer Science. ...

Article
Abductive concept learning
(2000)We investigate how abduction and induction can be integrated into a common learning framework. In particular, we consider an extension of Inductive Logic Programming (ILP) for the case in which both the background and the ...

Article
An abductlvebased scheduler for aircrew assignment
(2001)This article presents the design and implementation of an aircrew assignment system, for producing and refining a solution to this problem, based on the artificial intelligence principles and techniques of abductive ...

Article
ACLP: Abductive Constraint Logic Programming
(2000)This paper presents the framework of Abductive Constraint Logic Programming (ACLP), which integrates Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP). In ACLP, the task of abduction is supported and ...

Article
ACLP: Flexible solutions to complex problems
(1997)In this paper we present a new system for nonmonotonic reasoning performed using abduction. The system, called ACLP, is a programming language based on the framework of Abductive and Constraint Logic Programming (ACLP) ...

Article
Agent planning, negotiation and control of operation
(2004)This paper presents a framework that integrates three aspects of agency: planning, for proactive behaviour, negotiation, for social behaviour and resource achievement, and control of operation, for reconciling rationality ...

Article
Aircrew scheduling through abduction
(1999)This paper presents the design and implementation of an aircrew assignment system based on the Artificial Intelligence principles and techniques of abductive reasoning as captured by the framework of Abductive Logic ...

Article
Application of abductive ILP to learning metabolic network inhibition from temporal data
(2006)In this paper we use a logicbased representation and a combination of Abduction and Induction to model inhibition in metabolic networks. In general, the integration of abduction and induction is required when the following ...

Conference Object
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 ...

Article
Argumentation and the event calculus
(2012)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 for ε Reasoning about Actions and Change into a Logic Programming ...

Conference Object
Argumentation for propositional logic and nonmonotonic reasoning
(CEURWS, 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
(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
Asynchronous timed multimedia environments based on the coordination paradigm
(2003)This paper combines work done in the areas of Artificial Intelligence, Multimedia Systems and Coordination Programming to derive a framework for Distributed Multimedia Systems based on asynchronous timed computations ...

Article
Classical methods in nonmonotonic reasoning
(1994)In this paper we present and compare some classical problem solving methods for computing the stable models of a general propositional logic program. In particular linear programming, propositional satisfiability, constraint ...

Book
Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski
(Springer, 2002)

Article
Computational logic foundations of KGP agents
(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
(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 nonmonotonic reasoning can be encompassed. Many of the existing ...

Article
Computing the acceptability semantics
(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
Concurrent objectoriented programming using term graph rewriting techniques
(1996)The generalized computational model of Term Graph Rewriting Systems is used as the basis for expressing concurrent objectoriented programming techniques exploiting the fine grain highly parallel features of TGRS in a ...