| Fixed-Domain Reasoning for Description Logics SA Gaggl, S Rudolph, L Schweizer 22nd European Conference on Artificial Intelligence (ECAI 2016) 285 …, 2016 | 24 | 2016 |
| Answer Set Programming and CLASP A Tutorial S Hölldobler, L Schweizer Young Scientists’ International Workshop on Trends in Information Processing …, 2014 | 17 | 2014 |
| Advanced Content Analysis: Can Artificial Intelligence Accelerate Theory-Driven Complex Program Evaluation? S Franzen, C Quang, L Schweizer, A Budzier, P Hrstich, S Reissfelder, ... World Bank, 2022 | 9 | 2022 |
| Faceted Answer-Set Navigation C Alrabbaa, S Rudolph, L Schweizer International Joint Conference on Rules and Reasoning, 211-225, 2018 | 8 | 2018 |
| 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 | 8 | 2017 |
| Wolpertinger: A Fixed-Domain Reasoner S Rudolph, L Schweizer, S Tirtarasa International Semantic Web Conference (ISWC), 2017 | 5 | 2017 |
| 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 | 4 | 2019 |
| Justifications for description logic knowledge bases under the fixed-domain semantics S Rudolph, L Schweizer, S Tirtarasa Rules and Reasoning: Second International Joint Conference, RuleML+ RR 2018 …, 2018 | 4 | 2018 |
| Bound Your Models! How to Make OWL an ASP Modeling Language SA Gaggl, S Rudolph, L Schweizer arXiv preprint arXiv:1511.00924, 2015 | 4 | 2015 |
| 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 | 2 | 2021 |
| 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 | 1 | 2023 |
| SEABirds: An AHP Approach to Solve the Angry Birds AI Challenge A Nuradiansyah, E Ziberi, S Tirtarasa, L Schweizer | 1 | 2016 |
| 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 |
| 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 |
Sebastian RudolphTechnische Universität Dresden and ScaDS.AIVerified email at tu-dresden.de
