On the public citation graph
Adding priorities and specificity to default logic
0 signed · 125 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/978-94-009-2699-8openalex-snapshot
Aspects of Artificial Intelligence
inferredcites →https://doi.org/10.1007/978-94-009-2699-8_9openalex-snapshot
Defeasible Reasoning: A Philosophical Analysis in Prolog
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(87)90053-1openalex-snapshot
A first-order conditional logic for prototypical properties
inferredcites →https://doi.org/10.1016/0004-3702(91)90099-6openalex-snapshot
Cumulative default logic
inferredcites →https://doi.org/10.1016/0004-3702(92)90069-aopenalex-snapshot
A mathematical treatment of defeasible reasoning and its implementation
inferredcites →https://doi.org/10.1016/0004-3702(92)90071-5openalex-snapshot
Conditional entailment: Bridging two approaches to default reasoning
inferredcites →https://doi.org/10.1145/158976.158977openalex-snapshot
A logical framework for modelling legal argument
inferredcites →https://doi.org/10.1145/3501714.3501730openalex-snapshot
System Z : A Natural Ordering of Defaults with Tractable Applications to Nonmonotonic Reasoning
inferredcites →https://doi.org/10.22028/d291-24868openalex-snapshot
How to prefer more specific defaults in terminological default logic
inferredcites →https://doi.org/10.3233/aic-1989-2210openalex-snapshot
The First International Conference on Principles of Knowledge Representation and Reasoning
inferredcites →https://doi.org/10.48550/arxiv.cs/0202022openalex-snapshot
What does a conditional knowledge base entail?
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/int.10108openalex-snapshot
A compositional reasoning system for executing nonmonotonic theories of reasoning
inferred← citeshttps://doi.org/10.1006/jsco.1996.0068openalex-snapshot
Executable Temporal Logic for Non-monotonic Reasoning
inferred← citeshttps://doi.org/10.1007/1-4020-3092-4_1openalex-snapshot
Knowledge Representation with Logic Programs
inferred← citeshttps://doi.org/10.1007/11546207_24openalex-snapshot
Default Reasoning with Preference Within Only Knowing Logic
inferred← citeshttps://doi.org/10.1007/11744085_10openalex-snapshot
Multivalued Default Logic for Identity Maintenance in Visual Surveillance
inferred← citeshttps://doi.org/10.1007/3-540-36127-8_4openalex-snapshot
Attacking the Complexity of Prioritized Inference Preliminary Report
inferred← citeshttps://doi.org/10.1007/3-540-44957-4_53openalex-snapshot
Default Reasoning with Specificity
inferred← citeshttps://doi.org/10.1007/3-540-45402-0_12openalex-snapshot
Representation of Incomplete Knowledge by Induction of Default Theories
inferred← citeshttps://doi.org/10.1007/3-540-45422-5_21openalex-snapshot
Addressing the Qualification Problem in FLUX
inferred← citeshttps://doi.org/10.1007/3-540-45632-5_8openalex-snapshot
A Model Generation Based Theorem Prover MGTP for First-Order Logic
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_14openalex-snapshot
Analysis of Multi-Interpretable Ecological Monitoring Information
inferred← citeshttps://doi.org/10.1007/3-540-58467-6_23openalex-snapshot
A prioritized Contextual Default Logic: Curing anomalous extensions with a simple abnormality default theory
inferred← citeshttps://doi.org/10.1007/3-540-58467-6_24openalex-snapshot
Incorporating specificity into circumscriptive theories
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-60437-5_15openalex-snapshot
Priorities in Default Logic revisited
inferred← citeshttps://doi.org/10.1007/3-540-61313-7_60openalex-snapshot
A comparative survey of default logic variants
inferred← citeshttps://doi.org/10.1007/3-540-61313-7_83openalex-snapshot
Nonmonotonic reasoning with multiple belief sets
inferred← citeshttps://doi.org/10.1007/3-540-61532-6_47openalex-snapshot
Studying properties of classes of default logics — Preliminary report
inferred← citeshttps://doi.org/10.1007/3-540-64574-8_468openalex-snapshot
Development of an ecological decision support system
inferred← citeshttps://doi.org/10.1007/978-1-4615-1567-8_5openalex-snapshot
The Role of Default Logic in Knowledge Representation
inferred← citeshttps://doi.org/10.1007/978-3-031-10769-6_18openalex-snapshot
GK: Implementing Full First Order Default Logic for Commonsense Reasoning (System Description)
inferred← citeshttps://doi.org/10.1007/978-3-031-86319-6_12openalex-snapshot
Some Equalities are More Equal than Others
inferred← citeshttps://doi.org/10.1007/978-3-319-14726-0_1openalex-snapshot
A Glimpse on Gerhard Brewka’s Contributions to Artificial Intelligence
inferred← citeshttps://doi.org/10.1007/978-3-319-25524-8_28openalex-snapshot
Multi-context Systems with Preferences
inferred← citeshttps://doi.org/10.1007/978-3-319-75553-3_13openalex-snapshot
Towards a General Framework for Dialogues That Accommodate Reasoning About Preferences
inferred← citeshttps://doi.org/10.1007/978-3-319-75553-3_3openalex-snapshot
On the Interaction Between Logic and Preference in Structured Argumentation
inferred← citeshttps://doi.org/10.1007/978-3-540-30221-6_24openalex-snapshot
Specifying Abnormal Action Qualifications with Sensing in FLUX
inferred← citeshttps://doi.org/10.1007/978-3-540-39451-8_8openalex-snapshot
Optimality Theory through Default Logic
inferred← citeshttps://doi.org/10.1007/978-3-540-71412-5_4openalex-snapshot
Anaphora Resolution as Equality by Default
inferred← citeshttps://doi.org/10.1007/978-3-540-85379-4_5openalex-snapshot
Model-Based Default Refinement of Partial Information within an Ambient Agent
inferred← citeshttps://doi.org/10.1007/978-3-540-89439-1_29openalex-snapshot
Default Logics with Preference Order: Principles and Characterisations
inferred← citeshttps://doi.org/10.1007/978-3-642-19618-8_2openalex-snapshot
Operator Behavior Modelling in a Submarine
inferred← citeshttps://doi.org/10.1007/978-3-642-22152-1_43openalex-snapshot
Handling Exceptions in Logic Programming without Negation as Failure
inferred← citeshttps://doi.org/10.1007/978-3-642-33353-8_17openalex-snapshot
A Selective Semantics for Logic Programs with Preferences
inferred← citeshttps://doi.org/10.1007/978-3-642-40564-8_44openalex-snapshot
Implementing Belief Change in the Situation Calculus and an Application
inferred← citeshttps://doi.org/10.1007/978-94-015-9383-0_3openalex-snapshot
Prioritizing Default Logic
inferred← citeshttps://doi.org/10.1007/978-94-017-1652-9_24openalex-snapshot
Logic Programs with Context-Dependent Preferences
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-1743-4_11openalex-snapshot
Meta-Level Selection Techniques for the Control of Default Reasoning
inferred← citeshttps://doi.org/10.1007/bf00881830openalex-snapshot
Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic
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/bfb0035627openalex-snapshot
A compositional reasoning system for executing nonmonotonic theories of reasoning
inferred← citeshttps://doi.org/10.1007/bfb0035629openalex-snapshot
Entrenchment relations: A uniform approach to nonmonotonicity
inferred← citeshttps://doi.org/10.1007/bfb0054788openalex-snapshot
Knowledge representation with logic programs
inferred← citeshttps://doi.org/10.1007/bfb0054795openalex-snapshot
Reasoning with prioritized defaults
inferred← citeshttps://doi.org/10.1007/bfb0057436openalex-snapshot
Extension calculus and query answering in prioritized default logic
inferred← citeshttps://doi.org/10.1007/bfb0095264openalex-snapshot
Reasoning with sets of preferences in default logic
inferred← citeshttps://doi.org/10.1007/s10458-008-9067-4openalex-snapshot
Goals in conflict: semantic foundations of goals in agent programming
inferred← citeshttps://doi.org/10.1007/s10472-013-9334-1openalex-snapshot
t-DeLP: an argumentation-based Temporal Defeasible Logic Programming framework
inferred← citeshttps://doi.org/10.1007/s10472-015-9475-5openalex-snapshot
Preferences in artificial intelligence
inferred← citeshttps://doi.org/10.1007/s11229-025-04950-7openalex-snapshot
Believing in default rules: inclusive default reasoning
inferred← citeshttps://doi.org/10.1007/s42979-023-01963-2openalex-snapshot
Large-Scale Commonsense Knowledge for Default Logic Reasoning
inferred← citeshttps://doi.org/10.1016/0020-0255(95)00234-0openalex-snapshot
Operational characterization of extensions in some logics for default reasoning
inferred← citeshttps://doi.org/10.1016/0167-739x(96)00010-6openalex-snapshot
Meta-level selection techniques for the control of default reasoning
inferred← citeshttps://doi.org/10.1016/b978-0-444-53726-3.00017-7openalex-snapshot
Non-monotonicity in Linguistics
inferred← citeshttps://doi.org/10.1016/b978-044481714-3/50018-7openalex-snapshot
Nonmonotonicity in Linguistics
inferred← citeshttps://doi.org/10.1016/b978-1-4832-1452-8.50110-xopenalex-snapshot
A General Approach to Specificity in Default Reasoning
inferred← citeshttps://doi.org/10.1016/j.artint.2010.09.001openalex-snapshot
Defeasible inheritance with doubt index and its axiomatic characterization
inferred← citeshttps://doi.org/10.1016/j.knosys.2011.09.011openalex-snapshot
Methods for model-based reasoning within agent-based Ambient Intelligence applications
inferred← citeshttps://doi.org/10.1016/j.neucom.2019.02.012openalex-snapshot
RNN-based default logic for route planning in urban environments
inferred← citeshttps://doi.org/10.1016/s0004-3702(00)00049-7openalex-snapshot
Expressing preferences in default logic
inferred← citeshttps://doi.org/10.1016/s0004-3702(01)00131-xopenalex-snapshot
The Qualification Problem: A solution to the problem of anomalous models
inferred← citeshttps://doi.org/10.1016/s0004-3702(01)00134-5openalex-snapshot
An argument-based approach to reasoning with specificity
inferred← citeshttps://doi.org/10.1016/s0004-3702(96)00045-8openalex-snapshot
Compiling specificity into approaches to nonmonotonic reasoning
inferred← citeshttps://doi.org/10.1016/s0004-3702(98)00097-6openalex-snapshot
Lexicographic priorities in default logic
inferred← citeshttps://doi.org/10.1016/s0743-1066(99)00072-2openalex-snapshot
Conditional reasoning in logic programming
inferred← citeshttps://doi.org/10.1016/s0888-613x(02)00089-0openalex-snapshot
Multi-interpretation operators and approximate classification
inferred← citeshttps://doi.org/10.1017/s1471068402001539openalex-snapshot
A framework for compiling preferences in logic programs
inferred← citeshttps://doi.org/10.1017/s1471068402001576openalex-snapshot
Using methods of declarative logic programming for intelligent information agents
inferred← citeshttps://doi.org/10.1017/s1471068403001753openalex-snapshot
Computing preferred answer sets by meta-interpretation in Answer Set Programming
inferred← citeshttps://doi.org/10.1017/s1471068403001844openalex-snapshot
A semantic framework for preference handling in answer set programming
inferred← citeshttps://doi.org/10.1023/a:1018909517931openalex-snapshot
Nonmonotonic reasoning with multiple belief sets
inferred← citeshttps://doi.org/10.1080/088395102753365780openalex-snapshot
Analysis of multi-interpretable ecological monitoring information
inferred← citeshttps://doi.org/10.1080/095281398146725openalex-snapshot
Studying properties of classes of default logics
inferred← citeshttps://doi.org/10.1080/11663081.1997.10510925openalex-snapshot
Towards a classification of defaults logics
inferred← citeshttps://doi.org/10.1109/69.971190openalex-snapshot
Nonmonotonic reasoning as prioritized argumentation
inferred← citeshttps://doi.org/10.1109/bwcca.2011.96openalex-snapshot
Modelling of Submarine Navigation by Nonmonotonic Logic
inferred← citeshttps://doi.org/10.1109/fskd.2008.531openalex-snapshot
A Prioritized Default Extension to Description Logic Knowledge Base
inferred← citeshttps://doi.org/10.1109/icsmc.1998.728109openalex-snapshot
Non-monotonic inference system handling knowledge allowing classified exceptions
inferred← citeshttps://doi.org/10.1109/ictai.2011.158openalex-snapshot
The Logic of Hypothesis Generation in Kinetic Modeling of System Biology
inferred← citeshttps://doi.org/10.1109/snpd.2008.130openalex-snapshot
Prioritizing Default Rules Embedded in Description Logic Knowledge Base
inferred← citeshttps://doi.org/10.1109/waina.2011.143openalex-snapshot
Operator Decision in Simulation of Biological Systems
inferred← citeshttps://doi.org/10.1111/j.0824-7935.2004.00240.xopenalex-snapshot
A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning
inferred← citeshttps://doi.org/10.1111/j.0824-7935.2004.t01-1-00230.xopenalex-snapshot
Reasoning with Sets of Defaults in Default Logic
inferred← citeshttps://doi.org/10.1111/papq.12044openalex-snapshot
Deontic Modals: Why Abandon the Classical Semantics?
inferred← citeshttps://doi.org/10.12681/eadd/17424openalex-snapshot
Symbolic representations and common - sense reasoning in open multi - agent systems
inferred← citeshttps://doi.org/10.1504/ijem.2008.019912openalex-snapshot
A formal method to analyse human reasoning and interpretation in incident management
inferred← citeshttps://doi.org/10.1515/9783111386690-010openalex-snapshot
2218 Nichtmonotones Schließen – Die Kunst des Revidierens
inferred← citeshttps://doi.org/10.1609/aaai.v25i1.7845openalex-snapshot
Preferred Explanations: Theory and Generation via Planning
inferred← citeshttps://doi.org/10.1613/jair.2763openalex-snapshot
The Complexity of Circumscription in DLs
inferred← citeshttps://doi.org/10.1613/jair.284openalex-snapshot
Well-Founded Semantics for Extended Logic Programs with Dynamic Preferences
inferred← citeshttps://doi.org/10.1613/jair.554openalex-snapshot
Complexity of Prioritized Default Logics
inferred← citeshttps://doi.org/10.22029/jlupub-7003openalex-snapshot
Preferred answer sets for extended logic programs
inferred← citeshttps://doi.org/10.26686/ajl.v21i2.8072openalex-snapshot
Modeling Deep Disagreement in Default Logic
inferred← citeshttps://doi.org/10.31237/osf.io/dw5p2openalex-snapshot
Practical Reasoning for Defeasible Description Logics
inferred← citeshttps://doi.org/10.3233/aac-200903openalex-snapshot
Rationality and maximal consistent sets for a fragment of ASPIC+ without undercut
inferred← citeshttps://doi.org/10.3233/fi-1999-40105openalex-snapshot
Computation of Extensions of Seminormal Default Theories
inferred← citeshttps://doi.org/10.3233/fi-2009-182openalex-snapshot
ALC + T: a Preferential Extension of Description Logics
inferred← citeshttps://doi.org/10.4114/ia.v19i58.1129openalex-snapshot
Restablecimiento y especificidad en Sistemas Argumentativos
inferred← citeshttps://doi.org/10.48550/arxiv.2003.13159openalex-snapshot
Extending Automated Deduction for Commonsense Reasoning
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0003024openalex-snapshot
A Compiler for Ordered Logic Programs
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0003028openalex-snapshot
Logic Programs with Compiled Preferences
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0207060openalex-snapshot
Preferred well-founded semantics for logic programming by alternating fixpoints: Preliminary report
inferred← citeshttps://doi.org/10.5555/1641503.1641520openalex-snapshot
The complexity of circumscription in description logic
inferred← citeshttps://doi.org/10.5821/dissertation-2117-94634openalex-snapshot
The Role of preferences in logic programming: nonmonotonic reasoning, user preferences, decision under uncertainty
inferred← citeshttps://doi.org/10.70675/e30888e1za10cz4e58z9812z4826cb8de462openalex-snapshot
Modélisation du comportement humain dans les simulations de combat naval
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.