Logics for AI and Information Systems – A Thematic workshop of EPIA’01

Authors

Salvador Abreu, José Júlio Alferes,