Bert Van Nuffelen, Marc Denecker  Home/Search
Context Related
| cs.kuleuven.ac.be/~dtai/p...21394.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.kuleuven.ac.be/...2000E.shtml (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The goal of the LP+ project at the K.U.Leuven is to design an expressive logic, suitable for declarative knowledge representation, and to develop intelligent systems based on Logic Programming technology for solving computational problems using the declarative speci cations. The ID-logic is an integration of typed classical logic and a de nition logic. Di erent abductive solvers for this language are being developed. This paper is a report of the integration of high order aggregates... (Update)
Context of citations to this paper: More
.... performance and expressivity of the SLDNFA procedure, for example by 9 integrating it with CLP solvers and higher order aggregates [101]. On the logical level, a problem with OLP is that it is based on the weak completion semantics which does not correctly deal with positive...
...done to improve the computational performance and expressivity of the original implementation of the SLDNFA procedure. The SLDNFAC system [117] is developed at the K.U.Leuven and implements abduction in the context of ID Logic, supporting directly general first order...
Cited by: More
Abduction in Logic Programming - Denecker, Kakas (Correct)
Similar documents (at the sentence level):
79.1%: Problem solving in ID-logic with aggregates: some experiments - Van Nuffelen, Denecker (2000) (Correct)
7.2%: SLDNFA-system - Van Nuffelen (Correct)
Active bibliography (related documents): More All
0.0: Temporal Reasoning with iff-Abduction - Denecker, van Belleghem (Correct)
0.0: A Brief Overview of Logic Programming Research at.. - Martens.. (Correct)
0.0: A Realistic Experiment in Knowledge Representation .. - Denecker, Van.. (1996) (Correct)
Similar documents based on text: More All
1.0: Experiments for integration CLP and abduction - Denecker, Van Nuffelen (1999) (Correct)
0.5: Repairing Inconsistent Databases: A.. - Arieli, Denecker, .. (Correct)
0.4: Coherent Composition of Distributed.. - Arieli, Van.. (2001) (Correct)
Related documents from co-citation: More All
4: Theorist: A Logical Reasoning System for Defaults and Diagnosis (context) - Poole, Goebel et al. - 1987
4: A Query Evaluation Method for Abductive Logic Programming (context) - Satoh, Iwayama - 1992
4: Representing Incomplete Knowledge in Abductive Logic Programming - Denecker, de Schreye - 1993
BibTeX entry: (Update)
Bert Van Nu elen and Marc Denecker. Problem solving in ID-logic with aggregates: some experiments. In M. Denecker, A. Kakas, and F. Toni, editors, 8th Int. Workshop on Non-Monotonic Reasoning (NMR http://citeseer.ist.psu.edu/460187.html More
@misc{ nu-problem,
author = "B. Van Nu and e Marc",
title = "Problem solving in ID-logic with aggregates: some experiments",
text = "Bert Van Nu elen and Marc Denecker. Problem solving in ID-logic with aggregates:
some experiments. In M. Denecker, A. Kakas, and F. Toni, editors, 8th Int.
Workshop on Non-Monotonic Reasoning (NMR",
url = "citeseer.ist.psu.edu/460187.html" }
Citations (may not include all citations):24 an abductive procedure for normal abductive programs (context) - Denecker, De Schreye et al. - 1992
1 Constraint logic programming: A survey (context) - Puzzles, Company et al. - 1994 DBLP
Documents on the same site (http://www.cs.kuleuven.ac.be/~dtai/publications/2000-E.shtml): More
An Algorithmic Approach to Recover Inconsistent Knowledge-bases - Arieli (1919) (Correct)
Reasoning with Modularly Pointwise Preferential Relations - Arieli (Correct)
Algorithms for Rewriting Aggregate Queries Using Views - Cohen, Nutt, Serebrenik (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC