Title: Logics in artificial intelligence
First published: 1998
Subjects: Artificial intelligence, Congresses, Logic, Symbolic and mathematical, Symbolic and mathematical Logic