An abductive procedure for the CMS/ATMS

Lecture Notes in Computer Science - Truth Maintenance Systems ◽

10.1007/bfb0037028 ◽

2006 ◽

pp. 34-53 ◽

Author(s):

Katsumi Inoue

Download Full-text