Inconsistency Management and Prioritized Syntax-Based Entailment

No abstract is available for this paper.

• Publication year

  1993

• Venue

  International Joint Conference on Artificial Intelligence

• Publication date

  1993-08-28

• Fields of study

  Mathematics, 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.

• Nonmonotonic Inference Based on Expectations

  1994cited by this paper
• A Logic for Reasoning with Inconsistent Knowledge

  1992cited by this paper
• Conditional Entailment: Bridging two Approaches to Default Reasoning

  1992cited by this paper
• Fuzzy Logic for the Management of Uncertainty

  1992cited by this paper
• Representing Default Rules in Possibilistic Logic

  1992cited by this paper
• Management of Preferences in Assumption-Based Reasoning

  1992cited by this paper
• Default Reasoning: Causal and Conditional Theories

  1992cited by this paper
• What is a Default Priority ?

  1992cited by this paper
• Un modèle logique général pour le raisonnement révisable

  1992cited by this paper
• COMBINING KNOWLEDGE BASES CONSISTING OF FIRST‐ORDER THEORIES

  1991cited by this paper
• Prioritized Defaults: Implementation by TMS and Application to Diagnosis

  1991cited by this paper
• Possibilistic Logic, Preferential Models, Non-monotonicity and Related Issues

  1991cited by this paper
• Belief Revision and Default Reasoning: Syntax-Based Approaches

  1991cited by this paper
• Epistemic Entrenchment and Possibilistic Logic

  1991cited by this paper
• Reasoning about change

  1991cited by this paper
• System Z: A Natural Ordering of Defaults with Tractable Applications to Nonmonotonic Reasoning

  1990cited by this paper
• Nonmonotonic Reasoning, Preferential Models and Cumulative Logics

  1990cited by this paper
• A Maximum Entropy Approach to Nonmonotonic Reasoning

  1990cited by this paper
• Preferred Subtheories: An Extended Logical Framework for Default Reasoning

  1989cited by this paper
• Hypothetical reasoning

  1989cited by this paper
• Relations between the logic of theory change and nonmonotonic logic

  1989cited by this paper
• Circumscriptive theories: A logic-based framework for knowledge representation

  1988cited by this paper
• A Logical Framework for Default Reasoning

  1988cited by this paper
• Hierarchic Autoepistemic Theories for Nonmonotonic Reasoning

  1988cited by this paper
• Knowledge in flux: modeling the dynamics of epistemic states

  1988cited by this paper
• Reasoning About Action I: A Possible Worlds Approach

  1987cited by this paper
• Circumscriptive Theories: A Logic-based Framework for Knowledge Representation (Preliminary Report)

  1987cited by this paper
• Extending the ATMS

  1986cited by this paper
• On the semantics of updates in databases

  1983cited by this paper

• Nonmonotonic Logic

  2025cites this paper
• Conditionals and Temporal Conditionals for Gradual Argumentation

  2025cites this paper
• A framework for Conditional Reasoning in Answer Set Programming

  2025cites this paper
• On the redundancy of short and heterogeneous sequences of belief revisions

  2025cites this paper
• What killed the cat again? Towards a logical formalization of curiosity (and suspense, and surprise) in narratives with an experimental use of LLM for capturing causality

  2025cites this paper
• Verifying Properties of a MultiLayer Network for the Recognition of Basic Emotions in a Conditional DL with Typicality (Extended Abstract)

  2024cites this paper
• A Partial MaxSAT Approach to Nonmonotonic Reasoning with System W

  2024cites this paper
• What Killed the Cat? Towards a Logical Formalization of Curiosity (And Suspense, and Surprise) in Narratives

  2024cites this paper
• Can we forget how we learned? Doxastic redundancy in iterated belief revision

  2024cites this paper
• The Form and the Content: Non-Monotonic Reasoning with Syntactic Contextual Filtering

  2024influential citation
• Temporal Many-valued Conditional Logics: a Preliminary Report

  2024cites this paper
• Weighted knowledge bases with typicality and defeasible reasoning in a gradual argumentation semantics

  2024cites this paper
• Toward credible belief base revision

  2023cites this paper
• An Application of Priority-Based Lightweight Ontology Merging

  2023cites this paper
• Conditional Syntax Splitting for Non-monotonic Inference Operators

  2023cites this paper
• A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality

  2023cites this paper
• An ASP approach for reasoning on neural networks under a finitely many-valued semantics for weighted conditional knowledge bases (Extended Abstract)

  2023cites this paper
• Typicality, Conditionals and a Probabilistic Semantics for Gradual Argumentation

  2023cites this paper
• Natural revision is contingently-conditionalized revision

  2023cites this paper
• Complexity of Inconsistency-Tolerant Query Answering in Datalog+/- under Preferred Repairs

  2023cites this paper
• ViWaT: A Lightweight Ontology of the Vietnamese Wastewater Treatment Management with Biological Methodologies

  2023cites this paper
• An Embedding-based Approach to Inconsistency-tolerant Reasoning with Inconsistent Ontologies

  2023cites this paper
• Belief revision and incongruity: is it a joke?*

  2023influential citation
• Explaining Gradual Argumentation Semantics in a Conditional Multi-preferential Logic with Typicality

  2023cites this paper
• Representing states in iterated belief revision

  2023cites this paper
• KLM-Style Defeasibility for Restricted First-Order Logic

  2022cites this paper
• Model Checking Verification of MultiLayer Perceptrons in Datalog: a Many-valued Approach with Typicality

  2022cites this paper
• A Simple and Non-Trivial Ramsey Test

  2022cites this paper
• Weighted Conditionals from Gradual Argumentation to Probabilistic Argumentation

  2022cites this paper
• Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentation

  2022cites this paper
• An Axiomatic Approach to Revising Preferences

  2022cites this paper
• Inference with System W Satisfies Syntax Splitting

  2022cites this paper
• An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases

  2022cites this paper
• From Weighted Conditionals with Typicality to a Gradual Argumentation Semantics (Extended Abstract)

  2022cites this paper
• A Multipreference Semantics from Common Sense Reasoning to Neural Network Models: An Overview

  2021cites this paper
• Nonmonotonic reasoning from conditional knowledge bases with system W

  2021cites this paper
• From Weighted Conditionals of Multilayer Perceptrons to a Gradual Argumentation Semantics

  2021cites this paper
• Lexicographic Repair Under Querying Prioritised DL-Lite Knowledge Bases

  2021cites this paper
• Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models

  2021cites this paper
• Possibilistic preference elicitation by minimax regret

  2021cites this paper
• Weighted Conditional EL⊥ Knowledge Bases with Integer Weights: an ASP Approach

  2021cites this paper
• From Weighted Conditionals of Multilayer Perceptrons to Gradual Argumentation and Back

  2021cites this paper
• Multilayer Perceptrons as Weighted Conditional Knowledge Bases: an Overview

  2021cites this paper
• A conditional, a fuzzy and a probabilistic interpretation of self-organising maps

  2021cites this paper
• Working Memory for Assessment Under Inconsistency

  2021cites this paper
• How Category Selection Impacts Inference Reliability: Inheritance Inference From an Ecological Perspective

  2021cites this paper
• Opening the Black-box: Deep Neural Networks as Weighted Conditional Knowledge Bases (Extended Abstract)

  2021cites this paper
• A Logical Theory of Causality

  2021cites this paper
• On the use of evidence theory in belief base revision

  2020cites this paper
• An Ontology-based Approach for Building and Querying ICH Video Datasets

  2020cites this paper
• LogAG: An algebraic non-monotonic logic for reasoning with graded propositions

  2020cites this paper
• Simple contrapositive assumption-based argumentation frameworks

  2020cites this paper
• Nonmonotonic Inferences with Qualitative Conditionals based on Preferred Structures on Worlds

  2020cites this paper
• Defeasible RDFS via Rational Closure

  2020cites this paper
• STRiKE: Rule-Driven Relational Learning Using Stratified k-Entailment

  2020cites this paper
• Modelling and Reasoning in Biomedical Applications with Qualitative Conditional Logic

  2020cites this paper
• Query answering DL-lite knowledge bases from hidden datasets

  2020cites this paper
• A Lightweight Defeasible Description Logic in Depth - Quantification in Rational Reasoning and Beyond

  2019cites this paper
• Reasoning with preferences in service robots

  2019cites this paper
• Recursive algorithms to repair prioritized and inconsistent dl-lite knowledge base

  2019cites this paper
• Rational Inference Relations from Maximal Consistent Subsets Selection

  2019cites this paper
• Belief Merging for Possibilistic Belief Bases

  2019cites this paper
• Towards a Unified Algebraic Framework for Non-Monotonicity

  2018cites this paper
• Symbolic Possibilistic Logic: Completeness and Inference Methods

  2018cites this paper
• Specifying Plausibility Levels for Iterated Belief Change in the Situation Calculus

  2018influential citation
• A Polynomial Time Subsumption Algorithm for Nominal Safe ELO⊥ under Rational Closure

  2018cites this paper
• Querying DL-lite Knowledge Bases from Hidden Datasets

  2018cites this paper
• New Inference Relations from Maximal Consistent Subsets

  2018cites this paper
• Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem

  2018influential citation
• A Semantic Characterization for ASP Base Revision

  2017cites this paper
• Complexity of Model Checking for Cardinality-Based Belief Revision Operators

  2017cites this paper
• A Practical Comparison of Qualitative Inferences with Preferred Ranking Models

  2017cites this paper
• Polynomial Algorithms for Computing a Single Preferred Assertional-Based Repair

  2017cites this paper
• Generalized possibilistic logic: Foundations and applications to qualitative reasoning about uncertainty

  2017cites this paper
• Choices that make you chnage your mind : a dynamic epistemic logic approach to the semantics of BDI agent programming languages

  2016cites this paper
• Skeptical Inference Based on C-Representations and Its Characterization as a Constraint Satisfaction Problem

  2016cites this paper
• Non-Objection Inference for Inconsistency-Tolerant Query Answering

  2016cites this paper
• “Just Because”: Taking Belief Bases Seriously

  2016influential citation
• Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis

  2016cites this paper
• Interpretable Encoding of Densities Using Possibilistic Logic

  2016cites this paper
• Simulating Human Inferences in the Light of New Information: A Formal Analysis

  2016cites this paper
• RP-DeLP: a weighted defeasible argumentation framework based on a recursive semantics

  2016cites this paper
• Revising Possibilistic Knowledge Bases via Compatibility Degrees

  2016cites this paper
• PREFERENCES: OPTIMIZATION, IMPORTANCE LEARNING AND STRATEGIC BEHAVIORS

  2016cites this paper
• Reasoning and Decision Making in an Inconsistent World

  2015cites this paper
• Possibilistic reasoning with partially ordered beliefs

  2015cites this paper
• A refresher on DL-Lite logic

  2015cites this paper
• Min-based possibilistic DL-Lite

  2015cites this paper
• Formalization and logical properties of the Maximal Ideal Recursive Semantics for Weighted Defeasible Logic Programming

  2015cites this paper
• Consistency-based Revision of Structured Belief Bases

  2015cites this paper
• On Supported Inference and Extension Selection in Abstract Argumentation Frameworks

  2015cites this paper
• La logique possibiliste avec poids symboliques : une preuve de complétude

  2015cites this paper
• Qualitative and Semi-Quantitative Inductive Reasoning with Conditionals

  2015cites this paper
• Prioritized Base Debugging in Description Logics

  2015cites this paper
• Prioritized assertional-based removed sets revision of DL-Lite belief bases

  2015cites this paper
• Qualitative Probabilistic Inference with Default Inheritance

  2015cites this paper
• Research report on getting rid of incommensurability of uncertainty scales

  2015cites this paper
• A Logic for Collective Choice

  2015cites this paper
• Who is watching you eat?: a noir preferences thriller

  2015cites this paper
• Improving Inconsistency Resolution by Considering Global Conflicts

  2014cites this paper