Title: Methodologies for intelligent systems, 4
Subjects: Artificial intelligence, Congresses, Reasoning, Symbolic and mathematical Logic, Theory of Knowledge, Knowledge, theory of, Logic, symbolic and mathematical