Marc Denecker  Home/Search
Context
Related
| cs.kuleuven.ac.be/~dtai/p...35907.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: cs.kuleuven.ac.be/...2001E.shtml (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In his 1975 paper "What is in a link?", Woods pointed out that early approaches in semantic nets were epistemologically ambiguous. Different meanings could and had been attributed to the same network. The current paper is a similar enterprise and shows an epistemological ambiguity arising in the context of logic programming. Many different logic programming formalisms and semantics have been proposed. Hence, logic programming can be seen as a family of formal logics, each induced by a... (Update)
Similar documents (at the sentence level):
10.8%: What's in a Model? Epistemological analysis of Logic Programming - Denecker (Correct)
10.0%: On the Epistemological foundations of Logic Programming and its.. - Denecker (2001) (Correct)
6.2%: What is in a model? Epistemological ambiguity of Logic Programming - Denecker (Correct)
Active bibliography (related documents): More All
0.3: A note on the Declarative reading(s) of Logic Programming - Denecker (2000) (Correct)
0.2: Abduction in Logic Programming - Denecker, Kakas (Correct)
0.1: Set Based Logic Programming - Blair Marek Remmel (Correct)
Similar documents based on text: More All
0.4: An epistemological theory of consciousness? - Mandik (Correct)
0.3: What's in a Model? - Epistemological Analysis Of (Correct)
0.1: Krylov Convergence Acceleration And Domain Decomposition Methods .. - Goossens (2000) (Correct)
BibTeX entry: (Update)
@article{ denecker01logic,
author = "Marc Denecker and Maurice Bruynooghe and V. Wiktor Marek",
title = "Logic programming revisited: Logic programs as inductive definitions",
journal = "Computational Logic",
volume = "2",
number = "4",
pages = "623-654",
year = "2001",
url = "citeseer.ist.psu.edu/article/denecker01logic.html" }
Citations (may not include all citations):858 The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
850 A logic for default reasoning (context) - Reiter - 1980
759 Negation as failure (context) - Clark - 1978
311 Semantical Considerations on non-monotonic logic (context) - Moore - 1983
234 The Well-Founded Semantics for General Logic Programs - Van Gelder, Ross et al. - 1991
212 Abductive Logic Programming - Kakas, Kowalski et al. - 1992
162 The semantics of Predicate Logic as a Programming Language (context) - van Emden, Kowalski - 1976
159 Predicate logic as a programming language (context) - Kowalski - 1974
90 Stable models and an alternative logic programming paradigm - Marek, Truszczy'nski - 1999
79 On Stratified Autoepistemic Theories (context) - Gelfond - 1987
78 Acyclic programs (context) - Apt, Bezem - 1990
65 Answer set planning - Lifschitz - 1999
38 Logic programs with stable model semantics as a constraint p.. - Niemela - 1999
8 Stable semantics for logic programs and default reasoning (context) - Marek, Truszczy'nski - 1989
6 Extending classical logic with inductive definitions - Denecker - 2000
2 volume CSLI Lecture Notes No (context) - Moore, Representation - 1995
Documents on the same site (http://www.cs.kuleuven.ac.be/~dtai/publications/2001-E.shtml): More
On Termination of Meta-Programs - Serebrenik (2001) (Correct)
Techniques for on- and Off-Line Specialisation of Logic Programs - Vanhoof (Correct)
On Termination of Meta-Programs - Serebrenik, De Schreye (2001) (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