Title: Logic programming and nonmonotonic reasoning
Subjects: Congresses, Logic programming, Nonmonotonic reasoning, Computer science, Artificial intelligence