Pages that link to "Item:Q2270429"

The following pages link to Distance-based paraconsistent logics (Q2270429):

Displaying 15 items.

• Logic based merging (Q535328) (← links)
• A framework for reasoning under uncertainty based on non-deterministic distance semantics (Q541819) (← links)
• Simplified forms of computerized reasoning with distance semantics (Q545150) (← links)
• Reasoning with prioritized information by iterative aggregation of distance functions (Q959055) (← links)
• Reasoning under inconsistency: a forgetting-based approach (Q991019) (← links)
• Quasi-classical reasoning in paraconsistent databases (Q1653451) (← links)
• A graded approach to database repair by context-aware distance semantics (Q1677932) (← links)
• A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite (Q1680691) (← links)
• Simple contrapositive assumption-based argumentation. II: Reasoning with preferences (Q2060783) (← links)
• A dissimilarity-based framework for generating inconsistency-tolerant logics (Q2254632) (← links)
• A Preferential Framework for Trivialization-Resistant Reasoning with Inconsistent Information (Q2915092) (← links)
• Para-Disagreement Logics and Their Implementation Through Embedding in Coq and SMT (Q3305339) (← links)
• Reasoning with Uncertainty by Nmatrix–Metric Semantics (Q3511449) (← links)
• Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data (Q3638199) (← links)
• Context-Aware Distance Semantics for Inconsistent Database Systems (Q5230062) (← links)