3 citations · 8 across the 11 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023
Non-Rigid Designators in Epistemic and Temporal Free Description Logics (Extended Version)
Alessandro Artale, Andrea Mazzullo
Definite descriptions, such as 'the smallest planet in the Solar System', have been recently recognised as semantically transparent devices for object identification in knowledge r…
cs.LO2023
Non-Normal Modal Description Logics (Extended Version)
Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki +1
Modal logics are widely used in multi-agent systems to reason about actions, abilities, norms, or epistemic states. Combined with description logic languages, they are also a power…