On the public citation graph
Nonmonotonic reasoning by monotonic inferences with priority constraints
0 signed · 37 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-50701-9_30openalex-snapshot
Logics for inheritance theory
inferredcites →https://doi.org/10.1007/3-540-59487-6_23openalex-snapshot
Nonmonotonic inheritance, argumentation and logic programming
inferredcites →https://doi.org/10.1007/3-540-59487-6_29openalex-snapshot
Computing the acceptability semantics
inferredcites →https://doi.org/10.1007/978-1-4684-3384-5_3openalex-snapshot
On Closed World Data Bases
inferredcites →https://doi.org/10.1007/bf00881830openalex-snapshot
Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic
inferredcites →https://doi.org/10.1007/bf01530953openalex-snapshot
Preference logics: Towards a unified approach to nonmonotonicity in deductive reasoning
inferredcites →https://doi.org/10.1016/0004-3702(80)90011-9openalex-snapshot
Circumscription—A form of non-monotonic reasoning
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)90064-6openalex-snapshot
Results on translating defaults to circumscription
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(95)00076-3openalex-snapshot
Stable models and their computation for logic programming with inheritance and true negation
inferredcites →https://doi.org/10.1016/0743-1066(95)94697-xopenalex-snapshot
An argumentation-theoretic foundation for logic programming
inferredcites →https://doi.org/10.1093/oso/9780198537472.003.0003openalex-snapshot
Some Direct Theories of Nonmonotonic Inheritance
inferredcites →https://doi.org/10.1109/icips.1997.669172openalex-snapshot
Logic programming without default negation revisited
inferredcites →https://doi.org/10.1145/237661.237710openalex-snapshot
Managing conflicts between rules (extended abstract)
inferredcites →https://doi.org/10.1613/jair.284openalex-snapshot
Well-Founded Semantics for Extended Logic Programs with Dynamic Preferences
inferredcites →https://doi.org/10.7551/mitpress/4298.003.0070openalex-snapshot
Preference Logic Programming
inferredcites →https://doi.org/10.7551/mitpress/4301.003.0040openalex-snapshot
Logic Programming without Negation as Failure
inferredcites →https://doi.org/10.7551/mitpress/4316.003.0051openalex-snapshot
The Acceptability Semantics for Logic Programs
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/11425274_43openalex-snapshot
Aggregates and Preferences in Logic Programming
inferred← citeshttps://doi.org/10.1007/11853886_18openalex-snapshot
On the Semantics of Logic Programs with Preferences
inferred← citeshttps://doi.org/10.1007/3-540-46767-x_2openalex-snapshot
Classifying Semi-Normal Default Logic on the Basis of its Expressive Power
inferred← citeshttps://doi.org/10.1007/3-540-46767-x_25openalex-snapshot
A Comparison of Sceptical NAF-Free Logic Programming Approaches
inferred← citeshttps://doi.org/10.1007/3-540-49545-2_15openalex-snapshot
On the Intertranslatability of Autoepistemic, Default and Priority Logics, and Parallel Circumscription
inferred← citeshttps://doi.org/10.1007/bfb0023798openalex-snapshot
Non-Monotonic Extensions of Logic Programming
inferred← citeshttps://doi.org/10.1016/s0004-3702(00)00054-0openalex-snapshot
Prioritized logic programming and its application to commonsense reasoning
inferred← citeshttps://doi.org/10.1016/s0004-3702(02)00385-5openalex-snapshot
Evaluating the effect of semi-normality on the expressiveness of defaults
inferred← citeshttps://doi.org/10.1016/s0743-1066(99)00060-6openalex-snapshot
Defeasible logic versus Logic Programming without Negation as Failure
inferred← citeshttps://doi.org/10.1016/s0957-4174(02)00032-5openalex-snapshot
Diagnostic expert system using non-monotonic reasoning
inferred← citeshttps://doi.org/10.1023/a:1018915113814openalex-snapshot
On the intertranslatability of non‐monotonic logics
inferred← citeshttps://doi.org/10.1093/logcom/exs003openalex-snapshot
Opening the black box of trust: reasoning about trust models in a BDI agent
inferred← citeshttps://doi.org/10.1109/69.971190openalex-snapshot
Nonmonotonic reasoning as prioritized argumentation
inferred← citeshttps://doi.org/10.1109/tkde.2003.1245280openalex-snapshot
A logical framework for querying and repairing inconsistent databases
inferred← citeshttps://doi.org/10.1145/1838552.1838558openalex-snapshot
An inclusion theorem for defeasible logics
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.