Mikhail Soutchanski

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

research

∙ 03/23/2023

Planning as theorem proving in situation calculus was abandoned 50 years...

research

∙ 11/23/2021

PDDL+ is an extension of PDDL2.1 which incorporates fully-featured auton...

research

∙ 10/31/2019

Reasoning about observed effects and their causes is important in multi-...

research

∙ 07/12/2018

The ability to model continuous change in Reiter's temporal situation ca...

research

∙ 05/12/2017

In many tasks related to reasoning about consequences of a logical theor...