Logics in artificial intelligence. European workshop, JELIA '96, Évora, Portugal, September 30 -- October 3, 1996. Proceedings
scientific article; zbMATH DE number 931316