On the public citation graph

A decision method for nonmonotonic reasoning based on autoepistemic reasoning

https://doi.org/10.1007/bf00883929
0 signed · 44 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-54487-9_70openalex-snapshot
On the existence of fixpoints in moore's autoepistemic logic and the non-monotonic logic of McDermott and Doyle
inferredcites →https://doi.org/10.1007/3-540-54659-6_107openalex-snapshot
A tableau-based characterisation for default logic
inferredcites →https://doi.org/10.1007/3-540-56503-5_10openalex-snapshot
The complexity of logic-based abduction
inferredcites →https://doi.org/10.1007/bf00883932openalex-snapshot
Embedding defaults into terminological knowledge representation formalisms
inferredcites →https://doi.org/10.1007/bfb0012865openalex-snapshot
Decision procedure for autoepistemic logic
inferredcites →https://doi.org/10.1007/bfb0018457openalex-snapshot
Towards automatic autoepistemic reasoning
inferredcites →https://doi.org/10.1016/0004-3702(79)90008-0openalex-snapshot
A truth maintenance system
inferredcites →https://doi.org/10.1016/0004-3702(80)90014-4openalex-snapshot
A logic for default reasoning
inferredcites →https://doi.org/10.1016/0004-3702(85)90042-6openalex-snapshot
Semantical considerations on nonmonotonic logic
inferredcites →https://doi.org/10.1016/0004-3702(88)90021-5openalex-snapshot
On the relation between default and autoepistemic logic
inferredcites →https://doi.org/10.1016/0004-3702(88)90077-xopenalex-snapshot
A logical framework for default reasoning
inferredcites →https://doi.org/10.1016/0004-3702(90)90086-fopenalex-snapshot
A rational reconstruction of nonmonotonic truth maintenance systems
inferredcites →https://doi.org/10.1016/0004-3702(91)90011-8openalex-snapshot
Hard problems for simple default logics
inferredcites →https://doi.org/10.1016/0304-3975(93)90073-3openalex-snapshot
Propositional circumscription and extended closed-world reasoning are ΠP2-complete
inferredcites →https://doi.org/10.1016/0743-1066(84)90014-1openalex-snapshot
Linear-time algorithms for testing the satisfiability of propositional horn formulae
inferredcites →https://doi.org/10.1016/b978-0-444-88071-0.50007-2openalex-snapshot
A Catalog of Complexity Classes
inferredcites →https://doi.org/10.1017/cbo9780511621192openalex-snapshot
Modal Logic
inferredcites →https://doi.org/10.1080/11663081.1994.10510830openalex-snapshot
On the impact of stratification on the complexity of nonmonotonic reasoning
inferredcites →https://doi.org/10.1093/logcom/2.3.397openalex-snapshot
Complexity Results for Nonmonotonic Logics
inferredcites →https://doi.org/10.1145/116825.116836openalex-snapshot
Autoepistemic logic
inferredcites →https://doi.org/10.1145/153724.153773openalex-snapshot
Modal nonmonotonic logics
inferredcites →https://doi.org/10.22028/d291-24896openalex-snapshot
Embedding defaults into terminological knowledge representation formalisms
inferredcites →https://doi.org/10.3233/fi-1989-12209openalex-snapshot
Stable Theories in Autoepistemic Logic
inferredcites →https://doi.org/10.3233/fi-1990-13403openalex-snapshot
Formalization of Inheritance Reasoning in Autoepistemic Logic
inferredcites →https://doi.org/10.3233/fi-1992-171-208openalex-snapshot
On the Decidability and Complexity of Autoepistemic Reasoning1
inferredcites →https://doi.org/10.3233/fi-1994-21124openalex-snapshot
STATIONARY DEFAULT EXTENSIONS

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/3-540-61313-7_101openalex-snapshot
Skeptical query-answering in Constrained Default Logic
inferred← citeshttps://doi.org/10.1007/3-540-61630-6_6openalex-snapshot
A uniform tableaux method for nonmonotonic modal logics
inferred← citeshttps://doi.org/10.1007/3-540-63255-7_10openalex-snapshot
Separating disbeliefs from beliefs in autoepistemic reasoning
inferred← citeshttps://doi.org/10.1007/978-94-017-1739-7_4openalex-snapshot
The Family of Default Logics
inferred← citeshttps://doi.org/10.1007/978-94-017-1754-0_8openalex-snapshot
Tableaux for Nonmonotonic Logics
inferred← citeshttps://doi.org/10.1007/bf00881832openalex-snapshot
A new methodology for query answering in default logics via structure-oriented theorem proving
inferred← citeshttps://doi.org/10.1007/bfb0021976openalex-snapshot
Prioritized autoepistemic logic
inferred← citeshttps://doi.org/10.1007/bfb0035632openalex-snapshot
Using default logic for lexical knowledge
inferred← citeshttps://doi.org/10.1016/b978-044450813-3/50021-7openalex-snapshot
Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations
inferred← citeshttps://doi.org/10.1016/s0004-3702(98)00092-7openalex-snapshot
Prolog technology for default reasoning: proof theory and compilation techniques
inferred← citeshttps://doi.org/10.1016/s0169-023x(97)00036-0openalex-snapshot
Default databases: Extending the approach of deductive databases using default logic
inferred← citeshttps://doi.org/10.1016/s1574-6526(07)03006-4openalex-snapshot
Chapter 6 Nonmonotonic Reasoning
inferred← citeshttps://doi.org/10.1023/a:1008741010967openalex-snapshot
A Default Logic Based Framework for Context-Dependent Reasoning with Lexical Knowledge
inferred← citeshttps://doi.org/10.1109/tai.1996.560397openalex-snapshot
Intelligent text handling using default logic
inferred← citeshttps://doi.org/10.1145/505372.505374openalex-snapshot
Sequent calculi for propositional nonmonotonic logics
inferred← citeshttps://doi.org/10.3233/978-1-61499-419-0-1039openalex-snapshot
From Default and Autoepistemic Logics to Disjunctive Answer Set Programs via the Logic of GK
inferred← citeshttps://doi.org/10.48550/arxiv.1108.3281openalex-snapshot
Origins of Answer-Set Programming - Some Background And Two Personal Accounts
inferred← citeshttps://doi.org/10.48550/arxiv.1405.0809openalex-snapshot
Implementing Default and Autoepistemic Logics via the Logic of GK
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.