Non-Rigid Designators in Epistemic and Temporal Free Description Logics (Extended Abstract)

Published: 01 Jan 2023, Last Modified: 15 Aug 2024Description Logics 2023EveryoneRevisionsBibTeXCC BY-SA 4.0
Loading