Lukas Schweizer
Lukas Schweizer
Institute of Artificial Intelligence -- Computational Logic Group -- TU Dresden
Verified email at tu-dresden.de - Homepage
Title
Cited by
Cited by
Year
Fixed-Domain Reasoning for Description Logics
SA Gaggl, S Rudolph, L Schweizer
22nd European Conference on Artificial Intelligence (ECAI 2016) 285 …, 2016
122016
Answer Set Programming and CLASP A Tutorial
S Hölldobler, L Schweizer
Young Scientists’ International Workshop on Trends in Information Processing …, 2014
112014
Not Too Big, Not Too Small... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics
S Rudolph, L Schweizer
Progress in Artificial Intelligence: Proceedings of the 18th EPIA Conference …, 2017
52017
Bound Your Models! How to Make OWL an ASP Modeling Language
SA Gaggl, S Rudolph, L Schweizer
arXiv preprint arXiv:1511.00924, 2015
32015
Wolpertinger: A Fixed-Domain Reasoner
S Rudolph, L Schweizer, S Tirtarasa
International Semantic Web Conference (ISWC), 2017
22017
Faceted Answer-Set Navigation
C Alrabbaa, S Rudolph, L Schweizer
International Joint Conference on Rules and Reasoning, 211-225, 2018
12018
Justifications for Description Logic Knowledge Bases Under the Fixed-Domain Semantics
S Rudolph, L Schweizer, S Tirtarasa
International Joint Conference on Rules and Reasoning, 185-200, 2018
12018
SPARQL Queries over Ontologies Under the Fixed-Domain Semantics
S Rudolph, L Schweizer, Z Yao
Pacific Rim International Conference on Artificial Intelligence, 486-499, 2019
2019
Practical Fixed-Domain Reasoning for Description Logics–Extended Abstract
SA Gaggl, S Rudolph, L Schweizer
Alberto Mendelzon Workshop (AMW), 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–9