Pages that link to "Item:Q2389648"
From MaRDI portal
The following pages link to Analysing inconsistent first-order knowledgebases (Q2389648):
Displaying 20 items.
- On the expressivity of inconsistency measures (Q253979) (← links)
- Inconsistency measures for probabilistic logics (Q360045) (← links)
- A syntax-based approach to measuring the degree of inconsistency for belief bases (Q648367) (← links)
- On quasi-inconsistency and its complexity (Q785227) (← links)
- Responsibility for inconsistency (Q891774) (← links)
- Stream-based inconsistency measurement (Q895515) (← links)
- Quantifying conflicts in propositional logic through prime implicates (Q1680686) (← links)
- Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic (Q2043815) (← links)
- On the complexity of inconsistency measurement (Q2321337) (← links)
- Policy-based inconsistency management in relational databases (Q2353971) (← links)
- Approaches to measuring inconsistency for stratified knowledge bases (Q2353972) (← links)
- Detecting inconsistencies in large first-order knowledge bases (Q2405258) (← links)
- A hybrid reasoning system for terminologies and first-order clauses in knowledge bases (Q2493276) (← links)
- A Tableau System for Quasi-Hybrid Logic (Q2817942) (← links)
- 2011 North American Annual Meeting of the Association for Symbolic Logic, University of California at Berkeley, Berkeley, CA, USA, March 24--27, 2011 (Q2893284) (← links)
- Inconsistency Measurement (Q3297796) (← links)
- (Q4576231) (← links)
- On the measure of conflicts: an argumentation-based framework (Q4685531) (← links)
- Semantic inconsistency measures using 3-valued logics (Q6114029) (← links)
- Relation-changing models meet paraconsistency (Q6156935) (← links)
