conftrace_

partial meet contraction

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

multiple contraction (1) system of sphere (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