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