23 citations · 66 across the 11 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.AI2014
On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic
Richard Booth, Thomas Meyer, Ivan Varzinczak +1
Standard belief change assumes an underlying logic containing full classical propositional logic. However, there are good reasons for considering belief change in less expressive l…
cs.AI2014★ 14 cited
On Action Theory Change
Ivan José Varzinczak
As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a logical domain description cannot be fully automated. Moreover, like any other…