( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The Virtual Knowledge Graph System Ontop.

, , , , , , , , , и . ISWC (2), том 12507 из Lecture Notes in Computer Science, стр. 259-277. Springer, (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.

Claudia Ines Elena de Theissen

Adrien Elena

Claudia Ines Elena Theissen

Anaxagoras Elenas

Claudia Ines Elena Theissen

 

Другие публикации лиц с тем же именем

UniCalc.LIN: a linear constraint solver for the UniCalc system, , и . CoRR, (2006)Formal verification of neural agents in non-deterministic environments., , , и . Auton. Agents Multi Agent Syst., 36 (1): 6 (2022)OBDA Over Non-Relational DBs, , , , и . Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW~2016), (2016)The Virtual Knowledge Graph System Ontop., , , , , , , , , и . ISWC (2), том 12507 из Lecture Notes in Computer Science, стр. 259-277. Springer, (2020)Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems., , , и . KR, стр. 22-32. (2020)Computing Solutions in OWL 2 QL Knowledge Exchange., , , и . Description Logics, том 1014 из CEUR Workshop Proceedings, стр. 4-16. CEUR-WS.org, (2013)Counterfactual Explanations and Model Multiplicity: a Relational Verification View., , и . KR, стр. 763-768. (2023)Knowledge base exchange: The case of OWL 2 QL., , , и . Artif. Intell., (2016)Expressive Approximations in DL-Lite Ontologies., , и . AIMSA, том 6304 из Lecture Notes in Computer Science, стр. 21-31. Springer, (2010)Query inseparability for ALC ontologies., , , , и . Artif. Intell., (2019)