A resolution-based procedure for default theories with extensions

Non-Monotonic Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0030662 ◽

1995 ◽

pp. 101-126 ◽

Cited By ~ 1

Author(s):

Monica D. Barback ◽

Jorge Lobo

Download Full-text