Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

Picture for Mikhail Soutchanski

Mikhail Soutchanski

Ryerson University

Planning as Theorem Proving with Heuristics


Apr 01, 2023
Mikhail Soutchanski, Ryan Young

Add code

* Submitted for a review. Copyright (C) 2023 by Mikhail Soutchanski and Ryan Young 

   Access Paper or Ask Questions

A Logical Semantics for PDDL+


Nov 23, 2021
Vitaliy Batusov, Mikhail Soutchanski

Add code

* Proceedings of the International Conference on Automated Planning and Scheduling, vol.29, pp.40-48, 2019 
* arXiv admin note: text overlap with arXiv:1807.04861 

   Access Paper or Ask Questions

Towards A Logical Account of Epistemic Causality


Oct 31, 2019
Shakil M. Khan, Mikhail Soutchanski

Add code

* EPTCS 308, 2019, pp. 1-16 
* In Proceedings CREST 2019, arXiv:1910.13641 

   Access Paper or Ask Questions

Hybrid Temporal Situation Calculus


Jul 12, 2018
Vitaliy Batusov, Giuseppe De Giacomo, Mikhail Soutchanski

Add code


   Access Paper or Ask Questions

Progression of Decomposed Local-Effect Action Theories


May 12, 2017
Denis Ponomaryov, Mikhail Soutchanski

Add code


   Access Paper or Ask Questions