Title: KISS 88
Subjects: Artificial intelligence, Congresses, Symbolic and mathematical Logic