The following pages link to (Q4207887):
Displaying 23 items.
- Binary resolution over Boolean lattices (Q853473) (← links)
- Paraconsistent disjunctive deductive databases (Q1185011) (← links)
- Probabilistic logic programming (Q1207942) (← links)
- Paraconsistent logic programming (Q1262746) (← links)
- A model-theoretic approach for recovering consistent data from inconsistent knowledge bases (Q1284709) (← links)
- A semantical framework for supporting subjective and conditional probabilities in deductive databases (Q1311410) (← links)
- Paraconsistent declarative semantics for extended logic programs (Q1610490) (← links)
- Founded semantics and constraint semantics of logic rules (Q1709704) (← links)
- An encompassing framework for paraconsistent logic programs (Q1775864) (← links)
- A logic programming system for nonmonotonic reasoning (Q1891266) (← links)
- Learning any memory-less discrete semantics for dynamical systems represented by logic programs (Q2102410) (← links)
- Paraconsistent inference relations induced from inconsistency measures (Q2105602) (← links)
- A paraconsistent logic programming approach for querying inconsistent databases (Q2463646) (← links)
- Foundations of Logic Programming in Hybridised Logics (Q2787338) (← links)
- (Q4288282) (← links)
- A knowledge representation perspective: Logics for paraconsistent reasoning (Q4293724) (← links)
- (Q4413444) (← links)
- Paraconsistent Stable Semantics for Extended Disjunctive Programs (Q4835533) (← links)
- On recent applications of paraconsistent logic: an exploratory literature review (Q5243397) (← links)
- Artificial Intelligence and Symbolic Computation (Q5464717) (← links)
- (Q5482597) (← links)
- Relational Methods in Computer Science (Q5899316) (← links)
- Automatic theorem proving in paraconsistent logics: Theory and implementation (Q6488523) (← links)
