3 papers
cs.LO2026
Constructive Preference Relations: Navigating Undecidability in Rational LTL Contraction
Hannes GaiÃer, Dominik Klumpp, Jandson S. Ribeiro
We study the computational aspects of epistemic preference relations in non-classical logics, particularly linear temporal logic (LTL). Epistemic preferences form the backbone of b…
cs.LO2026
Model Change for Description Logic Concepts
Ana Ozaki, Jandson S. Ribeiro
We consider the problem of modifying a description logic concept in light of models represented as pointed interpretations. We call this setting model change, and distinguish three…
cs.LO2025
Effective AGM Belief Contraction: A Journey beyond the Finitary Realm (Technical Report)
Dominik Klumpp, Jandson S. Ribeiro
Despite significant efforts towards extending the AGM paradigm of belief change beyond finitary logics, the computational aspects of AGM have remained almost untouched. We investig…