Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

UniCalc.LIN: a linear constraint solver for the UniCalc system, , und . CoRR, (2006)OBDA Over Non-Relational DBs, , , , und . Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW~2016), (2016)Formal verification of neural agents in non-deterministic environments., , , und . Auton. Agents Multi Agent Syst., 36 (1): 6 (2022)The Virtual Knowledge Graph System Ontop., , , , , , , , , und . ISWC (2), Volume 12507 von Lecture Notes in Computer Science, Seite 259-277. Springer, (2020)Counterfactual Explanations and Model Multiplicity: a Relational Verification View., , und . KR, Seite 763-768. (2023)Computing Solutions in OWL 2 QL Knowledge Exchange., , , und . Description Logics, Volume 1014 von CEUR Workshop Proceedings, Seite 4-16. CEUR-WS.org, (2013)Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems., , , und . KR, Seite 22-32. (2020)When Are Description Logic Knowledge Bases Indistinguishable?, , , , und . IJCAI, Seite 4240-4246. AAAI Press, (2015)Ontology-based data access - Beyond relational sources., , , , und . Intelligenza Artificiale, 13 (1): 21-36 (2019)Virtual OBDA over Expressive Ontologies: Rewritings and Approximations., , , , , und . Description Logics, Volume 1577 von CEUR Workshop Proceedings, CEUR-WS.org, (2016)