Project Report on:  (Make Corrections)  
: a second generation Logic Programming language Danny De Schreye, Maurice...

 @ NUS   Home/Search   Context   Related

 
View or download:
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  
(Enter summary)

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.