( en | de | ru )

 

Disambiguation of "Botoeva, Elena"

Author of the publication

copydeleteadd this publication to your clipboard
Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems.

, , , and . KR, page 22-32. (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Claudia Ines Elena de Theissen

Adrien Elena

Claudia Ines Elena Theissen

Anaxagoras Elenas

Claudia Ines Elena Theissen

 

Other publications of authors with the same name

UniCalc.LIN: a linear constraint solver for the UniCalc system, , and . CoRR, (2006)Formal verification of neural agents in non-deterministic environments., , , and . Auton. Agents Multi Agent Syst., 36 (1): 6 (2022)The Virtual Knowledge Graph System Ontop., , , , , , , , , and . ISWC (2), volume 12507 of Lecture Notes in Computer Science, page 259-277. Springer, (2020)Computing Solutions in OWL 2 QL Knowledge Exchange., , , and . Description Logics, volume 1014 of CEUR Workshop Proceedings, page 4-16. CEUR-WS.org, (2013)Counterfactual Explanations and Model Multiplicity: a Relational Verification View., , and . KR, page 763-768. (2023)OBDA Over Non-Relational DBs, , , , and . Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW~2016), (2016)Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems., , , and . KR, page 22-32. (2020)Beyond OWL 2 QL in OBDA: Rewritings and Approximations., , , , , and . AAAI, page 921-928. AAAI Press, (2016)The Virtual Knowledge Graph System Ontop (Extended Abstract)., , , , , , , , , and . Description Logics, volume 2663 of CEUR Workshop Proceedings, CEUR-WS.org, (2020)Representability in DL-Lite_R Knowledge Base Exchange., , , , and . Description Logics, volume 846 of CEUR Workshop Proceedings, CEUR-WS.org, (2012)