conftrace_

paraconsistent logic

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

agm belief revision (1) expansion operator (1) priest lp (1) representation theorem (1) inconsistency measure (1) inconsistency measurement (1) non-monotonic reasoning (1) propositional logic (1) belief revision (1) knowledge base (1)

Papers

On Paraconsistent Belief Revision in LP AAAI 2022 Inconsistency Measurement for Paraconsistent Inference IJCAI 2021 Formulas Free From Inconsistency: An Atom-Centric Characterization in Priest's Minimally Inconsistent LP (Extended Abstract) IJCAI 2020