On the public citation graph
A new methodology for query answering in default logics via structure-oriented theorem proving
0 signed · 64 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-51665-4_80openalex-snapshot
On the classification and existence of structures in default logic
inferredcites →https://doi.org/10.1007/3-540-52885-7_112openalex-snapshot
A tableaux-based theorem prover for a decidable subset of default logic
inferredcites →https://doi.org/10.1007/3-540-54659-6_106openalex-snapshot
On commitment and cumulativity in default logics
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-58495-1_58openalex-snapshot
Computing queries from prioritized default theories
inferredcites →https://doi.org/10.1007/978-1-4612-4792-0_13openalex-snapshot
Theorist: A Logical Reasoning System for Defaults and Diagnosis
inferredcites →https://doi.org/10.1007/978-3-322-84222-0openalex-snapshot
Relative Complexities of First Order Calculi
inferredcites →https://doi.org/10.1007/bf00244282openalex-snapshot
SETHEO: A high-performance theorem prover
inferredcites →https://doi.org/10.1007/bf00881829openalex-snapshot
Default reasoning by deductive planning
inferredcites →https://doi.org/10.1007/bf00883929openalex-snapshot
A decision method for nonmonotonic reasoning based on autoepistemic reasoning
inferredcites →https://doi.org/10.1007/bf03037328openalex-snapshot
A Prolog technology theorem prover
inferredcites →https://doi.org/10.1007/bfb0012865openalex-snapshot
Decision procedure for autoepistemic logic
inferredcites →https://doi.org/10.1007/bfb0021964openalex-snapshot
The computational value of joint consistency
inferredcites →https://doi.org/10.1007/bfb0021977openalex-snapshot
Adding priorities and specificity to default logic
inferredcites →https://doi.org/10.1007/bfb0028215openalex-snapshot
Variations of constrained default logic
inferredcites →https://doi.org/10.1007/bfb0030392openalex-snapshot
Deduction with supernormal defaults
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(87)90062-2openalex-snapshot
A theory of diagnosis from first principles
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(91)90099-6openalex-snapshot
Cumulative default logic
inferredcites →https://doi.org/10.1016/0004-3702(94)90106-6openalex-snapshot
Alternative approaches to default logic
inferredcites →https://doi.org/10.1016/0743-1066(93)90029-gopenalex-snapshot
A survey of complexity results for non-monotonic logics
inferredcites →https://doi.org/10.1016/b978-1-4832-1452-8.50106-8openalex-snapshot
Default Logic as a Query Language
inferredcites →https://doi.org/10.1016/b978-1-4832-1452-8.50139-1openalex-snapshot
A Decision Method for Nonmonotonic Reasoning Based on Autoepistemic Reasoning
inferredcites →https://doi.org/10.1093/logcom/2.3.397openalex-snapshot
Complexity Results for Nonmonotonic Logics
inferredcites →https://doi.org/10.1111/j.1467-8640.1988.tb00086.xopenalex-snapshot
Considerations on default logic: an alternative approach1
inferredcites →https://doi.org/10.22028/d291-24896openalex-snapshot
Embedding defaults into terminological knowledge representation formalisms
inferredcites →https://doi.org/10.3233/fi-2016-1372openalex-snapshot
On String Languages Generated by Sequential Numerical P Systems
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-48747-6_4openalex-snapshot
Query-answering in Prioritized Default Logic
inferred← citeshttps://doi.org/10.1007/3-540-49426-x_16openalex-snapshot
The XRay system: An implementation platform for local query-answering in default logics
inferred← citeshttps://doi.org/10.1007/3-540-49545-2_16openalex-snapshot
An Approach to Query-Answering in Reiter’s Default Logic and the Underlying Existence of Extensions Problem
inferred← citeshttps://doi.org/10.1007/3-540-58495-1_58openalex-snapshot
Computing queries from prioritized default theories
inferred← citeshttps://doi.org/10.1007/3-540-59338-1_24openalex-snapshot
Issues in theorem proving based on the connection method
inferred← citeshttps://doi.org/10.1007/3-540-60112-0_33openalex-snapshot
Lemma handling in default logic theorem provers
inferred← citeshttps://doi.org/10.1007/3-540-60112-0_36openalex-snapshot
A theorem prover for lukaszewicz open default theory
inferred← citeshttps://doi.org/10.1007/3-540-61286-6_156openalex-snapshot
A model-based approach to consistency-checking
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-61511-3_93openalex-snapshot
XRay: A prolog technology theorem prover for default reasoning: A system description
inferred← citeshttps://doi.org/10.1007/3-540-61532-6_40openalex-snapshot
Exten: A system for computing default logic extensions
inferred← citeshttps://doi.org/10.1007/3-540-61630-6_14openalex-snapshot
A query answering algorithm for Lukaszewicz' general open default theory
inferred← citeshttps://doi.org/10.1007/3-540-61630-6_16openalex-snapshot
A system for computing constrained default logic extensions
inferred← citeshttps://doi.org/10.1007/3-540-63255-7_34openalex-snapshot
An implementation platform for query-answering in default logics: The XRay system, its implementation and evaluation
inferred← citeshttps://doi.org/10.1007/978-3-031-91121-7_2openalex-snapshot
CUTECat: Concolic Execution for Computational Law
inferred← citeshttps://doi.org/10.1007/978-94-015-9383-0_4openalex-snapshot
A Connection Calculus for Handling Incomplete Information
inferred← citeshttps://doi.org/10.1007/978-94-017-1739-7_4openalex-snapshot
The Family of Default Logics
inferred← citeshttps://doi.org/10.1007/bf00881829openalex-snapshot
Default reasoning by deductive planning
inferred← citeshttps://doi.org/10.1007/bfb0027408openalex-snapshot
A sequent calculus for skeptical Default Logic
inferred← citeshttps://doi.org/10.1007/bfb0035632openalex-snapshot
Using default logic for lexical knowledge
inferred← citeshttps://doi.org/10.1007/s10472-021-09738-2openalex-snapshot
Automated non-monotonic reasoning in System P
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(00)00060-6openalex-snapshot
Alternative foundations for Reiter's default logic
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.1017/s0269888998002136openalex-snapshot
A tutorial on default 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.4018/978-1-60566-810-9.ch013openalex-snapshot
Commonsense Reasoning in Intelligent Computer Systems
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.