My main research interests are artificial intelligence, knowledge representation, reasoning under uncertainty, computational logic, diagnosis, probabilistic argumentation systems, reasoning about actions, decision theoretic planning, intelligent agents, and preference elicitation.
My main research interests are artificial intelligence, knowledge representation, reasoning under uncertainty, computational logic, diagnosis, probabilistic argumentation systems, reasoning about actions, decision theoretic planning, intelligent agents, and preference elicitation.
In general, I am interested in the questions: What should an agent do based on its beliefs, abilities and preferences? How can we acquire and efficiently use information to make better decisions? I am currently working mostly on existential uncertainty, lifted inference, Semantic Science, and applications in spatial decision making, medicine and computational sustainability. I am particularly interested in probability and utility modelling, reasoning and learning over rich hypothesis spaces, with multiple possible objects with the vocabularies mediated by ontologies.
I have an on-line long-term research overview and a list of all of my papers (many are on-line), recent talks, and some code to play with. See also AILog2 (a simple logical representation and reasoning system with explanation facilities, declarative debugging, ask-the-user, abduction and probabilistic reasoning; formerly CILog).
For the best overviews of my research see: "Agents, Decisions, Beliefs, Preferences, Science and Politics" and "Semantic Science: Ontologies, Data and Probabilistic Theories" for a vision of what we are trying to do with semantic science and "The Independent Choice Logic and Beyond" for an overview of what we know how to do with rich probabilistic logical relational languages, and what challenges remain. See also my listing in the International Directory of Logicians.