Roman Bartak  Home/Search
Context
Related
| kti.ms.mff.cuni.cz/~barta...sofsem98.ps kti.ms.mff.cuni.cz/~...ConstrNeg_EA.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, Constraint Logic Programming (CLP) is offering a different approach called constructive negation, that is... (Update)
Similar documents (at the sentence level):
75.1%: Constructive Negation in CLP(H) - Bartak (Correct)
Active bibliography (related documents): More All
0.3: A Bottom-up Semantics for Constructive Negation - Bossi, Fabris, Meo (1994) (Correct)
0.2: CHIC - Final Technical Report - (Ed.) (1995) (Correct)
0.1: Control in ECLiPSe - Meier, Schimpf (1995) (Correct)
Similar documents based on text: More All
0.5: Filtering Algorithm Sequence Composition for Batch Processing.. - Vilim, Bartak (2002) (Correct)
0.4: A General Relation Constraint: An Implementation - Roman Bartilk Charles (2000) (Correct)
0.3: Constructive Negation Without Subsidiary Trees - Pasarella, Pino, Orejas (Correct)
BibTeX entry: (Update)
@misc{ bartak-constructive,
author = "Roman Bartak",
title = "Constructive Negation and Constraints",
url = "citeseer.ist.psu.edu/bartak98constructive.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
109 Constructive Negation Based on Completed Database (context) - Chan - 1988
77 Constructive Negation for Constraint Logic Programming (context) - Stuckey - 1991
32 Constraint Logic ProgrammingSelected Research (context) - Benhamou, Colmerauer - 1993
26 Extensible Unification by Metastructures (context) - Neumerkel - 1990
18 An Architecture for Prolog Extensions - Meier, Schimpf - 1995
13 Logic programming: Further developments (context) - Gallaire - 1985
3 On Constructive Negation in Logic Programming (context) - Przymusinsky - 1991
2 Extendible Meta-Interpreters (context) - Bartak, tupanek - 1997
1 Constructive Negation in CLP (context) - Bartak
Documents on the same site (http://kti.ms.mff.cuni.cz/~bartak/html/publications.html): More
Constructive Negation in CLP(H) - Bartak (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