Applications of protected circumscription

7th International Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/bfb0047134 ◽

2006 ◽

pp. 414-425 ◽

Cited By ~ 1

Author(s):

Jack Minker ◽

Donald Perlis

Download Full-text