Evaluating an algorithm for default reasoning (1995)

by I Niemelä, P Simmons
Venue:In Proceedings of the IJCAI-95 Workshop on Applications and Implementations of Nonmonotonic Reasonings Systems