Mikhail Soutchanski

3 papers in the IJCAI proceedings

IJCAI 2015

On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies

with Diego Calvanese, Giuseppe De Giacomo

Details PDF

IJCAI 2007

Decidable Reasoning in a Modified Situation Calculus

with Yilan Gu

Details PDF

IJCAI 2001

An On-line Decision-Theoretic Golog Interpreter

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings