Title: Advances in logic programming and automated reasoning
Subjects: Logic programming, Expert systems (Computer science), Artificial intelligence