Lukas Schweizer

According to our database, Lukas Schweizer authored at least 12 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

When Automatic Filtering Comes to the Rescue: Pre-Computing Company Competitor Pairs in Owler.

Jinsong Guo, Aditya Jami, Markus Kröll, Lukas Schweizer, Sergey Paramonov, Eric Aichinger, Stefano Sferrazza, Mattia Scaccia, Stéphane Reissfelder, Eda Cicek, Giovanni Grasso, Georg Gottlob

Proc. ACM Manag. Data, 2023

2022

CompeGen: Computing Company Competitor Pairs By Knowledge Based Inference Combined With Empirical Validation.

Georg Gottlob, Jinsong Guo, Aditya Jami, Markus Kröll, Stéphane Reissfeldee, Lukas Schweizer, Eric Aichinger, Stefano Sferrazza

Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), 2022

2021

Smoke Test Planning using Answer Set Programming.

Tobias Philipp, Valentin Roland, Lukas Schweizer

Int. J. Interact. Multim. Artif. Intell., 2021

2019

SPARQL Queries over Ontologies Under the Fixed-Domain Semantics.

Sebastian Rudolph, Lukas Schweizer, Zhihao Yao

Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019

2018

Justifications for Description Logic Knowledge Bases Under the Fixed-Domain Semantics.

Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa

Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018

Faceted Answer-Set Navigation.

Christian Alrabbaa, Sebastian Rudolph, Lukas Schweizer

Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018

2017

Wolpertinger: A Fixed-Domain Reasoner.

Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa

Proceedings of the ISWC 2017 Posters & Demonstrations and Industry Tracks co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 23rd - to, 2017

Not Too Big, Not Too Small... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics.

Sebastian Rudolph, Lukas Schweizer

Proceedings of the Progress in Artificial Intelligence, 2017

Practical Fixed-Domain Reasoning for Description Logics - Extended Abstract.

Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer

Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, 2017

2016

Fixed-Domain Reasoning for Description Logics.

Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015

Bound Your Models! How to Make OWL an ASP Modeling Language.

Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer

CoRR, 2015

2014

Answer Set Programming and CLASP - A Tutorial.

Steffen Hölldobler, Lukas Schweizer

Proceedings of the Young Scientists' International Workshop on Trends in Information Processing (YSIP) Co-located with the Sixth International Conference on Infocommunicational Technologies in Science, 2014