That guy in the photo is me

This is Martin Magnusson, a PhD student at the Artificial Intelligence division of Linköping University in Sweden with Patrick Doherty as advisor. My research focuses on logics for reasoning about action and change, but I am also interested in applying logic to planning, natural language understanding, and any key technologies that will be needed for the creation of human-level artificial intelligence.

Intelligent computer games

I'm currently working on automated reasoning for planning and question answering. The technology is being used in a computer adventure game concept based on natural language understanding called ANDI-Land. You can read about it at the project webpage or view a five minute YouTube video demonstration. The research is based on a natural deduction theorem prover for the Temporal Action Logic (TAL). There are some papers about this work in the publications page, but feel free to contact me with questions if you want to know more.

Teaching

I am currently involved in teaching the following courses.
729G06, Programmering och logik
TDDI15, Advanced Programming and Interactivity on the WWW

Contact me

Don't hesitate to visit the contact information page and say hello!