Title: Extensions of logic programming
Subjects: Congresses, Logic programming