Publications of Frank Wolter
2012
| , and , An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic $mathcal{EL}$ (With Appendix), in: Proceedings of the 13nd International Joint Conference on Principles of Knowledge Representation and Reasoning ({KR2012}), 2012 |
| , and , Deciding FO-Rewritability in EL, in: Description Logics, 2012 |
| , and , Mixing Open and Closed World Assumptionin Ontology-Based Data Access: Non-Uniform Data Complexity, in: Description Logics, 2012 |
| and , Non-Uniform Data Complexity of Query Answering in Description Logics (With Appendix), in: Proceedings of the 13nd International Joint Conference on Principles of Knowledge Representation and Reasoning ({KR2012}), 2012 |
| , and (eds.), Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012, CEUR-WS.org, 2012 |
| , and , Query Containment in Description Logics Reconsidered (With Appendix), in: Proceedings of the 13nd International Joint Conference on Principles of Knowledge Representation and Reasoning ({KR2012}), 2012 |
2011
| , and , Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability, in: IJCAI, pages 983-988, 2011 |
|
| and , Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics, in: IJCAI, pages 989-995, 2011 |
|
| and , Non-Uniform Data Complexity of Query Answering in Description Logics, in: Description Logics, 2011 |
|
| , , , and , The Combined Approach to Ontology-Based Data Access, in: IJCAI, pages 2656-2661, 2011 |
2010
| and , Deciding inseparability and conservative extensions in the description logic EL (2010), in: J. Symb. Comput., 45:2(194-228) |
[DOI] |
2009
| , and , Conjunctive Query Answering in the Description Logic EL Using a Relational Database System, in: IJCAI, pages 2070-2075, 2009 |
[URL] |
2007
| and , Intelligent Agents and Common Sense Reasoning, in: Handbook of Modal Logic, pages 991 - 1029, Elsevier, 2007 |
2003
| , The Complexity of Temporal Logic Model Checking, in: {S}elected {P}apers from the 4th {W}orkshop on {A}dvances in {M}odal {L}ogics ({AiML}'02), pages 393-436, King's College Publication, 2003 |
|