Disjunctive Logic Programming Emilia Oikarinen and Tomi Janhunen Helsinki...  Home/Search
Context
Related
| tcs.hut.fi/~eoikarin...lpnmr05system.ps 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: tcs.hut.fi/~eoi...lications.shtml (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this article is based on a new linear but non-modular transformation [8] which enables the use of existing implementations of disjunctive logic programming such as dlv [10] and GnT [7] for the actual search of minimal models (Update)
Active bibliography (related documents): More All
1.6: Translating Parallel Circumscription into - Disjunctive Logic Programming (Correct)
0.7: Capturing Parallel Circumscription with Disjunctive Logic.. - Janhunen, Oikarinen (2004) (Correct)
0.2: Prioritized Logic Programming and Its Application to.. - Sakama, Inoue (2000) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ programming-circdlp,
author = "Disjunctive Logic Programming",
title = "circ2dlp --- Translating Circumscription into",
url = "citeseer.ist.psu.edu/746234.html" }
Citations (may not include all citations):458 A theory of diagnosis from first principles (context) - Reiter - 1987
374 Classical negation in logic programs and disjunctive databas.. - Gelfond, Lifschitz - 1991
166 Computing circumscription (context) - Lifschitz - 1985
120 Stable semantics for disjunctive programs - Przymusinski - 1991
69 the computational cost of disjunctive logic programming: Pro.. - Eiter, Gottlob - 1995
33 Compiling circumscriptive theories into logic programs (context) - Gelfond, Lifschitz - 1988
29 The DLV system for knowledge representation and reasoning (context) - Leone, Pfeifer et al. - 2005
27 Negation as failure in the head - Inoue, Sakama - 1998
26 Unfolding partiality and disjunctions in stable model semant.. - Janhunen, Niemela et al. - 2005
14 The diagnosis frontend of the DLV system - Eiter, Faber et al. - 1999
11 Eliminating the fixed predicates from a circumscription (context) - de Kleer, Konolige - 1989
11 Embedding circumscriptive theories in general disjunctive pr.. - Sakama, Inoue - 1995
3 Loop formulas for circumscription (context) - Lee, Lin - 2004
2 Capturing parallel circumscription with disjunctive logic pr.. - Janhunen, Oikarinen - 2004
2 Compiling prioritized circumscription into answer set progra.. (context) - Wakaki, Inoue - 2004
Documents on the same site (http://www.tcs.hut.fi/~eoikarin/publications.shtml): More
Testing the Equivalence of Logic Programs under Stable.. - Janhunen, Oikarinen (2002) (Correct)
Verifying the Equivalence of Logic Programs in the.. - Oikarinen, Janhunen (2004) (Correct)
LPEQ and DLPEQ - Translators for Automated Equivalence.. - Janhunen, Oikarinen (2004) (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