A New Logical framework for Deductive Planning.

Werner Stephan, Susanne Biundo

Browse the full IJCAI paper archive.