The following pages link to Paraconsistent logic programming (Q1262746):
Displaying 37 items.
- Semi-equilibrium models for paracoherent answer set programs (Q253992) (← links)
- Finding explanations of inconsistency in multi-context systems (Q460632) (← links)
- A note on the model-theoretic semantics of fuzzy logic programming for dealing with inconsistency (Q598579) (← links)
- A non-ground realization of the stable and well-founded semantics (Q671655) (← links)
- Iterative belief revision in extended logic programming (Q672058) (← links)
- A theory of nonmonotonic inheritance based on annotated logic (Q685338) (← links)
- A logic for reasoning with inconsistency (Q688558) (← links)
- Legality concepts for three-valued logic programs (Q689286) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- Binary resolution over Boolean lattices (Q853473) (← links)
- Tabulation proof procedures for fuzzy linguistic logic programming (Q899133) (← links)
- Paraconsistent disjunctive deductive databases (Q1185011) (← links)
- Interpreting disjunctive logic programs based on a strong sense of disjunction (Q1311401) (← links)
- Completeness issues in RUE-NRF deduction: The undecidability of viability (Q1311402) (← links)
- Well-founded semantics and stratification for ordered logic programs (Q1313371) (← links)
- An overview of transaction logic (Q1341707) (← links)
- A theory of nonmonotonic rule systems I (Q1356221) (← links)
- Annotated fuzzy logic programs (Q1568489) (← links)
- Quasi-classical reasoning in paraconsistent databases (Q1653451) (← links)
- Inconsistency-tolerant temporal reasoning with hierarchical information (Q1749966) (← links)
- Learning any memory-less discrete semantics for dynamical systems represented by logic programs (Q2102410) (← links)
- Policy-based inconsistency management in relational databases (Q2353971) (← links)
- Any-world assumptions in logic programming (Q2566297) (← links)
- Modular Paracoherent Answer Sets (Q2938513) (← links)
- Autoreferential semantics for many-valued modal logics (Q3647288) (← links)
- On Theorem Proving in Annotated Logics (Q4443407) (← links)
- Paraconsistency and word puzzles (Q4593052) (← links)
- A paraconsistent relational data model (Q4847156) (← links)
- (Q5018502) (← links)
- Abduction over 3-valued extended logic programs (Q5101439) (← links)
- Why Paraconsistent Logics? (Q5213768) (← links)
- A Survey of Annotated Logics (Q5213771) (← links)
- Programming with Annotated Logics (Q5213779) (← links)
- Jair Minoro Abe on Paraconsistent Engineering (Q5213787) (← links)
- Facts, arguments, annotations and reasoning (Q5929094) (← links)
- \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\) (Q5946276) (← links)
- \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\) (Q5946327) (← links)
