Enumerating Minimally Revised Specifications Using Dualization

New Frontiers in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/11780496_21 ◽

2006 ◽

pp. 182-189 ◽

Cited By ~ 4

Author(s):

Ken Satoh ◽

Takeaki Uno

Download Full-text