Name Card

Full name Familienname, Vorname
Lutz, Carsten
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-6 of 6 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bienvenu, Meghyn ; Eiter, Thomas ; Lutz, Carsten ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas Query Answering in the Description Logic SBericht Report2010
2Bienvenu, Meghyn ; Eiter, Thomas ; Lutz, Carsten ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas Query Answering in the Description Logic SKonferenzbeitrag Inproceedings 2010
3Eiter, Thomas ; Lutz, Carsten ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas Query answering in description logics with transitive rolesBericht Report2009
4Eiter, Thomas ; Lutz, Carsten ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas Query Answering in Description Logics with Transitive RolesKonferenzbeitrag Inproceedings 2009
5Eiter, Thomas ; Lutz, Carsten ; Ortiz, Magdalena ; Šimkus, Mantas Query Answering in Description Logics: The Knots ApproachKonferenzbeitrag Inproceedings2009
6Eiter, Thomas ; Lutz, Carsten ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas Complexity of Conjunctive Query Answering in Description Logics with Transitive RolesBericht Report2008

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Bonatti-2023-Circumscription in DL-Lite Progress Report-vor.pdf.jpgBonatti, Piero ; Di Stefano, Federica ; Ortiz, Magdalena ; Šimkus, Mantas Circumscription in DL-Lite: Progress ReportInproceedings Konferenzbeitrag 23-Oct-2023
2Lukumbuzya-2023-On the Expressive Power of Ontology-Mediated Queries Capt...-vor.pdf.jpgLukumbuzya, Sanja ; Ortiz de la Fuente, Maria Magdalena ; Simkus, Mantas On the Expressive Power of Ontology-Mediated Queries: Capturing coNPInproceedings Konferenzbeitrag 2023
3Bozzato, Loris ; Eiter, Thomas ; Serafini, Luciano Reasoning with Justifiable Exceptions in $$\mathcal{E}\mathcal{L}_\bot $$ Contextualized Knowledge RepositoriesBuchbeitrag Book Contribution 2019
4Eiter, Thomas ; Gottlob, Georg ; Ortiz, Magdalena ; Šimkus, Mantas Query Answering in the Description Logic Horn-SHIQKonferenzbeitrag Inproceedings 2008
5Ortiz, Magdalena Extending Carin to the Description Logics of the $\mathcal{SH}$ FamilyKonferenzbeitrag Inproceedings 2008
6Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Eiter, Thomas Conjunctive Query Answering in SH using KnotsKonferenzbeitrag Inproceedings 2008
7Herman, Miki ; Pichler, Reinhard Counting Complexity of Minimal Cardinality and Minimal Weight AbductionKonferenzbeitrag Inproceedings 2008