The following pages link to (Q4708928):
Displaying 6 items.
- Signed systems for paraconsistent reasoning (Q1382164) (← links)
- Predicate signatures from pair encodings via dual system proof technique (Q2009416) (← links)
- A QBF-based formalization of abstract argumentation semantics (Q2446545) (← links)
- Computational methods for database repair by signed formulae (Q2502158) (← links)
- Inconsistency Tolerance (Q5464028) (← links)
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty (Q5900655) (← links)