Pages that link to "Item:Q1610490"
From MaRDI portal
The following pages link to Paraconsistent declarative semantics for extended logic programs (Q1610490):
Displaying 17 items.
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- Quasi-classical reasoning in paraconsistent databases (Q1653451) (← links)
- An encompassing framework for paraconsistent logic programs (Q1775864) (← links)
- A logic programming system for nonmonotonic reasoning (Q1891266) (← links)
- Galois connections for bilattices (Q2036385) (← links)
- A paraconsistent logic programming approach for querying inconsistent databases (Q2463646) (← links)
- Any-world assumptions in logic programming (Q2566297) (← links)
- Logical foundations and complexity of 4QL, a query language with unrestricted negation (Q2901212) (← links)
- Truth versus information in logic programming (Q2933087) (← links)
- Dependency semantics for sequences of extended logic programs (Q3165890) (← links)
- A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption (Q3524923) (← links)
- Reasoning with different levels of uncertainty (Q3643259) (← links)
- Extended semantics and inference for the Independent Choice Logic (Q3653144) (← links)
- (Q4207887) (← links)
- (Q4288282) (← links)
- Paraconsistent Stable Semantics for Extended Disjunctive Programs (Q4835533) (← links)
- Reliable Semantics for Extended Logic Programs with Rule Prioritization (Q4835535) (← links)