Pages that link to "Item:Q1185011"

The following pages link to Paraconsistent disjunctive deductive databases (Q1185011):

Displaying 11 items.

• The completeness of gp-resolution for annotated logics (Q1205717) (← links)
• Probabilistic logic programming (Q1207942) (← links)
• The value of the four values (Q1274293) (← links)
• A semantical framework for supporting subjective and conditional probabilities in deductive databases (Q1311410) (← links)
• Quasi-classical reasoning in paraconsistent databases (Q1653451) (← links)
• Reasoning with Uncertainty in Deductive Databases and Logic Programs (Q3114490) (← links)
• On Theorem Proving in Annotated Logics (Q4443407) (← links)
• A paraconsistent relational data model (Q4847156) (← links)
• (Q5018502) (← 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)