On the public citation graph

Modal logic for default reasoning

0 signed · 73 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/978-1-4613-9154-8_6openalex-snapshot

A Software Model For Statistical Graphics

inferredcites →https://doi.org/10.1007/978-1-4684-3384-5_3openalex-snapshot

On Closed World Data Bases

inferredcites →https://doi.org/10.1007/bfb0012865openalex-snapshot

Decision procedure for autoepistemic logic

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)90012-0openalex-snapshot

Non-monotonic logic I

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)90081-6openalex-snapshot

Formalizing nonmonotonic reasoning systems

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/0304-4076(88)90034-6openalex-snapshot

Object-oriented software representations for statistical data

inferredcites →https://doi.org/10.1016/0304-4076(88)90035-8openalex-snapshot

Data analysis as search

inferredcites →https://doi.org/10.1016/0890-5401(91)90073-bopenalex-snapshot

General logical databases and programs: Default logic semantics and stratification

inferredcites →https://doi.org/10.1016/b978-0-934613-40-8.50006-3openalex-snapshot

Towards a Theory of Declarative Knowledge

inferredcites →https://doi.org/10.1016/c2013-0-08308-9openalex-snapshot

Principles of Knowledge Representation and Reasoning

inferredcites →https://doi.org/10.1017/cbo9780511621192openalex-snapshot

Modal Logic

inferredcites →https://doi.org/10.1137/0909013openalex-snapshot

DINDE: Towards More Sophisticated Software Environments for Statistics

inferredcites →https://doi.org/10.1145/116825.116836openalex-snapshot

Autoepistemic logic

inferredcites →https://doi.org/10.1145/322290.322293openalex-snapshot

Nonmonotonic Logic II

inferredcites →https://doi.org/10.1145/357146.357147openalex-snapshot

The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory

inferredcites →https://doi.org/10.1201/9781351074988openalex-snapshot

The New S Language

inferredcites →https://doi.org/10.1609/aimag.v6i4.508openalex-snapshot

Object-oriented programming: Themes and variations

inferredcites →https://doi.org/10.3233/fi-1989-12209openalex-snapshot

Stable Theories in Autoepistemic Logic

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-45616-3_8openalex-snapshot

Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks

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-49545-2_15openalex-snapshot

On the Intertranslatability of Autoepistemic, Default and Priority Logics, and Parallel Circumscription

inferred← citeshttps://doi.org/10.1007/3-540-54563-8_116openalex-snapshot

Dynamic autoepistemic logic

inferred← citeshttps://doi.org/10.1007/3-540-56503-5_10openalex-snapshot

The complexity of logic-based abduction

inferred← citeshttps://doi.org/10.1007/3-540-58107-3_8openalex-snapshot

The power of beliefs or translating default logic into standard autoepistemic logic

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/3-540-64413-x_42openalex-snapshot

Cooperative combination of default logic and autoepistemic logic

inferred← citeshttps://doi.org/10.1007/978-3-540-72200-7_7openalex-snapshot

Complexity of Default Logic on Generalized Conjunctive Queries

inferred← citeshttps://doi.org/10.1007/978-3-642-60211-5_2openalex-snapshot

Default Logic and purity of reasoning

inferred← citeshttps://doi.org/10.1007/978-3-642-76274-1_3openalex-snapshot

On Open Defaults

inferred← citeshttps://doi.org/10.1007/978-94-017-1743-4_8openalex-snapshot

The Dynamics of Default Reasoning

inferred← citeshttps://doi.org/10.1007/bf01530762openalex-snapshot

Logic programming and reasoning with incomplete information

inferred← citeshttps://doi.org/10.1007/bf01530936openalex-snapshot

Interpretations of open default theories in non-monotonic logics

inferred← citeshttps://doi.org/10.1007/bf01535843openalex-snapshot

Modal nonmonotonic logics demodalized

inferred← citeshttps://doi.org/10.1007/bfb0022570openalex-snapshot

A scheme for weakened negative introspection in autoepistemic reasoning

inferred← citeshttps://doi.org/10.1007/bfb0023319openalex-snapshot

Ranges of strong modal nonmonotonic logics

inferred← citeshttps://doi.org/10.1007/bfb0028217openalex-snapshot

The preferential semantics of a multi-modal nonmonotonic logic

inferred← citeshttps://doi.org/10.1007/bfb0049128openalex-snapshot

Disjunctive ordered logic

inferred← citeshttps://doi.org/10.1016/0004-3702(92)90018-sopenalex-snapshot

On the complexity of propositional knowledge base revision, updates, and counterfactuals

inferred← citeshttps://doi.org/10.1016/0004-3702(92)90019-topenalex-snapshot

A logic of knowledge and justified assumptions

inferred← citeshttps://doi.org/10.1016/0004-3702(94)90013-2openalex-snapshot

Minimal knowledge problem: A new approach

inferred← citeshttps://doi.org/10.1016/0004-3702(95)00117-4openalex-snapshot

On embedding default logic into Moore's autoepistemic logic

inferred← citeshttps://doi.org/10.1016/0743-1066(93)90029-gopenalex-snapshot

A survey of complexity results for non-monotonic logics

inferred← citeshttps://doi.org/10.1016/0743-1066(95)00076-3openalex-snapshot

Stable models and their computation for logic programming with inheritance and true negation

inferred← citeshttps://doi.org/10.1016/b978-1-4832-1452-8.50103-2openalex-snapshot

On the Relation Between Default and Modal Consequence Relations

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/s0004-3702(96)00049-5openalex-snapshot

Definability and commonsense reasoning

inferred← citeshttps://doi.org/10.1016/s0004-3702(98)00011-3openalex-snapshot

On the relation between default and modal nonmonotonic reasoning

inferred← citeshttps://doi.org/10.1016/s0169-023x(96)00021-3openalex-snapshot

The dynamics of default reasoning

inferred← citeshttps://doi.org/10.1016/s0304-3975(01)00383-8openalex-snapshot

Propositional default logics made easier: computational complexity of model checking

inferred← citeshttps://doi.org/10.1016/s1874-5857(07)80012-4openalex-snapshot

Nonmonotonic Reasoning

inferred← citeshttps://doi.org/10.1023/a:1018915113814openalex-snapshot

On the intertranslatability of non‐monotonic logics

inferred← citeshttps://doi.org/10.1023/a:1018986207453openalex-snapshot

Semantics and expressiveness of disjunctive ordered logic

inferred← citeshttps://doi.org/10.1080/11663081.1993.10510796openalex-snapshot

Modal logic based theory for non-monotonic reasoning

inferred← citeshttps://doi.org/10.1080/11663081.1997.10510924openalex-snapshot

Nonmonotonic reasoning based on incomplete logic

inferred← citeshttps://doi.org/10.1109/lics.1992.185517openalex-snapshot

Minimal model semantics for nonmonotonic modal logics

inferred← citeshttps://doi.org/10.1109/lics.1995.523255openalex-snapshot

Complexity of normal default logic and related modes of nonmonotonic reasoning

inferred← citeshttps://doi.org/10.1145/137097.137886openalex-snapshot

On the complexity of propositional knowledge base revision, updates, and counterfactuals

inferred← citeshttps://doi.org/10.1145/153724.153773openalex-snapshot

Modal nonmonotonic logics

inferred← citeshttps://doi.org/10.1145/200836.200838openalex-snapshot

The complexity of logic-based abduction

inferred← citeshttps://doi.org/10.1145/210332.210334openalex-snapshot

Translating default logic into standard autoepistemic logic

inferred← citeshttps://doi.org/10.17771/pucrio.acad.65956openalex-snapshot

LAW AND ORDER(ING): PROVIDING A NATURAL DEDUCTION SYSTEM AND NON-MONOTONIC REASONING TO AN INTUITIONISTIC DESCRIPTION LOGIC

inferred← citeshttps://doi.org/10.26348/znwwsi.6.74openalex-snapshot

Notes on Nonmonotonic Autoepistemic Propositional Logic

inferred← citeshttps://doi.org/10.3233/fi-1994-21125openalex-snapshot

A MODAL LOGIC FOR HYPOTHESIS THEORY

inferred← citeshttps://doi.org/10.3233/fi-1997-32203openalex-snapshot

Complexity of Recursive Normal Default Logic

inferred← citeshttps://doi.org/10.3233/fi-1999-38303openalex-snapshot

Many-Valued Modal Non-Monotonic Reasoning: Sequential Stable Sets and Logics with Linear Truth Spaces

inferred← citeshttps://doi.org/10.3233/fi-2000-423405openalex-snapshot

First-order Non-monotonic Modal Logics

inferred← citeshttps://doi.org/10.3233/fi-2009-170openalex-snapshot

On a Modal Epistemic Axiom Emerging from McDermott-Doyle Logics

inferred← citeshttps://doi.org/10.3233/fun-2002-51303openalex-snapshot

Weaker Axioms, More Ranges

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.