Follow
Lukas Schweizer
Lukas Schweizer
Meltwater (previously Deepreason.ai)
Verified email at lukas-schweizer.de
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
222016
Answer Set Programming and CLASP A Tutorial
S Hölldobler, L Schweizer
Young Scientists’ International Workshop on Trends in Information Processing …, 2014
172014
Faceted Answer-Set Navigation
C Alrabbaa, S Rudolph, L Schweizer
International Joint Conference on Rules and Reasoning, 211-225, 2018
72018
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
72017
Wolpertinger: A Fixed-Domain Reasoner
S Rudolph, L Schweizer, S Tirtarasa
International Semantic Web Conference (ISWC), 2017
52017
Advanced Content Analysis
S Franzen, C Quang, L Schweizer, A Budzier, P Hrstich, S Reissfelder, ...
World Bank, Washington, DC, 2022
42022
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
42019
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
42018
Bound Your Models! How to Make OWL an ASP Modeling Language
SA Gaggl, S Rudolph, L Schweizer
arXiv preprint arXiv:1511.00924, 2015
42015
Smoke Test Planning using Answer Set Programming
T Philipp, V Roland, L Schweizer
Int. J. Interact. Multim. Artif. Intell. 6 (Special Issue on Artificial …, 2021
22021
SEABirds: An AHP Approach to Solve the Angry Birds AI Challenge
A Nuradiansyah, E Ziberi, S Tirtarasa, L Schweizer
12016
Association-rule based data outlier detection and record completion system and method
S Sferrazza, G Gottlob, G Grasso, A Jami, M Kröll, L Schweizer
US Patent 11,847,105, 2023
2023
When Automatic Filtering Comes to the Rescue: Pre-Computing Company Competitor Pairs in Owler
J Guo, A Jami, M Kröll, L Schweizer, S Paramonov, E Aichinger, ...
Proceedings of the ACM on Management of Data 1 (2), 1-23, 2023
2023
Computing company competitor pairs by rule based inference combined with empirical validation
A Jami, J Guo, E Aichinger, T Furche, G Grasso, J Lyseggen, M Kröll, ...
US Patent 11,675,790, 2023
2023
System and method for translating existential Datalog into differential dataflow
G Gottlob, A Jami, L Schweizer
US Patent 11,656,868, 2023
2023
CompeGe: Computing Company Competitor Pairs By Knowledge Based Inference Combined With Empirical Validation
G Gottlob, J Guo, A Jami, M Kröll, S Reissfelder, L Schweizer, E Aichinger, ...
2022
Practical Fixed-Domain Reasoning for Description Logics–Extended Abstract
SA Gaggl, S Rudolph, L Schweizer
Alberto Mendelzon Workshop (AMW), 2017
2017
Practical Fixed-Domain Reasoning for Description Logics
SA Gaggl, S Rudolph, L Schweizer
AMW, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–18