Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo  Home/Search
Context Related
| strudel.di.unipi.it...ConstrNeg94.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: strudel.di.unipi.it/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . In this paper we define a new compilative version of constructive negation (intensional negation) in CLP and we prove its (nonground) correctness and completeness wrt the 3-valued completion. We show that intensional negation is essentially equivalent to constructive negation and that it is indeed more efficient, as one would expect from the fact that it is a compilative technique, with the transformation and the associated normalization process being performed once and for all on the source... (Update)
Context of citations to this paper: More
...we have provided algorithms to compute both. While this approach has been investigated for first order Horn clauses [1] and CLP programs [2], the field has been little explored with respect to higher order logics and logical frameworks. This is the most important future work we...
...respecting operational semantics. While this approach has been investigated for first order Horn clauses [ST84,BMPT90] and CLP programs [BLLM94], the field has not been explored, at the best of our knowledge, w.r.t. higher order logics and logical frameworks. For the latter...
Cited by: More
J. Logic Programming 1994:19, 20:1--679 1 Constructive.. - Fran Cois Fages (Correct)
Elimination of Negation in a Logical Framework - Momigliano (Correct)
How to Incorporate Negation in a Prolog Compiler - Moreno-Navarro.. (Correct)
Similar documents (at the sentence level):
52.3%: Intensional Negation in Constraint Logic Programs - Bruscoli, Levi, Levi, Meo (1993) (Correct)
Active bibliography (related documents): More All
0.7: A Bottom-up Semantics for Constructive Negation - Bossi, Fabris, Meo (1994) (Correct)
0.6: On The Propositional Sldnf-Resolution - Plaza (Correct)
0.5: Regular Search Spaces and Constructive Negation - Momigliano, Ornaghi (1997) (Correct)
Similar documents based on text: More All
0.4: A Note on the Exhaustiveness of SLDNF-Resolution for Normal.. - De Giacomo (Correct)
0.4: On Structuring Proof Search - For First Order (Correct)
0.3: Interactive And Compilative Simulation Of PLC-Automata - Tapken (1997) (Correct)
Related documents from co-citation: More All
5: Negation in logic programming (context) - Kunen - 1987
5: Constraint Logic Programming (context) - Jaffar, Lassez - 1987
5: An Extension of Constructive Negation and its Applications in Coroutining (context) - Chan - 1989
BibTeX entry: (Update)
Bruscoli, P., Levi, F., Levi, G., Meo, M.C., Compilative Constructive Negation in Constraint Logic Programs, in: S.Tsion (ed.), Proceedings of CAAP'94, LNCS 787, pp.52-67, Springer Verlag, 1994. http://citeseer.ist.psu.edu/bruscoli94compilative.html More
@inproceedings{ bruscoli94compilative,
author = "Paola Bruscoli and Francesca Levi and Giorgio Levi and Maria Chiara Meo",
title = "Compilative Constructive Negation in Constraint Logic Programs",
booktitle = "Colloquium on Trees in Algebra and Programming",
pages = "52-67",
year = "1994",
url = "citeseer.ist.psu.edu/bruscoli94compilative.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987 ACM
759 Negation as Failure (context) - Clark - 1978 ACM DBLP
561 Constraint Logic Programming (context) - Jaffar, Lassez - 1986 ACM DBLP
561 Constraint Logic Programming (context) - Jaffar, Lassez - 1987 ACM DBLP
248 The semantics of predicate logic as a programming language (context) - van Emden, Kowalski - 1976
186 Negation in logic programming (context) - Kunen - 1987 ACM DBLP
174 A Kripke-Kleene semantics for logic programs (context) - Fitting - 1985 DBLP
146 Introduction to Logic Programming (context) - Apt - 1990 ACM DBLP
144 Contributions to the theory of logic programming (context) - Apt, van Emden - 1982 ACM DBLP
109 Constructive Negation Based on the Completed Database (context) - Chan - 1988 DBLP
77 Constructive Negation for Constraint Logic Programming (context) - Stuckey - 1991
77 Constructive Negation for Constraint Logic Programming (context) - Stuckey - 1991
40 Modeling Answer Constraints in Constraint Logic Programs - Gabbrielli, Levi - 1991 DBLP
34 An Approach to Constructive Negation (context) - Drabent, Failure - 1993
30 A transformational approach to negation in logic programming (context) - Barbuti, Mancarella et al. - 1990 ACM DBLP
30 An Extension of Constructive Negation and its Application in.. (context) - Chan - 1989 DBLP
24 Language and equality theory in logic programming (context) - Shepherdson - 1991
18 Transformational Logic Programs Synthesis (context) - Sato, Tamaki - 1984
15 Stratified and Three-valued Logic Programming Semantics - Fitting, Ben-Jacob - 1988 DBLP
9 Complete Logic Programs with Domain Closure Axiom (context) - Mancarella, Martini et al. - 1988
8 A Complete Top-down Interpreter for First Order Programs (context) - Sato, Motoyoshi - 1991 DBLP
6 SLS-resolution without floundering - Drabent - 1993 ACM DBLP
4 Intensional Negation of Logic Programs: Examples and Impleme.. (context) - Barbuti, Mancarella et al. - 1987
4 Fail Substitutions for Negation as Failure (context) - Maluszy'nski, Naslund - 1989 DBLP
4 Intensional negation in Constraint Logic Programs - Bruscoli, Levi et al. - 1993
3 Quantificazione Universale in Programmazione Logica con Vinc.. (context) - Levi, Mancarella et al. - 1992
3 Algebraic Properties of a Class of Logic Programs (context) - Mancarella, Pedreschi et al. - 1990
3 The inverse of Fitting's functional (context) - Bottoni, Levi - 1993 ACM DBLP
1 A Note on Logic Programming Fixpoint Semantics (context) - Sassone - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://strudel.di.unipi.it/papers/): More
Properties of the Lattice of Observables in Logic Programming - Amato, Levi (1997) (Correct)
A Reactive Implementation of Pos Using ROBDDs - Bagnara (1996) (Correct)
An OR-Compositional Semantics for Logic Programs - Bossi, GABBRIELLI, LEVI, MEO (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