conftrace_

base contraction

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

non-prioritized operator (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