Lukas Schweizer
From International Center for Computational Logic
M.Sc. Lukas Schweizer
Former member
- Former Research Associate in Research Group Computational Logic
Newest Publications
Tobias Philipp, Valentin Roland, Lukas Schweizer
Smoke Test Planning using Answer Set Programming
International Journal of Interactive Multimedia and Artificial Intelligence, 6(5):57--65, February 2021
Details Download
Sebastian Rudolph, Lukas Schweizer, Zhihao Yao
SPARQL Queries over Ontologies Under the Fixed-Domain Semantics
In Abhaya C. Nayak, Alok Sharma, eds., PRICAI 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part I, volume 11670 of Lecture Notes in Computer Science, 486--499, August 2019. Springer
Details Download
Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa
Justifications for the Description Logics Knowledge Bases under the Fixed-Domain Semantics
In Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman, eds., Rules and Reasoning - Second International Joint Conference, RuleML+RR2018, Luxembourg, September 18-21, 2018, Proceedings, volume 11092 of Lecture Notes in Computer Science, 185--200, September 2018. Springer
Details Download
Christian Al-Rabaa, Lukas Schweizer, Sebastian Rudolph
Faceted Answer-Set Navigation
In Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman, eds., Rules and Reasoning - Second International Joint Conference, RuleML+RR2018, Luxembourg, September 18-21, 2018, Proceedings, volume 11092 of Lecture Notes in Computer Science, 211--225, September 2018. Springer
Details Download
Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Practical Fixed-Domain Reasoning for Description Logics - Extended Abstract
In Juan L. Reutter, Divesh Srivastava, eds., Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, Montevideo, Uruguay, June 7-9, 2017, volume 1912 of CEUR Workshop Proceedings, June 2017. CEUR-WS.org
Details Download
Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa
Wolpertinger: A Fixed-Domain Reasoner
In Nadeschda Nikitina, Dezhao Song, eds., ISWC 2017 Posters & Demonstration Track, October 2017
Details Download
Sebastian Rudolph, Lukas Schweizer
Not too Big, Not too Small…Complexities of Fixed-Domain Reasoning in First-Order and Description Logics
In Oliveira Eugénio, Gama João, Vale Zita, Lopes Cardoso Henrique, eds., Progress in Artificial Intelligence: Proceedings of the 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal,, volume 10423 of Lecture Notes in Computer Science, 695-708, September 2017. Springer
Details
Sebastian Rudolph, Lukas Schweizer
Not too Big, Not too Small ... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics
In Alessandro Artale, Birte Glimm and Roman Kontchakov, eds., Proceedings of the 30th International Workshop on Description Logics, volume 1879 of CEUR Workshop Proceedings, July 2017. CEUR-WS.org
Details Download
Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Fixed-Domain Reasoning for Description Logics
In Gal A. Kaminka, Maria Fox, Paolo Bouquet, Eyke Hüllermeier, Virginia Dignum, Frank Dignum, Frank van Harmelen, eds., Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), volume 285 of Frontiers in Artificial Intelligence and Applications, 819 - 827, September 2016. IOS Press
Details Download
Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Fixed-Domain Reasoning for Description Logics
In Maurizio Lenzerini, Rafael Peñaloza, eds., Proceedings of the 29th International Workshop on Description Logics (DL'16), volume 1577, 2016. CEUR Workshop Proceedings
Details Download
Courses
- Deduction Systems (SS 2020)
- Seminar: Logical Modelling (SS 2020)
- Problem Solving and Search in Artificial Intelligence (WS 2019)
- Foundations of Constraint Programming (WS 2019)
- Foundations of Logic Programming (WS 2019)
show further courses
Completed Theses
- Justifications under the Fixed-Domain Semantics
- by Satyadharma Tirtarasa (28 September 2017)
- Supervisor: Sebastian Rudolph, Lukas Schweizer
- Using (Deep) Reinforcement Learning To Play Angry Birds
- by Peter Hirsch (26 September 2017)
- Supervisor: Lukas Schweizer
- Solving Angry Birds with Reinforcement Learning
- by Julius Gonsior (23 Februar 2017)
- Supervisor: Sarah Alice Gaggl, Lukas Schweizer
- Solving Angry Birds with Reinforcement Learning
- by Richard Kwasnicki (23 Februar 2017)
- Supervisor: Sarah Alice Gaggl, Lukas Schweizer
Wolpertinger
Wolpertinger is a fixed-domain reasoner