On the public citation graph
Reasoning with prioritized defaults
0 signed · 81 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-1-4684-3384-5_3openalex-snapshot
On Closed World Data Bases
inferredcites →https://doi.org/10.1007/978-3-642-51136-3_13openalex-snapshot
A Disjunctive Semantics Based on Unfolding and Bottom-Up Evaluation
inferredcites →https://doi.org/10.1007/978-3-642-82453-1_15openalex-snapshot
Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems
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/bf03037169openalex-snapshot
Classical negation in logic programs and disjunctive databases
inferredcites →https://doi.org/10.1007/bfb0021977openalex-snapshot
Adding priorities and specificity to default logic
inferredcites →https://doi.org/10.1007/bfb0023801openalex-snapshot
A new logical characterisation of stable models and answer sets
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(90)90101-5openalex-snapshot
Nonmonotonic reasoning, preferential models and cumulative logics
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.1016/0004-3702(94)00041-xopenalex-snapshot
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
inferredcites →https://doi.org/10.1016/0165-4896(91)90042-popenalex-snapshot
Algorithmic problems of nontransitive (SSB) utilities
inferredcites →https://doi.org/10.1016/0304-3975(92)90285-nopenalex-snapshot
On the relations between stable and well-founded semantics of logic programs
inferredcites →https://doi.org/10.1016/0743-1066(94)90025-6openalex-snapshot
Logic programming and knowledge representation
inferredcites →https://doi.org/10.1016/0743-1066(95)00151-4openalex-snapshot
Extending Prolog with nonmonotonic reasoning
inferredcites →https://doi.org/10.1016/s0049-237x(06)80048-0openalex-snapshot
A decidable quantified defeasible logic
inferredcites →https://doi.org/10.1016/s0743-1066(96)00115-xopenalex-snapshot
Characterizations of the disjunctive stable semantics by partial evaluation
inferredcites →https://doi.org/10.1080/11663081.1997.10510900openalex-snapshot
Argument-based extended logic programming with defeasible priorities
inferredcites →https://doi.org/10.1145/153850.153865openalex-snapshot
Query evaluation under the well-founded semantics
inferredcites →https://doi.org/10.1145/222092.222096openalex-snapshot
On the relation between legal language and legal argument
inferredcites →https://doi.org/10.2307/2234100openalex-snapshot
Nonlinear Preference and Utility Theory.
inferredcites →https://doi.org/10.2307/2554336openalex-snapshot
Nonlinear Preference and Utility Theory.
inferredcites →https://doi.org/10.3233/fi-1995-2233openalex-snapshot
A CLASSIFICATION THEORY OF SEMANTICS OF NORMAL LOGIC PROGRAMS: I. STRONG PROPERTIES
inferredcites →https://doi.org/10.3233/fi-1995-2234openalex-snapshot
A CLASSIFICATION THEORY OF SEMANTICS OF NORMAL LOGIC PROGRAMS: II. WEAK PROPERTIES
inferredcites →https://doi.org/10.7551/mitpress/4283.003.0021openalex-snapshot
Answer Sets for Prioritized Logic Programs
inferredcites →https://doi.org/10.7551/mitpress/4283.003.0029openalex-snapshot
Prioritized Conflict Handling for Logic Programs
inferredcites →https://doi.org/10.7551/mitpress/4283.003.0039openalex-snapshot
From Functional Specifications to Logic Programs
inferredcites →https://doi.org/10.7551/mitpress/4316.003.0014openalex-snapshot
Splitting a Logic Program
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/1-4020-3092-4_1openalex-snapshot
Knowledge Representation with Logic Programs
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-44957-4_11openalex-snapshot
Alternating Fixpoint Theory for Logic Programs with Priority
inferred← citeshttps://doi.org/10.1007/3-540-44957-4_91openalex-snapshot
Psychiatric Diagnosis from the Viewpoint of Computational Logic
inferred← citeshttps://doi.org/10.1007/3-540-45402-0_33openalex-snapshot
plp: A Generic Compiler for Ordered Logic Programs
inferred← citeshttps://doi.org/10.1007/3-540-45632-5_16openalex-snapshot
Representing Knowledge in A-Prolog
inferred← citeshttps://doi.org/10.1007/3-540-45757-7_31openalex-snapshot
Reasoning about Actions in Prioritized Default Theory
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-030-69322-0_4openalex-snapshot
Reasoning About Trustworthiness in Cyber-Physical Systems Using Ontology-Based Representation and ASP
inferred← citeshttps://doi.org/10.1007/978-3-031-35254-6_18openalex-snapshot
Ergo: A Quest for Declarativity in Logic Programming
inferred← citeshttps://doi.org/10.1007/978-3-031-74209-5_10openalex-snapshot
Multi-paradigm Logic Programming in the $$\mathcal{E}$$rgoAI System
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-44832-9_2openalex-snapshot
Argumentation for Practical Reasoning: An Axiomatic Approach
inferred← citeshttps://doi.org/10.1007/978-3-540-30200-1_8openalex-snapshot
Revising Knowledge in Multi-agent Systems Using Revision Programming with Preferences
inferred← citeshttps://doi.org/10.1007/978-3-540-71703-4_40openalex-snapshot
Prioritized Active Integrity Constraints for Database Maintenance
inferred← citeshttps://doi.org/10.1007/978-3-642-02846-5_35openalex-snapshot
Logic Programming with Defaults and Argumentation Theories
inferred← citeshttps://doi.org/10.1007/978-3-642-15918-3_12openalex-snapshot
Defeasibility in Answer Set Programs via Argumentation Theories
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-94-015-9383-0_3openalex-snapshot
Prioritizing Default Logic
inferred← citeshttps://doi.org/10.1007/s13740-020-00115-6openalex-snapshot
Declarative Semantics for P2P Data Management System
inferred← citeshttps://doi.org/10.1016/j.artint.2011.03.004openalex-snapshot
Preferences in AI: An overview
inferred← citeshttps://doi.org/10.1016/j.artint.2015.10.005openalex-snapshot
An axiomatic analysis of structured argumentation with priorities
inferred← citeshttps://doi.org/10.1016/j.artint.2017.11.002openalex-snapshot
Fundamental properties of attack relations in structured argumentation with priorities
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(02)00207-2openalex-snapshot
Logic programming and knowledge representation—The A-Prolog perspective
inferred← citeshttps://doi.org/10.1017/s1471068402001539openalex-snapshot
A framework for compiling preferences in logic programs
inferred← citeshttps://doi.org/10.1017/s1471068403001674openalex-snapshot
Defeasible logic programming: an argumentative approach
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.1017/s1471068421000508openalex-snapshot
How to Build Your Own ASP-based System?!
inferred← citeshttps://doi.org/10.1017/s1471068422000035openalex-snapshot
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework
inferred← citeshttps://doi.org/10.1017/s147106842300011xopenalex-snapshot
An ASP Framework for the Refinement of Authorization and Obligation Policies
inferred← citeshttps://doi.org/10.1023/a:1018986207453openalex-snapshot
Semantics and expressiveness of disjunctive ordered logic
inferred← citeshttps://doi.org/10.1093/logcom/exac001openalex-snapshot
Semantic data management in P2P systems driven by self-esteem
inferred← citeshttps://doi.org/10.1109/enc.2003.1232889openalex-snapshot
Formalizing the learner model for CSCL environments
inferred← citeshttps://doi.org/10.1111/j.0824-7935.2004.00241.xopenalex-snapshot
Logic Programs with Ordered Disjunction
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.1145/1244002.1244017openalex-snapshot
A framework for prioritized reasoning based on the choice evaluation
inferred← citeshttps://doi.org/10.1609/aimag.v29i4.2179openalex-snapshot
Preferences and Nonmonotonic Reasoning
inferred← citeshttps://doi.org/10.1613/jair.2371openalex-snapshot
On the Semantics of Logic Programs with Preferences
inferred← citeshttps://doi.org/10.3166/jancl.13.87-113openalex-snapshot
Computing Generalized Specificity
inferred← citeshttps://doi.org/10.3233/978-1-61499-419-0-267openalex-snapshot
An Axiomatic Analysis of Structured Argumentation for Prioritized Default Reasoning
inferred← citeshttps://doi.org/10.3233/sw-140140openalex-snapshot
Defeasibility in answer set programs with defaults and argumentation rules
inferred← citeshttps://doi.org/10.4324/9781315782379-81openalex-snapshot
A Classification of Cognitive Agents
inferred← citeshttps://doi.org/10.48550/arxiv.1301.1387openalex-snapshot
Language ASP{f} with Arithmetic Expressions and Consistency-Restoring Rules
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.5821/dissertation-2117-94634openalex-snapshot
The Role of preferences in logic programming: nonmonotonic reasoning, user preferences, decision under uncertainty
inferred← citeshttps://doi.org/10.7551/mitpress/4304.003.0014openalex-snapshot
Disjunctive Logic Programs with Inheritance
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.