On the consistency of defeasible databases
From MaRDI portal
Publication:1190793
Recommendations
- scientific article; zbMATH DE number 4189229
- scientific article; zbMATH DE number 2080029
- On measuring inconsistency in definite and indefinite databases with denial constraints
- A Relaxed Approach to Integrity and Inconsistency in Databases
- scientific article; zbMATH DE number 4064545
- scientific article; zbMATH DE number 7368442
- Automata, Languages and Programming
- scientific article; zbMATH DE number 2086471
- scientific article; zbMATH DE number 1735904
- scientific article; zbMATH DE number 5508281
Cites work
- A logic for default reasoning
- An approach to default reasoning based on a first-order conditional logic: Revised report
- Erratum to: ``What does a conditional knowledge base entail?
- scientific article; zbMATH DE number 4152345 (Why is no real title available?)
- scientific article; zbMATH DE number 4166940 (Why is no real title available?)
- scientific article; zbMATH DE number 43242 (Why is no real title available?)
- scientific article; zbMATH DE number 3504935 (Why is no real title available?)
- scientific article; zbMATH DE number 3321249 (Why is no real title available?)
- Knowledge in flux. Modeling the dynamics of epistemic states
- Linear-time algorithms for testing the satisfiability of propositional horn formulae
- Nonmonotonic reasoning, preferential models and cumulative logics
- The logic of conditionals. An application of probability to deductive logic
Cited in
(27)- A unified model of qualitative belief change: a dynamical systems perspective
- Modal logics for qualitative possibility theory
- From ordering-based nonmonotonic reasoning to conditional logics
- Unifying default reasoning and belief revision in a modal framework
- Conditional logics of normality: A modal approach
- Default reasoning from conditional knowledge bases: Complexity and tractable cases
- Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem
- Abduction as belief revision
- A formalism unifying defeasible logics and repair semantics for existential rules
- Automated non-monotonic reasoning in System \textbf{P}
- Nonmonotonic reasoning from conditional knowledge bases with system W
- Qualitative probabilities for default reasoning, belief revision, and causal modeling
- Preserving confidentiality while reacting on iterated queries and belief revisions
- Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations
- Probabilistic description logic programs under inheritance with overriding for the semantic Web
- Expressive probabilistic description logics
- In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals
- Weak nonmonotonic probabilistic logics
- Large-scale parallel stratified defeasible reasoning
- scientific article; zbMATH DE number 48272 (Why is no real title available?)
- Generalizing inference rules in a coherence-based probabilistic default reasoning
- Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in SystemP
- scientific article; zbMATH DE number 7368442 (Why is no real title available?)
- scientific article; zbMATH DE number 4189229 (Why is no real title available?)
- Probabilistic logic under coherence: complexity and algorithms
- Nonmonotonic probabilistic logics under variable-strength inheritance with overriding: complexity, algorithms, and implementation
- Conditional entailment: bridging two approaches to default reasoning.
This page was built for publication: On the consistency of defeasible databases
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1190793)
