Comonadic Semantics for Description Logics Games
Authors: Bartosz Bednarczyk and Mateusz Urbańczyk
Paper Information
| Title: | Comonadic Semantics for Description Logics Games |
| Authors: | Bartosz Bednarczyk and Mateusz Urbańczyk |
| Proceedings: | DL Proceedings |
| Editors: | Martin Homola, Jean Christoph Jung and Marie-Laure Mugnier |
| Keywords: | comonads, expressive power, bisimulation, games |
| Pages: | 1 |
| Talk: | Aug 08 14:50 (Session 97C: Query Answering & Extensions) |
| Paper: |  |