scientific article; zbMATH DE number 7088148
From MaRDI portal
Publication:5226731
Publication date: 1 August 2019
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Paraconsistent logics (03B53)
Related Items (18)
Counting minimal unsatisfiable subsets ⋮ Inducing inference relations from inconsistency measures ⋮ Postulate satisfaction for inconsistency measures in monotonic logics and databases ⋮ Selecting accepted assertions in partially ordered inconsistent DL-Lite knowledge bases ⋮ On measuring inconsistency in definite and indefinite databases with denial constraints ⋮ A comparison of ASP-based and SAT-based algorithms for the contension inconsistency measure ⋮ Measuring inconsistency in generalized propositional logic ⋮ Handling and measuring inconsistency in non-monotonic logics ⋮ Inconsistency Measurement ⋮ Dimensional Inconsistency Measures and Postulates in Spatio-Temporal Databases ⋮ Measuring inconsistency in some branching time logics ⋮ Measuring inconsistency in some logics with modal operators ⋮ Relative inconsistency measures ⋮ Strong inconsistency ⋮ On the complexity of inconsistency measurement ⋮ General information spaces: measuring inconsistency, rationality postulates, and complexity ⋮ Measuring inconsistency in some logics with tense operators ⋮ Paraconsistent inference relations induced from inconsistency measures
This page was built for publication:
