( en | de | ru )

 

Disambiguation of "Soutchanski, Mikhail"

Author of the publication

copydeleteadd this publication to your clipboard
On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies.

, , and . IJCAI, page 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. You can also use the button next to the name to display some publications already assigned to the person.

Mikhail Shamonin

Mikhail Dobrynin

Mikhail Salzmann

Mikhail Karnevskiy

Mikhail Filippov

 

Other publications of authors with the same name

On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies., , and . IJCAI, page 2840-2846. AAAI Press, (2015)Modeling and Reasoning with Decision-Theoretic Goals., , , and . ER, volume 8217 of Lecture Notes in Computer Science, page 19-32. Springer, (2013)Modeling Organic Chemistry and Planning Organic Synthesis., , and . GCAI, volume 36 of EPiC Series in Computing, page 176-195. EasyChair, (2015)Situation Calculus Semantics for Actual Causality., and . AAAI, page 1744-1752. AAAI Press, (2018)Planning as Theorem Proving with Heuristics., and . IPS-RCRA-SPIRIT@AI*IA, volume 3585 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Heuristic Planning for Hybrid Dynamical Systems with Constraint Logic Programming., and . IPS-RCRA-SPIRIT@AI*IA, volume 3585 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Organic Synthesis as Artificial Intelligence Planning., , and . SWAT4LS, volume 1114 of CEUR Workshop Proceedings, CEUR-WS.org, (2013)Reasoning about Large Taxonomies of Actions., and . AAAI, page 931-937. AAAI Press, (2008)Reasoning about Dynamic Depth Profiles., and . ECAI, volume 178 of Frontiers in Artificial Intelligence and Applications, page 30-34. IOS Press, (2008)A Logical Semantics for PDDL+., and . CoRR, (2021)