Title: Non-monotonic extensions of logic programming
Subjects: Logic programming, Congresses, Nonmonotonic reasoning