Specifying transactions for extended abduction (1998)

by K Inoue, C Sakama
Venue:In: Proceedings of the International Joint Conferences on Artificial intelligence (IJCAI