conftrace_

multiple contraction

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

system of sphere (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