Thomas Linke, Torsten Schaub  Home/Search
Context Related
| cs.unipotsdam.de/wv/pd...linsch00a.pdf 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.unipotsdam.de/wv/publ...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We introduce an alternative conceptual basis for default reasoning in Reiter's default logic. In fact, most formal or computational treatments of default logic suffer from the necessity of exhaustive consistency checks with respect to the finally resulting set of conclusions; often this so-called extension is just about being constructed. On the theoretical side, this exhaustive approach is reflected by the usual fixed-point characterizations of extensions. Our goal is to reduce such global... (Update)
Cited by: More
A possibilistic approach to restore consistency in.. - Nicolas, Garcia, Stephan (2004) (Correct)
Graphs and Colorings for Answer Set Programming: Abridged.. - Konczak, Linke, Schaub (2003) (Correct)
Graph Theoretical Characterization and Computation of Answer Sets - Linke (2001) (Correct)
Active bibliography (related documents): More All
1.0: Query-answering in Reiter's Default Logic (Extended Abstract) - Linke, Schaub (Correct)
0.9: An approach to query-answering in Reiter's default logic and.. - Linke, Schaub (1998) (Correct)
0.6: A proof theoretical approach to default reasoning I.. - Amati, Aiello.. (1995) (Correct)
Similar documents based on text: More All
0.4: Expressing Preferences in Default Logic - Delgrande, Schaub (2000) (Correct)
0.3: Graphs and Colorings for Answer Set Programming with.. - Konczak, Schaub, Linke (2003) (Correct)
0.3: Optimality Theory as a Family of Cumulative Logics - Ph Besnard Fanselow (Correct)
Related documents from co-citation: More All
4: Characterizing and computing stable models of logic programs: the non-stratified.. - Brignoli, Costantini et al. - 1999
4: Classical negation in logic programs and deductive databases (context) - Gelfond, Lifschitz - 1991
4: Graph theoretical characterization and computation of answer sets - Linke - 2001
BibTeX entry: (Update)
T. Linke and T. Schaub. Alternative foundations for Reiter's default logic. Arti cial Intelligence, 124:3186, 2000. http://citeseer.ist.psu.edu/linke00alternative.html More
@article{ linke00alternative,
author = "Thomas Linke and Torsten Schaub",
title = "Alternative foundations for Reiter's default logic",
journal = "Artificial Intelligence",
volume = "124",
number = "1",
pages = "31-86",
year = "2000",
url = "citeseer.ist.psu.edu/linke00alternative.html" }
Citations (may not include all citations):850 A logic for default reasoning (context) - Reiter - 1980
459 A computing procedure for quantification theory (context) - Davis, Putnam - 1960
451 Circumscription --- a form of nonmonotonic reasoning (context) - McCarthy - 1980
218 Logic Programming and Databases (context) - Ceri, Gottlob et al. - 1990
161 Complexity results for nonmonotonic logics (context) - Gottlob - 1992
159 the acceptability of arguments and its fundamental role in n.. - Dung - 1995
89 Nonmonotonic logic: context-dependent reasoning (context) - Marek, Truszczynski - 1993
87 Nonmonotonic Reasoning: Logical Foundations of Commonsense (context) - Brewka - 1991
64 On interacting defaults (context) - Reiter, Criscuolo - 1981
63 An Introduction to Default Logic (context) - Besnard - 1989
45 Cumulative default logic: In defense of nonmonotonic inferen.. (context) - Brewka - 1991
43 Non-monotonic Reasoning (context) - Antoniou - 1998
41 argumentation-theoretic approach to default reasoning - Bondarenko, Dung et al. - 1997
37 The comparative linguistics of knowledge representation - Gogic, Kautz et al. - 1995
32 Computing the extensions of autoepistemic and default logic .. (context) - Junker, Konolige - 1990
25 Is intractability of nonmonotonic reasoning a real drawback - Cadoli, Donini et al. - 1994
24 Computing argumentation in logic programming - Kakas, Toni - 1999
23 Default reasoning system DeReS - Cholewinski, Marek et al. - 1996
20 Towards efficient default reasoning - Niemela - 1995
19 Alternative approaches to default logic (context) - Delgrande, Schaub et al. - 1994
17 Graph theoretical structures in logic programs and default t.. (context) - Dimopoulos, Torres - 1996
16 A new methodology for query-answering in default logics via .. (context) - Schaub - 1995
16 Tableau-based characterization and theorem proving for defau.. (context) - Schwind, Risch - 1994
12 Default theories that always have extensions (context) - Papadimitriou, Sideri - 1994
11 A tableaux-based theorem prover for a decidable subset of de.. (context) - Schwind - 1990
10 Reasoning with Incomplete Information: Investigations of Non.. (context) - Etherington - 1987
9 Reasoning with stratified default theories (context) - Cholewinski - 1995
9 Default logic: A unified view (context) - Froidevaux, Mengin - 1994
8 Experimenting with nonmonotonic reasoning - Cholewinski, Marek et al. - 1995
8 the classification and existence of structures in default lo.. (context) - Zhang, Marek - 1990
6 Formalizing nonmonotonic reasoning (context) - Etherington - 1987
5 A sequent calculus for skeptical default logic - Bonatti, Olivetti - 1997
4 An approach to query-answering in reiter's default logic and.. - Linke, Schaub - 1998
4 A graph-theoretic approach to default logic (context) - Dimopoulos, Magirou - 1994
4 Computing extensions of default theories (context) - Levy - 1991
3 The pure logic of necessitation (context) - Fitting, Marek et al. - 1992
3 Subnormal modal logics for knowledge representation (context) - Schwarz, Truszczynski - 1993
3 Considerations on default logic --- an alternative approach (context) - ukaszewicz - 1988
3 Analytic tableaux for default logics (context) - Risch - 1996
3 Solutions of irreflexive relations (context) - Richardson - 1953
2 Proof systems for default and autoepistemic logic (context) - Bonatti - 1996
1 Compiling specificity into approaches to nonmonotonic reason.. (context) - Delgrande, Schaub - 1997
1 New foundations for reasoning with reiter's default logic (context) - Linke, Schaub - 1999
1 Default reasoning via blocking sets (context) - Linke, Schaub - 1999
1 query answering algorithm lukaszewicz' general open default .. (context) - answering, ukaszewicz et al. - 1996
1 On bottom-up pre-processing techniques for automated default.. (context) - Linke, Schaub - 1999
1 New Foundations for Automation of Default Reasoning (context) - Linke - 2000
1 Prioritized conflict resolution for default reasoning (context) - Mengin - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.uni-potsdam.de/wv/publications/index.html): More
Significant Inferences: Preliminary Report - Besnard, Schaub (2000) (Correct)
A Top-down Procedure for Disjunctive Well-founded Semantics - Wang (2001) (Correct)
Graphs and Colorings for Answer Set Programming with.. - Konczak, Schaub, Linke (2003) (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