: a second generation Logic Programming language Danny De Schreye, Maurice...  @ NUS Home/Search
Context
Related
| cs.kuleuven.ac.be/~dtai/p...20187.ps.gz Cached: PS.gz PS PDF Image Update Help From: cs.kuleuven.ac.be/...2000E.shtml (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ge society. Since then, this statement has not lost a single grain of relevance. Any major software package still comes with an explicit claim that its producer and/or vendor are not to be held responsible for any problems, losses or catastrophes the customer might incur through the use of their product. Clearly, such a situation would be completely unimaginable in any other branch of engineering. The basic cause for this deplorable state of affairs is not dicult to pinpoint. It boils down to... (Update)
Active bibliography (related documents): More All
0.5: Paving the Roadmaps: Enabling and Integration Technologies - De Schreye, Hermenegildo, .. (Correct)
0.3: Composing Complete and Partial Knowledge - Verbaeten, Bossi (1998) (Correct)
0.3: What is in a model? Epistemological ambiguity of Logic Programming - Denecker (Correct)
Similar documents based on text: More All
0.9: Constraint Logic Programming: Applications and Implementation - Vandecasteele (1999) (Correct)
0.6: A Brief Overview of Logic Programming Research at.. - Martens.. (Correct)
0.4: Prescriptive Type Inference as an Application of.. - De Mot, Denecker, .. (1999) (Correct)
BibTeX entry: (Update)
@misc{ generation-project,
author = "Lp Second Generation",
title = "Project Report on:",
url = "citeseer.comp.nus.edu.sg/667591.html" }
Citations (may not include all citations):221 Constraint logic programming (context) - Ja, Lassez - 1987
193 Abstract interpretation: A uni ed lattice model for static a.. (context) - Cousot, Cousot - 1977
149 Logic programming and knowledge representation - Baral, Gelfond - 1994
129 Transformation of logic programs: foundations and techniques (context) - Pettorossi, Proietti - 1994
108 A practical framework for the abstract interpretation of log.. (context) - Bruynooghe - 1991
99 Logic and databases: a deductive approach (context) - Gallaire, Minker et al. - 1984
82 Tutorial on specialisation of logic programs (context) - Gallagher - 1993
77 Representing Incomplete Knowledge in Abductive Logic Program.. - Denecker, De Schreye - 1995
56 Modularity in logic programming - Bugliesi, Lamma et al. - 1994
49 Declarative error diagnosis (context) - Lloyd - 1987
40 SLDNFA: an abductive procedure for normal abductive programs - Denecker, De Schreye - 1998
38 odel Programming Language (context) - Hill, Lloyd - 1994
4 The well-founded semantics is the principle of inductive de .. (context) - Denecker - 1998
4 Bottom-up data ow analysis of normal logic programs (context) - Marriott, ndergaard - 1992
3 Constraints in object-oriented analysis and design (context) - Baelen, Lewi et al. - 1994
3 Justi cation semantics: a unifying framework for the semanti.. (context) - Denecker, De Schreye - 1993
2 Assessment of some issues in cl-theory and program developme.. (context) - De Schreye, Denecker - 1999
Documents on the same site (http://www.cs.kuleuven.ac.be/~dtai/publications/2000-E.shtml): More
An Algorithmic Approach to Recover Inconsistent Knowledge-bases - Arieli (1919) (Correct)
Reasoning with Modularly Pointwise Preferential Relations - Arieli (Correct)
Algorithms for Rewriting Aggregate Queries Using Views - Cohen, Nutt, Serebrenik (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.