conftrace_

boolean interpretation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

inconsistency handling (1) variable occurrence (1) minimal inconsistency (1) maximal consistency (1) inference relation (1) formal reasoning (1) propositional logic (1) knowledge representation (1)

Papers

A Variable Occurrence-Centric Framework for Inconsistency Handling AAAI 2025