José Júlio Alferes Luís Moniz Pereira Preface: Logics for Artificial Intelligence. 1-3 1998 20 J. Autom. Reasoning 1 db/journals/jar/jar20.html#AlferesP98