Mikhail Soutchanski

Planning as Theorem Proving with Heuristics

Apr 01, 2023
Mikhail Soutchanski, Ryan Young

Figure 2 for Planning as Theorem Proving with Heuristics

Figure 3 for Planning as Theorem Proving with Heuristics

Figure 4 for Planning as Theorem Proving with Heuristics

* 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

Figure 2 for A Logical Semantics for PDDL+

* 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

Figure 2 for Towards A Logical Account of Epistemic Causality

Figure 3 for Towards A Logical Account of Epistemic Causality

* 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

Access Paper or Ask Questions

Progression of Decomposed Local-Effect Action Theories

May 12, 2017
Denis Ponomaryov, Mikhail Soutchanski

Access Paper or Ask Questions