AIICS

Martin Magnusson

LiU » IDA » AIICS » marma

Publications

Martin Magnusson and Jonas Kvarnström and Patrick Doherty (2009). Abductive Reasoning with Filtered Circumscription. Proceedings of the 8th Workshop on Nonmonotonic Reasoning, Action and Change (NRAC 2009).

Martin Magnusson and David Landén and Patrick Doherty (2009). Logical Agents that Plan, Execute, and Monitor Communication. 2nd Workshop on Logic and the Simulation of Interaction and Reasoning (LSIR-2).

Martin Magnusson, Patrick Doherty (2009). Planning Speech Acts in a Logic of Action and Change. 25th Workshop of the Swedish Artificial Intelligence Society (SAIS 2009).

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

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

Martin Magnusson (2008). Automated Reasoning Agent Architecture. Doctoral Consortium Poster Session at the 11th International Conference on Principles of Knowledge Representation and Reasoning.

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). 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.

Essays

Martin Magnusson (2008). The Computer Games Manifesto

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