( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies.

, , и . IJCAI, стр. 2840-2846. AAAI Press, (2015)

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.

Mikhail Dobrynin

Mikhail Salzmann

Mikhail Karnevskiy

Mikhail Pletyukhov

Mikhail Sofin

 

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

Modeling and Reasoning with Decision-Theoretic Goals., , , и . ER, том 8217 из Lecture Notes in Computer Science, стр. 19-32. Springer, (2013)Modeling Organic Chemistry and Planning Organic Synthesis., , и . GCAI, том 36 из EPiC Series in Computing, стр. 176-195. EasyChair, (2015)On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies., , и . IJCAI, стр. 2840-2846. AAAI Press, (2015)Planning as Theorem Proving with Heuristics., и . IPS-RCRA-SPIRIT@AI*IA, том 3585 из CEUR Workshop Proceedings, CEUR-WS.org, (2023)Heuristic Planning for Hybrid Dynamical Systems with Constraint Logic Programming., и . IPS-RCRA-SPIRIT@AI*IA, том 3585 из CEUR Workshop Proceedings, CEUR-WS.org, (2023)Reasoning about Large Taxonomies of Actions., и . AAAI, стр. 931-937. AAAI Press, (2008)Situation Calculus Semantics for Actual Causality., и . AAAI, стр. 1744-1752. AAAI Press, (2018)Organic Synthesis as Artificial Intelligence Planning., , и . SWAT4LS, том 1114 из CEUR Workshop Proceedings, CEUR-WS.org, (2013)A description logic based situation calculus., и . Ann. Math. Artif. Intell., 58 (1-2): 3-83 (2010)Reasoning about Dynamic Depth Profiles., и . ECAI, том 178 из Frontiers in Artificial Intelligence and Applications, стр. 30-34. IOS Press, (2008)