Marc Denecker, Victor Marek, Miroslaw Truszczynski  Home/Search
Context Related
| cs.kuleuven.ac.be/~dtai/p...38635.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/...2002E.shtml (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We study xpoints of operators on lattices. (Update)
Cited by: More
Epistemic Foundation of Stable Model Semantics - Loyer, Straccia (2006) (Correct)
Any-World Assumptions in Logic Programming - Loyer, Straccia (2005) (Correct)
Logic Programs With Monotone Cardinality Atoms - Marek, Niemelä, Truszczynski (Correct)
Similar documents (at the sentence level):
53.8%: Ultimate Approximations in Nonmonotonic Knowledge.. - Denecker, Marek.. (2002) (Correct)
7.4%: Ultimate Approximation and Its Application in Nonmonotonic.. - Denecker, al. (2004) (Correct)
Active bibliography (related documents): More All
0.0: Explanation-Based Generalization for Negation as Failure and.. - Schrödl (1996) (Correct)
0.0: Lazy List Comprehension in Logic Programming - Elbl (Correct)
0.0: Disjunctive Deductive Databases - Fernández, Minker (1994) (Correct)
Similar documents based on text: More All
1.2: Approximations, Stable Operators, Well-Founded.. - Denecker, Marek.. (2000) (Correct)
1.0: Uniform Semantic Treatment of Default and Autoepistemic Logics - Denecker (2000) (Correct)
0.4: Ultimate Well-founded and Stable Semantics for Logic.. - Denecker, Pelov.. (2001) (Correct)
Related documents from co-citation: More All
6: Fixpoint semantics for logic programming -- a survey - Fitting - 1999
6: well-founded fixpoints and applications in nonmonotonic reasoning (context) - Denecker, Marek et al. - 2000
5: The Stable Model Semantics for Logic Programming - Gelfond - 1988
BibTeX entry: (Update)
M. Denecker, V. Marek, and M. Truszczynsky. Ultimate approximations in nonmonotonic knowledge representation systems. In, KR'02, pages 177--188. Morgan Kaufmann, 2002. http://citeseer.ist.psu.edu/denecker02ultimate.html More
@misc{ denecker02ultimate,
author = "M. Denecker and V. Marek and M. Truszczynsky",
title = "Ultimate approximations in nonmonotonic knowledge representation systems",
text = "M. Denecker, V. Marek, and M. Truszczynsky. Ultimate approximations in
nonmonotonic knowledge representation systems. In, KR'02, pages 177--188.
Morgan Kaufmann, 2002.",
year = "2002",
url = "citeseer.ist.psu.edu/denecker02ultimate.html" }
Citations (may not include all citations):759 Negation as failure (context) - Clark - 1978
144 Contributions to the theory of logic programming (context) - Apt, van Emden - 1982
1 The well-founded semantics (context) - Denecker
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.kuleuven.ac.be/~dtai/publications/2002-E.shtml): More
Web Mining - Kosala, al. (Correct)
Trailing Analysis for HAL - Schrijvers, Banda, Demoen (2002) (Correct)
Reuse of Results in Termination Analysis of Typed.. - Bruynooghe, Codish.. (2002) (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