Title: Logic programming and knowledge representation
Subjects: Logic programming, Knowledge representation (Information theory), Congresses