François Fages  Home/Search
Context Related
| ens.fr/pub/dmi/use...iens9419.A4.ps.Z dmi.ens.fr/ftp/pub...iens9419.A4.ps.Z 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: fermivista.math.juss...ftp.ens.fr (more) From: dmi.ens.fr/EDITI...Index.liens.94 (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . We survey several forms of negation in constraint logic programming following the program's completion approach. We show that a new scheme called constructive negation by pruning provides a generic operational semantics which is correct and complete w.r.t. Kunen's threevalued logic semantics. We emphasis a full abstraction result which permits to go beyond the theorem proving point of view and to completely characterize the operational behavior of CLP programs with negation. We derive from... (Update)
Context of citations to this paper: More
.... the class cc of concurrent constraint programming languages [25] with constructive negation by pruning and optimization higher order agents [10], and on the other hand the bottom up abstract interpretation of normal CLP programs based on operator TP . Constructive negation by...
.... class cc of concurrent constraint programming languages [22] with constructive negation by pruning and optimization higher order agents [9], and on the other hand the bottom up abstract interpretation of normal CLP programs based on operator TP . Acknowledgements The author is...
Cited by: More
J. Logic Programming 1994:19, 20:1--679 1 Constructive.. - Fran Cois Fages (Correct)
Constructive Negation and Constraint Logic Programming with.. - Dovier, Pontelli, al. (Correct)
From Constraint Minimization to Goal Optimization in CLP languages - Fages (1995) (Correct)
Similar documents (at the sentence level):
6.0%: Constructive Negation by Pruning - Fages (1995) (Correct)
Active bibliography (related documents): More All
0.7: A Hierarchy of Semantics for Normal Constraint Logic Programs - Fages, GORI (1996) (Correct)
0.6: Constraint Logic Programming: A Survey - Jaffar, Maher (1994) (Correct)
0.3: Analysis of normal CLP programs - Fages, Gori (1997) (Correct)
Similar documents based on text: More All
0.4: Combining Explicit Negation and Negation by Failure via.. - Fages, Ruet (1994) (Correct)
0.3: Fages' Theorem for Programs with Nested Expressions - Erdem, Lifschitz (2001) (Correct)
0.3: Concurrent Constraint Programming and Non-Commutative Linear.. - Ruet, Fages (1996) (Correct)
Related documents from co-citation: More All
5: Negation in logic programming (context) - Kunen - 1987
5: Constraint logic programming: A survey - Jaffar, Maher - 1994
5: Constructive Negation Based on the Completed Database (context) - Chan - 1988
BibTeX entry: (Update)
Fages, F., Constructive Negation by Pruning and Optimization Higher-order Predicates for CLP and CC languages, in: Constraint Programming: Basics and Trends, Ed. A. Podelski, Springer-Verlag LNCS 910, pp.68-89. 1995. http://citeseer.ist.psu.edu/article/fages94constructive.html More
@incollection{ fages95constructive,
author = "Francois Fages",
title = "Constructive Negation by Pruning and Optimization Higher-Order Predicates for {CLP} and {CC} languages",
booktitle = "Constraint Programming: Basics and Trends",
publisher = "Springer",
editor = "Andreas Podelski",
year = "1995",
url = "citeseer.ist.psu.edu/article/fages94constructive.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
561 Constraint Logic Programming (context) - Jaffar, Lassez - 1987
380 Constraint Satisfaction in Logic Programming (context) - Van Hentenryck - 1989
373 Constraint logic programming: a survey - Jaffar, Maher - 1994
344 Concurrent constraint programming (context) - Saraswat - 1990
344 Concurrent constraint programming (context) - Saraswat - 1993
186 Negation in logic programming (context) - Kunen - 1987
180 Logic programming and negation: a survey - Apt, Bol - 1994
109 Constructive negation based on the completed database (context) - Chan - 1988
77 Constructive negation for constraint logic programming (context) - Stuckey - 1991
57 A logic programming view of CLP - Maher - 1993
49 Constraint satisfaction using constraint logic programming (context) - Van Hentenryck, Simonis et al. - 1992
40 Modeling answer constraint in constraint logic programs - Gabbrielli, Levi - 1991
28 Constructive negation by pruning - Fages - 1994
28 Expanding query power in constraint logic programming langua.. (context) - Maher, Stuckey - 1989
15 the semantics of optimization predicates in CLP languages - Fages - 1993
12 Handling preferences in constraint logic programming with re.. - Fages, Fowler et al. - 1994
12 Signed data dependencies in logic programming (context) - Kunen - 1989
10 Declarative interpretations reconsidered - Apt, Gabrielli - 1994
8 The s-semantics approach: theory and applications - Bossi, Gabbrielli et al. - 1994
6 Logic semantics for a class of committed-choice languages (context) - Maher - 1987
5 A Kripke/Kleene semantics for logic programs (context) - Fitting - 1985
5 A bottom-up semantics for constructive negation - Bossi, Fabris et al. - 1994
4 What is failure? An approach to constructive negation - Drabent - 1994
2 Semantics of CLP programs with optimization (context) - Marriott, Stuckey - 1993
2 Intensional negation (context) - Bruscoli, Levi et al. - 1993
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.ens.fr.html): More
A Decompositional Approach for Computing Least Fixed-Points.. - Fribourg, Olsen (1996) (Correct)
The MLgraph Primer - Chailloux, Cousineau (1992) (Correct)
Counter-examples to Ragsdale Conjecture - Itenberg (1993) (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