The following pages link to (Q4236380):
Displaying 13 items.
- Completing causal networks by meta-level abduction (Q374193) (← links)
- Ordering default theories and nonmonotonic logic programs (Q557790) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- Approximate well-founded semantics, query answering and generalized normal logic programs over lattices (Q1039575) (← links)
- Quasi-classical reasoning in paraconsistent databases (Q1653451) (← links)
- An encompassing framework for paraconsistent logic programs (Q1775864) (← links)
- Belief revision via Lamarckian evolution (Q1877376) (← links)
- Any-world assumptions in logic programming (Q2566297) (← links)
- From Fuzzy to Annotated Semantic Web Languages (Q2970305) (← links)
- A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption (Q3524923) (← links)
- Paraconsistent Logic Programs with Four-Valued Rough Sets (Q3541044) (← links)
- Heterogeneous Approximate Reasoning with Graded Truth Values (Q5082207) (← links)
- Collaborative vs. Conflicting Learning, Evolution and Argumentation (Q5302474) (← links)
