Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations

No abstract is available for this paper.

• Publication year

  2019

• Venue

  Annals of Mathematics and Artificial Intelligence

• Publication date

  2019-08-30

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/s10472-019-09653-7
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Rational Inference Patterns Based on Conditional Logic

  2018cited by this paper
• Towards a General Framework for Kinds of Forgetting in Common-Sense Belief Management

  2018cited by this paper
• Computation and comparison of nonmonotonic skeptical inference relations induced by sets of ranking models for the realization of intelligent agents

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

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

  2018cited by this paper
• Compilation of Conditional Knowledge Bases for Computing C-Inference Relations

  2018cited by this paper
• A Generalized Iterative Scaling Algorithm for Maximum Entropy Model Computations Respecting Probabilistic Independencies

  2018cited by this paper
• Plausible reasoning and plausibility monitoring in language comprehension

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

  2017cited by this paper
• Comparison of Inference Relations Defined over Different Sets of Ranking Functions

  2017cited by this paper
• Skeptical Inference Based on C-Representations and Its Characterization as a Constraint Satisfaction Problem

  2016influential reference
• Skeptical, Weakly Skeptical, and Credulous Inference Based on Preferred Ranking Functions

  2016influential reference
• Preference Modeling with Possibilistic Networks and Symbolic Weights: A Theoretical Study

  2016cited by this paper
• Possibility Theory and Its Applications: Where Do We Stand?

  2015cited by this paper
• A Two-Level Approach to Maximum Entropy Model Computation for Relational Probabilistic Logic Based on Weighted Conditional Impacts

  2014cited by this paper
• Structural Inference from Conditional Knowledge Bases

  2013cited by this paper
• Semantical investigations into nonmonotonic and probabilistic logics

  2012cited by this paper
• The Laws of Belief - Ranking Theory and Its Philosophical Applications

  2012cited by this paper
• A Declarative Approach for Computing Ordinal Conditional Functions Using Constraint Logic Programming

  2011cited by this paper
• Knowledge in Flux: Modeling the Dynamics of Epistemic States

  2008cited by this paper
• Belief revision with reinforcement learning for interactive object recognition

  2008cited by this paper
• Weak nonmonotonic probabilistic logics

  2004cited by this paper
• A Thorough Axiomatization of a Principle of Conditional Preservation in Belief Revision

  2004cited by this paper
• Compiling propositional weighted bases

  2004cited by this paper
• A Knowledge Compilation Map

  2002cited by this paper
• Z-log: Applying System-Z

  2002cited by this paper
• Conditionals in Nonmonotonic Reasoning and Belief Revision

  2001cited by this paper
• Complexity results for structure-based causality

  2001cited by this paper
• Consequence Finding Algorithms

  2000cited by this paper
• Term rewriting and all that

  1998cited by this paper
• An Open-Ended Finite Domain Constraint Solver

  1997cited by this paper
• Possibilistic and Standard Probabilistic Semantics of Conditional Knowledge Bases

  1997cited by this paper
• Qualitative Probabilities for Default Reasoning, Belief Revision, and Causal Modeling

  1996cited by this paper
• Reasoning, Nonmonotonicity and Learning in Connectionist Networks that Capture Propositional Knowledge

  1995cited by this paper
• Conditional Objects as Nonmonotonic Consequence Relationships

  1994cited by this paper
• Penalty Logic and its Link with Dempster-Shafer Theory

  1994cited by this paper
• General patterns in nonmonotonic reasoning

  1994cited by this paper
• The Uncertain Reasoner's Companion: A Mathematical Perspective

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

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

  1990cited by this paper
• What does a Conditional Knowledge Base Entail?

  1989cited by this paper
• Suppressing valid inferences with conditionals.

  1989cited by this paper
• Ordinal Conditional Functions: A Dynamic Theory of Epistemic States

  1988cited by this paper
• Simple Word Problems in Universal Algebras

  1983cited by this paper
• Topics in Conditional Logic

  1980cited by this paper
• The logic of conditionals

  1975cited by this paper
• Counterfactuals

  1974cited by this paper
• Simple Word Problems in Universal Algebras††The work reported in this paper was supported in part by the U.S. Office of Naval Research.

  1970cited by this paper
• Reasoning about a Rule

  1968cited by this paper
• Probability and the Logic of Conditionals

  1966cited by this paper
• La prévision : ses lois logiques, ses sources subjectives

  1937cited by this paper
• Ein Satz über Untermengen einer endlichen Menge

  1928cited by this paper

• Inductive inference from weakly consistent belief bases

  2025influential citation
• An implementation of nonmonotonic reasoning with c-representations using an SMT solver

  2024cites this paper
• A Novel Prediction Model for Compiler Optimization with Hybrid Meta-Heuristic Optimization Algorithm

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

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

  2021cites this paper
• InfOCF-Web: An Online Tool for Nonmonotonic Reasoning with Conditionals and Ranking Functions

  2021cites this paper
• Computation of Closures of Nonmonotonic Inference Relations Induced by Conditional Knowledge Bases

  2019cites this paper