Title: Logic programming and nonmonotonic reasoning
Subjects: Logic programming, Congresses, Nonmonotonic reasoning