scientific article; zbMATH DE number 4181307
From MaRDI portal
Publication:3204442
zbMATH Open0717.03005MaRDI QIDQ3204442FDOQ3204442
Authors: Michael Kifer, Eliezer L. Lozinskii 
Publication date: 1989
Title of this publication is not available (Why is that?)
Recommendations
- A logic for reasoning with inconsistency
- A semantics for reasoning consistently in the presence of inconsistency
- A logic for reasoning with inconsistent knowledge
- A general framework for reasoning on inconsistency
- Characterising and explaining inconsistency in logic programs
- R-CALCULUS: a logic of belief revision
- scientific article; zbMATH DE number 3853039
- scientific article; zbMATH DE number 1303449
- Being Consistent About Inconsistency: Toward the Rational Fusing of Inconsistent Propositional Logic Bases
Paraconsistent logics (03B53) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)
Cited In (27)
- A simple signed system for paraconsistent reasoning
- A theory of nonmonotonic inheritance based on annotated logic
- Automatic theorem proving in paraconsistent logics: Theory and implementation
- \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\)
- A logic for reasoning with inconsistent knowledge
- \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\)
- Filter-based resolution principle for lattice-valued propositional logic LP\((X)\)
- A semantics for reasoning consistently in the presence of inconsistency
- Logic programs, well-orderings, and forward chaining
- PROBABILISTIC ENTAILMENT ON FIRST ORDER LANGUAGES AND REASONING WITH INCONSISTENCIES
- Modularity and relevant logic
- How paradox fares in inconsistency robust logic and beyond: computational and naturalized approaches
- Interpreting disjunctive logic programs based on a strong sense of disjunction
- An overview of transaction logic
- Probabilistic logic programming
- A semantical framework for supporting subjective and conditional probabilities in deductive databases
- Inconsistency robustness. Revised papers of the international symposia on inconsistency robustness, Stanford, CA, USA, 2011 and 2014. With the collaboration of Jane Spurr
- Sound and complete SLD-resolution for bilattice-based annotated logic programs
- Inconsistent knowledge as a natural phenomenon: the ranking of reasonable inferences as a computational approach to naturally inconsistent (legal) theories
- Making logical inferences in inconsistent systems
- Paraconsistent disjunctive deductive databases
- Computational Aspects of Quasi-Classical Entailment
- Resolving contradictions: A plausible semantics for inconsistent systems
- On Theorem Proving in Annotated Logics
- Minimising disjunctive information
- A survey of annotated logics
- A logic for programming with complex objects
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3204442)
