Autor der Publikation

Verifying Strategic Abilities of Neural-Symbolic Multi-agent Systems.

, , , und . NeSy, Volume 3432 von CEUR Workshop Proceedings, Seite 427. CEUR-WS.org, (2023)

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)When Are Description Logic Knowledge Bases Indistinguishable?, , , , und . IJCAI, Seite 4240-4246. AAAI Press, (2015)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)Virtual OBDA over Expressive Ontologies: Rewritings and Approximations., , , , , und . Description Logics, Volume 1577 von CEUR Workshop Proceedings, CEUR-WS.org, (2016)A Note on Computing Certain Answers to Queries over Incomplete Databases., , , und . AMW, Volume 1912 von CEUR Workshop Proceedings, CEUR-WS.org, (2017)Exchanging Description Logic Knowledge Bases., , , , und . KR, AAAI Press, (2012)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)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)