An Approach to Default Reasoning Based on a First-Order Conditional Logic

No abstract is available for this paper.

• Publication year

  1987

• Venue

  AAAI Conference on Artificial Intelligence

• Publication date

  1987-07-13

• Fields of study

  Philosophy, Computer Science

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A New Introduction to Modal Logic

  1998cited by this paper
• Non-Monotonic Logic I

  1987cited by this paper
• A First-Order Conditional Logic for Prototypical Properties

  1987influential reference
• A Logic for Default Reasoning

  1987cited by this paper
• "I Lied About the Trees", Or, Defaults and Definitions in Knowledge Representation

  1985cited by this paper
• A companion to modal logic

  1984cited by this paper
• The Mathematics of Non-Monotonic Reasoning

  1980cited by this paper
• Topics in Conditional Logic

  1980cited by this paper
• Circumscription|a Form of Nonmonotonic Reasoning

  1979cited by this paper
• An Introduction to Modal Logic

  1977cited by this paper
• Basic conditional logic

  1975cited by this paper
• The logic of conditional obligation

  1972cited by this paper

• Topological semantics for default conditional logic: preliminary report

  2022cites this paper
• Probabilistic Extensions of Various Logical Systems

  2020cites this paper
• Summary of main contributions to the field and some general perspectives on future research

  2019cites this paper
• A General Approach to Speci city in Default Reasoning

  2018cites this paper
• Knowledge Bases and Preferred Update Actions : Searching for Consistency through Dynamic Logic Programs. (Bases de connaissance et actions de mise à jour préférées : à la recherche de consistance au travers des programmes de la logique dynamique)

  2018cites this paper
• Cooking On The Margins: Probabilistic Soft Logics for Recommending and Adapting Recipes

  2017cites this paper
• Impossible Worlds and the Logic of Imagination

  2017cites this paper
• Impossible Worlds and the Logic of Imagination

  2017cites this paper
• In All But Finitely Many Possible Worlds: Model-Theoretic Investigations on ‘Overwhelming Majority’ Default Conditionals

  2017cites this paper
• The Tblisi Symposium on Logic, Language and Computation

  2016cites this paper
• Inconsistency in Ceteris Paribus Imagination

  2016cites this paper
• Cut-Free Proof Systems for Geach Logics

  2015cites this paper
• Conditional Sentences in Belief Revison Systems

  2015cites this paper
• In All But Finitely Many Possible Worlds: Model-Theoretic Investigations on ‘Overwhelming Majority’ Default Conditionals

  2015cites this paper
• Do Ceteris Paribus Laws Exist? A Regularity-Based Best System Analysis

  2014cites this paper
• Do Ceteris Paribus Laws Exist? A Regularity-Based Best System Analysis

  2014cites this paper
• Deciding Consistency of Databases Containing Defeasible and Strict Information

  2013cites this paper
• Possible Worlds Semantics for Indicative and Counterfactual Conditionals? - A Formal Philosophical Inquiry into Chellas-Segerberg Semantics

  2013cites this paper
• Defeasible Decisions: What the Proposal Is and Isn't

  2013cites this paper
• The design of intelligent socio-technical systems

  2012cites this paper
• Adaptively Applying Modus Ponens in Conditional Logics of Normality

  2011cites this paper
• Non-Monotonic Reasoning in Interpretation (Update of Chapter 17)

  2011cites this paper
• Induction and Confirmation Theory: An Approach based on a Paraconsistent Nonmonotonic Logic

  2011cites this paper
• Non-monotonicity in Linguistics

  2011cites this paper
• Non-monotonic reasoning in interpretation

  2010cites this paper
• From the textual description of an accident to its causes

  2009cites this paper
• Patterns in the Semantics of Generic Sentences

  2008cites this paper
• Nonmonotonic Modes of Inference

  2008cites this paper
• Active logic semantics for a single agent in a static world

  2008cites this paper
• Capacity of Hybrid Cellular-Ad Hoc Data Networks

  2008cites this paper
• Applying the Local Computation Framework to Classical and Non-classical Logics

  2007cites this paper
• Adjectives, stereotypicality, and comparison

  2007cites this paper
• A Convention-based Approach to Agent Communication Languages

  2007cites this paper
• Exceptions to Generics: Where Vagueness, Context Dependence and Modality Interact

  2007cites this paper
• Default Inferences From Statistical Knowledge

  2007cites this paper
• DEFAULT QUANTIFIER LOGIC A canonical framework for monotonic reasoning with first-order default knowledge – A preliminary report –

  2007cites this paper
• The 'Majority' and 'by Default' Modalities

  2007cites this paper
• A base logic for default reasoning

  2006cites this paper
• A sequent calculus and a theorem prover for standard conditional logics

  2004cites this paper
• Normic Laws, Non-Monotonic Reasoning, and the Unity of Science

  2004cites this paper
• Modélisations symboliques du raisonnement causal

  2004cites this paper
• Monotonicity in Practical Reasoning

  2003cites this paper
• Nonmonotonicity and Human Probabilistic Reasoning

  2003cites this paper
• Labelled Natural Deduction for Conditional Logics of Normality

  2002cites this paper
• Fuzzy Set in Default Reasoning

  2002cites this paper
• Classifying Conditionals

  2002cites this paper
• Normic Laws, Nonmonotonic Reasoning, and Philosophy of Science

  2001cites this paper
• Dynamic Normative Reasoning Under Uncertainty: How to Distinguish Between Obligations Under Uncertainty and Prima Facie Obligations.

  2001cites this paper
• Embedding Logics in the Local Computation Framework

  2001cites this paper
• Normische Gesetzeshypothesen und die wissenschaftsphilosophische Bedeutung des nichtmonotonen Schliessens

  2001cites this paper
• On Reasoning with Default Rules and Exceptions

  2001cites this paper
• The Nature of Nonmonotonic Reasoning

  2000cites this paper
• More on Bounding Introspection in Modal Nonmonotonic Logics

  2000cites this paper
• PII: S0004-3702(99)00081-8

  2000cites this paper
• First-order conditional logic for default reasoning revisited

  2000cites this paper
• An Information-Based Theory of Conditionals

  2000cites this paper
• Incorporating Nonmonotonic easoning i lause Theories

  1999cites this paper
• Normal Objects, Normal Worlds and the Meaning of Generic Sentences

  1999cites this paper
• Tableaux for Nonmonotonic Logics

  1999cites this paper
• Is This Argument Justified, Overruled or Defensible?

  1999cites this paper
• The Expressive Power of Circumscription

  1998cites this paper
• A Note on the Rational Closure of Knowledge Bases with Both Positive and Negative Knowledge

  1998cites this paper
• Rationality postulates for relevance relations

  1998cites this paper
• Defeasible logic graphs: I. Theory

  1998cites this paper
• Default Reasoning as Situated Monotonic Inference*

  1998cites this paper
• Conditional logics for defeasible reasoning

  1998cites this paper
• Two-Phase Exception Logic

  1998cites this paper
• Strong Conditional Logic

  1998cites this paper
• Credulous Reasoning About Defaults

  1998cites this paper
• A parametric definition for a family of inheritance reasoners

  1997cites this paper
• Rational Default Quantifier Logic

  1997cites this paper
• Propositional Quantification for Conditional Logic

  1997cites this paper
• d-Graph: an argument-based system incorporating defeasible graphs

  1997cites this paper
• Discourse Preferences in Dynamic Logic

  1997cites this paper
• Probabilistic Default Logic Based on Irrelevance and Relevance Assumptions

  1997influential citation
• Nonmonotonicity in Linguistics

  1997cites this paper
• Reasoning about exceptions

  1997cites this paper
• Some arguments about legal arguments

  1997cites this paper
• Compiling Specificity Into Approaches to Nonmonotonic Reasoning

  1997cites this paper
• Nonmonotonic Foundations for Deontic Logic

  1997cites this paper
• Qualitative and Quantitative Practical Reasoning

  1997cites this paper
• Reasoning with vague default

  1997cites this paper
• A proof procedure for normal default theories

  1996influential citation
• An Overview of Fibred Semantics and the Combination of Logics

  1996cites this paper
• First-Order Conditional Logic Revisited

  1996cites this paper
• Defeasible Reasoning with Legal Rules

  1996cites this paper
• Order independent and persistent typed default unification

  1996cites this paper
• Defaults denied

  1996cites this paper
• Time in a causal theory

  1996cites this paper
• Doxastic Normality Logic: A Qualitative Probabilistic Modal Framework for Defaults and Belief

  1996cites this paper
• Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics

  1996cites this paper
• Plausible Reasoning: A First-Order Approach

  1996cites this paper
• Defeasible logic graphs for decision support

  1996cites this paper
• Inheritance reasoning : psychological plausibility, proof theory and semantics

  1995influential citation
• Local theories of inheritance

  1995cites this paper
• Transforming Prioritized Defaults and Specificity into Parallel Defaults

  1995influential citation
• Specifying Over-Constrained Problems in Default Logic

  1995cites this paper
• Systèmes d'inférence non monotone

  1995cites this paper
• Defaults as Generalized Quantifiers

  1995cites this paper
• For All Typical

  1995cites this paper