17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020

Event name
17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020
 
Event type
Event for scientific audience
 
Start date
12-09-2020
End date
18-09-2020
 
Location
Rhodes, Greece
Country
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Labai, Nadia ; Simkus, Mantas ; Ortiz de la Fuente, M.Magdalena An ExpTime Upper Bound for ALC with IntegersKonferenzbeitrag Inproceedings 2020
2Gogacz, Tomasz ; Lukumbuzya, Sanja ; Simkus, Mantas ; Ortiz de la Fuente, M.Magdalena Datalog Rewritability and Data Complexity of ALCHOIF with Closed PredicatesKonferenzbeitrag Inproceedings 2020
3Ganian, Robert ; Peitl, Tomáš ; Slivovsky, Friedrich ; Szeider, Stefan Fixed-Parameter Tractability of Dependency QBF with Structural ParametersKonferenzbeitrag Inproceedings 2020
4Gogacz, Tomasz ; Gutierrez-Basulto, Victor ; Gutowski, Albert ; Ibanez Garcia, Yazmin Angelica ; Murlak, Filip On Finite Entailment of Non-Local Queries in Description LogicsKonferenzbeitrag Inproceedings 2020
5Lukumbuzya, Sanja Ontology-Enriched Data Management with Partially Complete DataPräsentation Presentation2020
6Gutierrez-Basulto, Victor ; Ibanez Garcia, Yazmin Angelica ; Schockaert, Steven Plausible Reasoning about EL-Ontologies using Concept InterpolationKonferenzbeitrag Inproceedings2020