Towards Efficient Calculi for Resource-Oriented Deductive Planning.

Stefan Brning

Browse the full LPAR paper archive.