Pages that link to "Item:Q1775864"
From MaRDI portal
The following pages link to An encompassing framework for paraconsistent logic programs (Q1775864):
Displaying 13 items.
- Paraconsistent declarative semantics for extended logic programs (Q1610490) (← links)
- Quasi-classical reasoning in paraconsistent databases (Q1653451) (← links)
- An encompassing framework for paraconsistent logic programs (Q1775864) (← links)
- Syntax and semantics of multi-adjoint normal logic programming (Q1795198) (← links)
- Paracoherent answer set computation (Q2238696) (← links)
- Logical foundations and complexity of 4QL, a query language with unrestricted negation (Q2901212) (← links)
- Dependency semantics for sequences of extended logic programs (Q3165890) (← links)
- (Q4207887) (← links)
- (Q4288282) (← links)
- Paracoherent Answer Set Semantics meets Argumentation Frameworks (Q5108496) (← links)
- Better Paracoherent Answer Sets with Less Resources (Q5108500) (← links)
- Hypothesis-based semantics of logic programs in multivalued logics (Q5277706) (← links)
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty (Q5473751) (← links)