Title: Logic and Argumentation
Subjects: Artificial intelligence