Publications

Martin Magnusson, Patrick Doherty (2008). Logical Agents for Language and Action. 4th Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE-08). Forthcoming.

Martin Magnusson, Patrick Doherty (2008). Deductive Planning with Inductive Loops. 11th International Conference on Principles of Knowledge Representation and Reasoning (KR 2008). Forthcoming.

Martin Magnusson, David Landén, Patrick Doherty (2008). Planning, Executing, and Monitoring Communication in a Logic-based Multi-agent System. 18th European Conference on Artificial Intelligence (ECAI 2008). To be presented as a poster.

Martin Magnusson and Patrick Doherty (2008). Temporal Action Logic for Question Answering in an Adventure Game. First Conference on Artificial General Intelligence (AGI-08). View a video demonstrating the game (4 min), a transcript and video of the talk (10 min), and a video of the ensuing panel discussion (32 min) on virtually embodied AI.

Martin Magnusson (2007). Deductive Planning and Composite Actions in Temporal Action Logic. Licentiate Thesis at Linköping University.

Martin Magnusson and Patrick Doherty (2007). Deductive Planning with Temporal Constraints. 8th International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense'07). View the accompanying video of a UAV mission.

Martin Magnusson and Patrick Doherty (2006). Deductive Planning with Temporal Constraints in TAL. International Symposium on Practical Cognitive Agents and Robots (PCAR 2006).

Patrick Doherty, Martin Magnusson, and Andrzej Szalas (2006). A Support Tool for Approximate Reasoning. Journal of Applied Non-Classical Logics.

Martin Magnusson (2006). Natural Language Understanding using Temporal Action Logic. Knowledge and Reasoning for Language Processing (KRAQ'06).

Martin Magnusson, Patrick Doherty, Andrzej Szalas (2005). An Experimental Platform for Approximate Databases. 3rd joint SAIS-SSL event on Artificial Intelligence and Learning Systems. Presented as a poster.

Patrick Doherty, Steve Kertes, Martin Magnusson, and Andrzej Szalas (2004). Towards a Logical Analysis of Biochemical Pathways. 9th European Conference on Logics in Artificial Intelligence (JELIA'04).

Patrick Doherty, Steve Kertes, Martin Magnusson, and Andrzej Szalas (2004). Towards a Logical Analysis of Biochemical Reactions. 16th European Conference on Artificial Intelligence (ECAI 2004). Presented as a poster.

Jonas Kvarnström and Martin Magnusson (2003). TALplanner in the Third International Planning Competition: Extensions and Control Rules. Journal of Artificial Intelligence Research.

Martin Magnusson (2003). Domain Knowledge in TALplanner. Master's thesis at Linköping University.

BibTeX entries for the publications are available here.

Essays

Martin Magnusson (2008). The Computer Games Manifesto

Martin Magnusson (2006). Mystical Renaissance: Regulations on Scientific Writing