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