24 citations · 46 across the 2 of their papers we have counts for
2 papers
cs.LO2014★ 24 cited
The Logical Difference for the Lightweight Description Logic EL
Boris Konev, Michel Ludwig, Dirk Walther +1
We study a logic-based approach to versioning of ontologies. Under this view, ontologies provide answers to queries about some vocabulary of interest. The difference between two ve…
cs.AI2014★ 22 cited
Reasoning About the Transfer of Control
Wiebe van der Hoek, Dirk Walther, Michael Wooldridge
We present DCL-PC: a logic for reasoning about how the abilities of agents and coalitions of agents are altered by transferring control from one agent to another. The logical found…