conftrace_

non-prioritized operator

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

base contraction (1) contraction operator (1) belief base (1) axiomatic characterization (1) formal logic (1) propositional logic (1) belief revision (1) knowledge base (1) knowledge representation (1)

Papers

Shielded Base Contraction (Extended Abstract) IJCAI 2019