The following pages link to Paraconsistent logic programming (Q1262746):
Displaying 13 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)
- 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)
- 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)
- \(\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)
- Automatic theorem proving in paraconsistent logics: Theory and implementation (Q6488523) (← links)
