Pages that link to "Item:Q5277783"
From MaRDI portal
The following pages link to Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae (Q5277783):
Displayed 6 items.
- Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks (Q901144) (← links)
- Reasoning under inconsistency: a forgetting-based approach (Q991019) (← links)
- Four-valued paradefinite logics (Q1685565) (← links)
- Distance-based paraconsistent logics (Q2270429) (← links)
- A QBF-based formalization of abstract argumentation semantics (Q2446545) (← links)
- An Approach to Human-Level Commonsense Reasoning (Q4912992) (← links)