Author:Mikhail Soutchanski

Keyphrases

Description Logic, knowledge representation, logics for reasoning about actions, organic chemistry synthesis problem, progression, reasoning about action, Regression, Reiter's Basic action theories, Situation Calculus, the projection problem.