Title: Nonmonotonic and inductive logic
Subjects: Logic programming, Congresses, Artificial intelligence