The following pages link to (Q3792274):
Displaying 16 items.
- Multi-valued logic programming semantics An algebraic approach (Q673383) (← links)
- A paraconsistent conditional logic (Q829828) (← links)
- Bilattices and the theory of truth (Q1123891) (← links)
- Paraconsistent disjunctive deductive databases (Q1185011) (← links)
- A resolution framework for finitely-valued first-order logics (Q1185455) (← links)
- Resolution approximation of first-order logics (Q1187026) (← links)
- Probabilistic logic programming (Q1207942) (← links)
- A semantical framework for supporting subjective and conditional probabilities in deductive databases (Q1311410) (← links)
- Semantic probabilistic inference of predictions (Q1709106) (← links)
- An encompassing framework for paraconsistent logic programs (Q1775864) (← links)
- Modality and interrupts (Q1891265) (← links)
- A deterministic weakening of Belnap-Dunn logic (Q2422310) (← links)
- Bilattices and hyperidentities (Q2510765) (← links)
- A new approach to hybrid probabilistic logic programs (Q2642628) (← links)
- Reasoning with Uncertainty in Deductive Databases and Logic Programs (Q3114490) (← links)
- THE LOGIC OF INFORMATION IN STATE SPACES (Q5001555) (← links)
