Items where Author is "Wolter, Frank"

Journal Article

Hernich, André and Lutz, Carsten and Papacchini, Fabio and Wolter, Frank (2020) Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. ACM Transactions on Computational Logic (TOCL), 21 (3): 20. ISSN 1529-3785

Contribution in Book/Report/Proceedings

Jung, Jean Christoph and Papacchini, Fabio and Wolter, Frank and Zakharyaschev, Michael (2019) Model Comparison Games for Horn Description Logics. In: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) :. IEEE. ISBN 9781728136097

Jung, Jean Christoph and Papacchini, Fabio and Wolter, Frank and Zakharyaschev, Michael (2019) Model Comparison Games for Horn Description Logics: A Summary. In: Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019 :. CEUR Workshop Proceedings, 2373 . UNSPECIFIED.

Hernich, André and Papacchini, Fabio and Lutz, Carsten and Wolter, Frank (2018) Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying. In: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden :. IJCAI, pp. 1861-1867.

Papacchini, Fabio and Wolter, Frank (2018) A Van Benthem Theorem for Horn Description and Modal Logic. In: Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018 :. UNSPECIFIED.

Hernich, André and Lutz, Carsten and Papacchini, Fabio and Wolter, Frank (2017) Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. In: Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2017, Chicago, IL, USA, May 14-19, 2017 :. UNSPECIFIED.

Hernich, André and Lutz, Carsten and Papacchini, Fabio and Wolter, Frank (2017) Horn Rewritability vs PTime Query Answering for Description Logic TBoxes. In: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017 :. UNSPECIFIED.