Title: Methodologies for intelligent systems, 3
Subjects: Artificial intelligence, Congresses, Reasoning, Theory of Knowledge