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)The Virtual Knowledge Graph System Ontop., , , , , , , , , und . ISWC (2), Volume 12507 von Lecture Notes in Computer Science, Seite 259-277. Springer, (2020)Formal verification of neural agents in non-deterministic environments., , , und . Auton. Agents Multi Agent Syst., 36 (1): 6 (2022)Computing Solutions in OWL 2 QL Knowledge Exchange., , , und . Description Logics, Volume 1014 von CEUR Workshop Proceedings, Seite 4-16. CEUR-WS.org, (2013)Counterfactual Explanations and Model Multiplicity: a Relational Verification View., , und . KR, Seite 763-768. (2023)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)ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants., , , , , , , , , und . ARCH, Volume 74 von EPiC Series in Computing, Seite 107-139. EasyChair, (2020)