( en | de | ru )

 

Disambiguierung von "Botoeva, Elena"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
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.

Claudia Ines Elena de Theissen

Adrien Elena

Claudia Ines Elena Theissen

Anaxagoras Elenas

Claudia Ines Elena de Theissen

 

Weitere Publikationen von Autoren mit dem selben Namen

UniCalc.LIN: a linear constraint solver for the UniCalc system, , und . CoRR, (2006)Formal verification of neural agents in non-deterministic environments., , , und . Auton. Agents Multi Agent Syst., 36 (1): 6 (2022)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)Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems., , , und . KR, Seite 22-32. (2020)Knowledge base exchange: The case of OWL 2 QL., , , und . Artif. Intell., (2016)Expressive Approximations in DL-Lite Ontologies., , und . AIMSA, Volume 6304 von Lecture Notes in Computer Science, Seite 21-31. Springer, (2010)Query inseparability for ALC ontologies., , , , und . Artif. Intell., (2019)