I am interested in both theoretical and practical aspects of logic-based intelligent systems for ordinary computer users, program developers and scientific experts.
My starting point is the successful "Federated Logic Conference" in Copenhagen 2002 with 1181 contributing researchers from 42 countries, including the former CEO of IBM Europe, Dr. Henkel, who gave the main talk: "Artificial Intelligence: Disappointment or Hope?"
I describe my personal view on the possible uses of logic in this interdisciplinary research area spanning computer science, mathematics, linguistics and formal philosphy.
I also explain with as few technical details as possible my recent research on so-called paraconsistency in flexible query-answering systems.