Roman Bartak  Home/Search
Context
Related
| kti.ms.mff.cuni.cz/~bartak/ht...CP98.ps kti.ms.mff.cuni.cz/~...ConstrNeg_TR.pdf 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: kti.ms.mff.cuni.cz...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: : Inclusion of negation into logic programs is considered traditionally to be painful as the incorporation of full logic negation tends to super-exponential time complexity of the prover. Therefore the alternative approaches to negation in logic programs are studied and among them, the procedural negation as failure sounds to be the most successful and the most widely used. However, with the spread of Constraint Logic Programming (CLP), a different approach called constructive negation becomes... (Update)
Similar documents (at the sentence level):
36.6%: Constructive Negation and Constraints - Bartak (1998) (Correct)
Active bibliography (related documents): More All
0.6: Extendible Meta-Interpreters - Bartak, Stepánek (Correct)
0.5: An Architecture for Prolog Extensions - Meier, Schimpf (1995) (Correct)
0.4: Mega-Interpreters and Expert Systems - Bartak, Stepánek (1996) (Correct)
Similar documents based on text: More All
0.4: A General Relation Constraint: An Implementation - Roman Bartilk Charles (2000) (Correct)
0.2: Inter-Hierarchy Comparison in HCLP - Bartak (1998) (Correct)
0.2: A Slot Representation of the Resource-Centric Models for.. - Bartak (2000) (Correct)
BibTeX entry: (Update)
@misc{ bartak-constructive,
author = "Roman Bartak",
title = "Constructive Negation in CLP(H)",
url = "citeseer.ist.psu.edu/118635.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1984
561 Constraint Logic Programming (context) - Jaffar, Lassez - 1987
380 Constraint Satisfaction in Logic Programming (context) - Van Hentenryck
373 Constraint Logic Programming: A Survey - Jaffar, Maher - 1994
363 Programming in Prolog (context) - Clocksin, Mellish - 1981
109 Constructive Negation Based on Completed Database (context) - Chan - 1988
77 Constructive Negation for Constraint Logic Programming (context) - Stuckey - 1991
47 and Shapiro (context) - Sterling - 1986
32 Constraint Logic Programming-Selected Research (context) - Benhamou, Colmerauer - 1993
28 Expanding Query Power in Constraint Logic Programming (context) - Maher, Stuckey - 1989
26 Extensible Unification by Metastructures (context) - Neumerkel - 1990
21 Meta-Programming in Logic Programming (context) - Abramson, Rogers - 1989
19 Composing Prolog Meta-Interpreters (context) - Sterling, Lakhotia - 1988
18 An Architecture for Prolog Extensions - Meier, Schimpf - 1995
18 Non-Monotonic Extensions of Logic Programming (context) - Dix, Pereira et al. - 1995
13 Logic programming: Further developments (context) - Gallaire - 1985
7 Meta-Interpreters: The Flavors of Logic Programming (context) - Sterling - 1986
6 Open Architecture for CLP - Meier, Brisset - 1995
5 Constructing Meta-Interpreters for Logic Programs (context) - Sterling - 1988
3 On Constructive Negation in Logic Programming (context) - Przymusinsky - 1991
3 Constraint Logic Programming - An Informal Introduction (context) - Fruhwirth, Herold et al. - 1993
2 Event Handling in Prolog - Meier - 1995
2 Department of Theoretical Computer Science (context) - Bartak - 1993
2 Extendible Meta-Interpreters (context) - Bartak, tupanek - 1997
2 Department of Theoretical Computer Science (context) - Bartak, tupanek - 1995
1 A Plug-In Architecture of Constraint Hierarchy Solvers (context) - Bartak - 1997
1 Efficient Prolog: A Practical Guide - Covington - 1989
Documents on the same site (http://kti.ms.mff.cuni.cz/~bartak/html/publications.html): More
Constructive Negation and Constraints - Bartak (1998) (Correct)
Extendible Meta-Interpreters - Bartak, Stepánek (Correct)
Dynamic Constraint Models for Complex Production Environments - Bartak (1999) (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