Logic programming and negation: A survey
KR Apt, RN Bol - The Journal of Logic Programming, 1994 - Elsevier
Logic programming and negation: A survey - ScienceDirect Skip to main contentSkip to
article Elsevier logo Journals & Books Search RegisterSign in View PDF Download full …
article Elsevier logo Journals & Books Search RegisterSign in View PDF Download full …
The role of abduction in logic programming
The role of abduction in logic programming Page 252 The Role of Abduction in Logic
Programming AC Kakas, RA Kowalski and F. Toni Contents 1 234 Introduction 1.1 …
Programming AC Kakas, RA Kowalski and F. Toni Contents 1 234 Introduction 1.1 …
Bridging the gap between OWL and relational databases
Schema statements in OWL are interpreted quite differently from analogous statements in
relational databases. If these statements are meant to be interpreted as integrity constraints …
relational databases. If these statements are meant to be interpreted as integrity constraints …
[PDF][PDF] Prediction is Deduction but Explanation is Abduction.
M Shanahan - IJCAI, 1989 - doc.ic.ac.uk
This paper presents an approach to temporal reasoning in which prediction is deduction but
explanation is abduction. It is argued that all causal laws should be expressed in the natural …
explanation is abduction. It is argued that all causal laws should be expressed in the natural …
Enhancing disjunctive datalog by constraints
This paper presents an extension of Disjunctive Datalog (DATALOG/sup V,/spl sim//) by
integrity constraints. These are of two types: strong, that is, classical integrity constraints and …
integrity constraints. These are of two types: strong, that is, classical integrity constraints and …
[PDF][PDF] Abductive Planning with Event Calculus.
K Eshghi - ICLP/SLP, 1988 - researchgate.net
An approach to the plan formation problem is developed which uses the event calculus as
the paradigm for the representation of time and change and abduction as the problem …
the paradigm for the representation of time and change and abduction as the problem …
[PDF][PDF] Computational Logic and Human Thinking: How to be Artificially Intelligent
R Kowalski - 2011 - webdelprofesor.ula.ve
The practical benefits of computational logic need not be limited to mathematics and
computing. As this book shows, ordinary people in their everyday lives can profit from the …
computing. As this book shows, ordinary people in their everyday lives can profit from the …
[PDF][PDF] Database Updates through Abduction.
AC Kakas, P Mancarella - VLDB, 1990 - vldb.org
The problem of view updates in deductive databases is studied by casting this in a naturally
associated abductive framework. It is shown that this abductive approach deals successfully …
associated abductive framework. It is shown that this abductive approach deals successfully …
From logic programming towards multi‐agent systems
In this paper we present an extension of logic programming (LP) that is suitable not only for
the “rational” component of a single agent but also for the “reactive” component and that can …
the “rational” component of a single agent but also for the “reactive” component and that can …
[BUCH][B] Interactive theory revision: an inductive logic programming approach
L De Raedt - 1992 - dl.acm.org
Interactive theory revision | Guide books skip to main content ACM Digital Library home ACM
home Google, Inc. (search) Advanced Search Browse About Sign in Register Advanced …
home Google, Inc. (search) Advanced Search Browse About Sign in Register Advanced …