Name Card

Full name Familienname, Vorname
Thielscher, Michael
 

Contributing Publications Mitbeteiligte Publikationen

Results 1-7 of 7 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Lehtonen, Tuomo ; Wallner, Johannes P. ; Järvisalo, Matti An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ FrameworkKonferenzbeitrag Inproceedings 2020
2Labai, Nadia ; Simkus, Mantas ; Ortiz de la Fuente, M.Magdalena An ExpTime Upper Bound for ALC with IntegersKonferenzbeitrag Inproceedings 2020
3Gogacz, Tomasz ; Gutierrez-Basulto, Victor ; Gutowski, Albert ; Ibanez Garcia, Yazmin Angelica ; Murlak, Filip On Finite Entailment of Non-Local Queries in Description LogicsKonferenzbeitrag Inproceedings 2020
4Gutierrez-Basulto, Victor ; Ibanez Garcia, Yazmin Angelica ; Schockaert, Steven Plausible Reasoning about EL-Ontologies using Concept InterpolationKonferenzbeitrag Inproceedings2020
5Gogacz, Tomasz ; Lukumbuzya, Sanja ; Simkus, Mantas ; Ortiz de la Fuente, M.Magdalena Datalog Rewritability and Data Complexity of ALCHOIF with Closed PredicatesKonferenzbeitrag Inproceedings 2020
6Niskanen, Andreas ; Wallner, Johannes Peter ; Järvisalo, Matti Extension Enforcement under Grounded Semantics in Abstract ArgumentationKonferenzbeitrag Inproceedings 2018
7Delgrande, James P. ; Schaub, Torsten ; Tompits, Hans A General Framework for Expressing Preferences in Causal Reasoning and PlanningKonferenzbeitrag Inproceedings 2005