scientific article; zbMATH DE number 1269574
From MaRDI portal
Publication:4236373
Recommendations
- scientific article; zbMATH DE number 4128792
- Argumentative logics: Reasoning with classically inconsistent information
- Reasoning with contradictory information using quasi-classical logic
- A knowledge representation perspective: Logics for paraconsistent reasoning
- Automatic theorem proving in paraconsistent logics: Theory and implementation
Cited in
(74)- Formal inconsistency and evolutionary databases
- scientific article; zbMATH DE number 2080019 (Why is no real title available?)
- scientific article; zbMATH DE number 3882407 (Why is no real title available?)
- scientific article; zbMATH DE number 7561490 (Why is no real title available?)
- Inconsistency Tolerance
- Para-disagreement logics and their implementation through embedding in Coq and SMT
- Modelling sources of inconsistent information in paraconsistent modal logic
- A simple signed system for paraconsistent reasoning
- Reasoning with contradictory information using quasi-classical logic
- Paraconsistent logic
- scientific article; zbMATH DE number 5872189 (Why is no real title available?)
- scientific article; zbMATH DE number 4135918 (Why is no real title available?)
- scientific article; zbMATH DE number 194679 (Why is no real title available?)
- scientific article; zbMATH DE number 605207 (Why is no real title available?)
- scientific article; zbMATH DE number 4128792 (Why is no real title available?)
- Paraconsistent reasoning based on XML
- scientific article; zbMATH DE number 7325814 (Why is no real title available?)
- A paraconsistent approach to actions in informationally complex environments
- Automatic theorem proving in paraconsistent logics: Theory and implementation
- Measures of inconsistency and defaults
- Information from inconsistent knowledge: a probability logic approach
- A semantics for reasoning consistently in the presence of inconsistency
- Paraconsistency, Chellas's conditional logics, and association rules
- scientific article; zbMATH DE number 2019876 (Why is no real title available?)
- Paraconsistent resolution
- The inapplicability of (selected) paraconsistent logics
- scientific article; zbMATH DE number 1735920 (Why is no real title available?)
- scientific article; zbMATH DE number 910430 (Why is no real title available?)
- Applications of paraconsistency in data and knowledge bases
- Paraconsistent orbits of logics
- Finding explanations of inconsistency in multi-context systems
- Minimal paradefinite logics for reasoning with incompleteness and inconsistency
- scientific article; zbMATH DE number 5230344 (Why is no real title available?)
- Anti-intuitionism and paraconsistency
- A preferential framework for trivialization-resistant reasoning with inconsistent information
- scientific article; zbMATH DE number 67514 (Why is no real title available?)
- Distance-based paraconsistent logics
- How paradox fares in inconsistency robust logic and beyond: computational and naturalized approaches
- scientific article; zbMATH DE number 5001191 (Why is no real title available?)
- scientific article; zbMATH DE number 2070200 (Why is no real title available?)
- scientific article; zbMATH DE number 6407640 (Why is no real title available?)
- Relational Methods in Computer Science
- scientific article; zbMATH DE number 7325823 (Why is no real title available?)
- scientific article; zbMATH DE number 2019885 (Why is no real title available?)
- A paraconsistent extension of Sylvan’s logic
- Similarity-based inconsistency-tolerant logics
- Paraconsistent informational logic
- Paraconsistent inference from data using existential \(\Omega \)-entailment
- scientific article; zbMATH DE number 4142014 (Why is no real title available?)
- A paraconsistent logic programming approach for querying inconsistent databases
- Making logical inferences in inconsistent systems
- Paraconsistent logic from a modal viewpoint
- scientific article; zbMATH DE number 1778912 (Why is no real title available?)
- Paraconsistent intelligent systems of computer logics
- Handling inconsistencies in multi-dimensional logics
- Logical Weak Completions of Paraconsistent Logics
- Paraconsistent Logical Consequence
- Paraconsistency in hybrid logic
- Recovering Consistency by Forgetting Inconsistency
- scientific article; zbMATH DE number 3993535 (Why is no real title available?)
- First order theory for literal-paraconsistent and literal-paracomplete matrices
- Artificial Intelligence and Symbolic Computation
- Paraconsistent reasoning as an analytic tool
- scientific article; zbMATH DE number 4026795 (Why is no real title available?)
- Sub-classical Boolean Bunched Logics and the Meaning of Par
- scientific article; zbMATH DE number 6131386 (Why is no real title available?)
- scientific article; zbMATH DE number 7063489 (Why is no real title available?)
- scientific article; zbMATH DE number 1931671 (Why is no real title available?)
- Modeling and reasoning with paraconsistent rough sets
- Boulesic-Doxastic Logic
- Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness
- Yet another paradefinite logic: The role of conflation1
- Paraconsistency and word puzzles
- Paraconsistent reasoning via quantified Boolean formulas. II: Circumscribing inconsistent theories
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 Q4236373)
