ARC: An extended ATMS based on directed CAT-correct resolution

Lecture Notes in Computer Science - Truth Maintenance Systems ◽

10.1007/bfb0037032 ◽

2006 ◽

pp. 107-124 ◽

Author(s):

Pierre Tayrac

Download Full-text