Pascal Hitzler, Matthias Wendt  Home/Search
Context Related
| wv.inf.tudresden.de/~...wv0214.ps.gz aifb.unikarlsruhe.de/...wv0214.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: wv.inf.tudresden.de/~pasca...pub (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Part of the theory of logic programming and nonymonotonic reasoning concerns the study of fixed-point semantics for these paradigms. Several different semantics have been proposed during the last two decades, and some have been more successful and acknowledged than others. The rationales behind those various semantics have been manifold, depending on one's point of view, which may be that of a programmer or inspired by commonsense reasoning, and consequently the constructions which lead to... (Update)
Cited by: More
The Well Supported Semantics for Multidimensional.. - Banti, Alferes.. (Correct)
Level Mapping Characterizations of Selector Generated Models .. - Hitzler, Schwarz (2005) (Correct)
Logic Programs, Iterated Function Systems, and Recurrent.. - Bader, Hitzler (Correct)
Similar documents (at the sentence level):
39.3%: The Well-Founded Semantics is a Stratified Fitting Semantics - Hitzler, Wendt (2002) (Correct)
13.3%: Circular Belief in Logic Programming Semantics - Hitzler (2002) (Correct)
9.4%: Towards a Systematic Account of Different Logic Programming.. - Hitzler (2003) (Correct)
Active bibliography (related documents): More All
1.2: Characterizing Logic Programming Semantics With Level Mappings - Hitzler, Wendt (2002) (Correct)
0.9: Corollaries on the fixpoint completion: studying the stable.. - Hitzler (2004) (Correct)
0.5: Classical Gentzen-type Methods in Propositional Many-Valued Logics - Avron (Correct)
Similar documents based on text: More All
0.6: Towards a Unified View of the Hierarchy of Logic Program Classes - Wendt (2002) (Correct)
0.6: Unfolding the Well-founded Semantics - Wendt (2002) (Correct)
0.4: Contexts, Concepts, and Logic of Domains - Hitzler (Correct)
Related documents from co-citation: More All
4: The Stable Model Semantics for Logic Programming - Gelfond - 1988
3: Consistency of clark's completion and existence of stable models - Fages - 1992
3: Stable semantics for disjunctive programs - Przymusinski - 1991
BibTeX entry: (Update)
Hitzler, P., Wendt, M.: A uniform approach to logic programming semantics. Technical Report WV--02-14, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology (2002) http://citeseer.ist.psu.edu/hitzler02uniform.html More
@misc{ hitzler02uniform,
author = "P. Hitzler and M. Wendt",
title = "A uniform approach to logic programming semantics",
text = "Hitzler, P., Wendt, M.: A uniform approach to logic programming semantics.
Technical Report WV--02-14, Knowledge Representation and Reasoning Group,
Department of Computer Science, Dresden University of Technology (2002)",
year = "2002",
url = "citeseer.ist.psu.edu/hitzler02uniform.html" }
Citations (may not include all citations):858 The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
435 Towards a theory of declarative knowledge (context) - Apt, Blair et al. - 1988
234 The well-founded semantics for general logic programs - van Gelder, Ross et al. - 1991
204 the declarative semantics of deductive databases and logic p.. (context) - Przymusinski - 1988
186 Negation in logic programming (context) - Kunen - 1987
183 A useful four-valued logic (context) - Belnap - 1977
133 Foundations of Logic Programming (context) - Lloyd - 1988
125 Well-founded semantics coincides with three-valued stable se.. - Przymusinski - 1989
120 Bilattices and the semantics of logic programming - Fitting - 1991
116 Reasoning about termination of pure prolog programs - Apt, Pedreschi - 1993
94 General patterns of nonmonotonic reasoning (context) - Makinson - 1994
90 Stable models and an alternative logic programming paradigm - Marek, Truszczy - 1999
68 Extending and implementing the stable model semantics - Simons, Niemel et al.
50 Metric methods: Three examples and a theorem - Fitting - 1994
46 Fixpoint semantics for logic programming | A survey - Fitting - 2002
42 A Kripke-Kleene-semantics for general logic programs (context) - Fitting - 1985
41 Characterizing termination of logic programs with level mapp.. (context) - Bezem - 1989
38 The family of stable models - Fitting - 1993
32 Multivalued logics: A uniform approach to inference in arti .. - Ginsberg - 1992
31 Answer set programming and plan generation - Lifschitz - 2002
29 Topology and the semantics of logic programs - Seda - 1995
28 Negation as failure using tight derivations for general logi.. (context) - van Gelder - 1988
21 Generalized Metrics and Topology in Logic Programming Semant.. (context) - Hitzler - 2001
20 Quasi-metrics and the semantics of logic programs - Seda - 1997
19 Generalized metrics and uniquely determined logic programs - Hitzler, Seda
19 well-founded xpoints and applications in non-monotonic reaso.. (context) - Denecker, Marek et al. - 2000
19 Consistency of Clark's completion and existence of stable mo.. - cois - 1994
18 Arti cial Intelligence (context) - Kraus, Lehmann et al. - 1990
14 Well-founded semantics (context) - Fitting - 1991
14 A new logical characterisation of stable models and answer s.. - Pearce - 1997
14 Approximating the semantics of logic programs by recurrent n.. (context) - en, olldobler et al. - 1999
13 Acyclic programs and the completeness of SLDNF-resolution (context) - Cavedon - 1991
11 A classi cation theory of semantics of normal logic programs.. (context) - urgen - 1995
11 A classi cation theory of semantics of normal logic programs (context) - urgen - 1995
10 A note on relationships between logic programs and neural ne.. - Hitzler, Seda - 2000
8 Weakly strati ed logic programs (context) - Przymusinska, Przymusinski - 1990
8 The alternating xpoint of logic programs with negation (context) - van Gelder - 1989
6 Loop checking and the well-founded semantics - Lifschitz, McCain et al. - 1995
6 The well-founded semantics is a strati ed Fitting semantics (context) - Hitzler, Wendt - 2002
6 Mathematical Theory of Domains (context) - Stoltenberg-Hansen, Lindstr et al. - 1994
6 On termination of general logic programs with respect to con.. (context) - Marchiori - 1996
5 Paraconsistent declarative semantics for extended logic prog.. - Arieli - 2002
5 Arti cial Intelligence (context) - Arieli, Avron et al. - 1998
3 Stanford University (context) - Ginsberg, Report - 1986
2 Logical bilattices and inconsistent data - Arieli, Avron - 1994
2 A simple xed point characterization of three-valued stable m.. (context) - Bonnier, Nilsson et al. - 1991
1 Theory and Practice of Logic Programs (context) - Pedreschi, Ruggieri et al. - 2002
1 Unique supported-model classes of logic programs - Hitzler, Seda - 2001
1 Order-consistent programs are cautiously monotonic - Turner - 2001
Documents on the same site (http://www.wv.inf.tu-dresden.de/~pascal/pub.html): More
A "Converse" of the Banach Contraction Mapping Theorem - Hitzler, Seda (Correct)
Semantic Operators and Fixed-Point Theory in Logic Programming - Hitzler, Seda (2001) (Correct)
Dislocated Topologies - Hitzler, Seda (2000) (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