conftrace_

contraction operator

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

formal logic (2) belief revision (2) base contraction (1) non-prioritized operator (1) multiple contraction (1) system of sphere (1) partial meet contraction (1) formal ontology (1) impossibility theorem (1) belief base (1)

Papers

Shielded Base Contraction (Extended Abstract) IJCAI 2019 Construction of System of Spheres-based Transitively Relational Partial Meet Multiple Contractions: An Impossibility Result (Extended Abstract) IJCAI 2017