Lukas Schweizer

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

M.Sc. Lukas Schweizer

Wissenschaftlicher MitarbeiterTechnische Universität DresdenInternational Center for Computational Logic Computational Logic

About Me

I am a research assistant at the Institute for Artificial Intelligence, in the Computational Logic group. I am working on description logics, investigating non-standard semantics, their corresponding computational properties and potential practical reasoning.

Since April 2016, I am an associate doctoral student in the research training group QuantLA.

Awards

Neueste Publikationen

Komplette Publikationsliste anzeigen

Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa
Justification for the Description Logics Knowledge Bases under the Fixed-Domain Semantics
Proceedings of 2nd International Joint Conference on Rules and Reasoning, Lecture Notes in Computer Science, to appear. Springer
Details

Christian Al-Rabaa, Sebastian Rudolph, Lukas Schweizer
Faceted Answer-Set Navigation
Proceedings of the 2nd International Joint Conference on Rules and Reasoning, Lecture Notes in Computer Science, to appear. Springer
Details

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

Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Bound Your Models! How to Make OWL an ASP Modeling Language
In Stefan Ellmauthaler, Claudia Schulz, eds., International Workshop on User-Oriented Logic Programming (IULP), November 2015
Details

Komplette Publikationsliste anzeigen

Lehrveranstaltungen


Abgeschlossene Arbeiten

Quantla-logo.png

QuantLA
Quantitative Logics and Automata

Wolpert-github.png

Wolpertinger
Wolpertinger is fixed-domain reasoner