Showing 2026Show all
2 papers · 1 filter
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…