conftrace_

system of sphere

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

multiple contraction (1) partial meet contraction (1) contraction operator (1) formal ontology (1) impossibility theorem (1) formal logic (1) impossibility result (1) belief revision (1)

Papers

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