Martin Magnusson, Patrick Doherty (2008).
Program synthesis with extra steps. (Before LLMs.)
11th International Conference on Principles of Knowledge Representation and Reasoning (KR 2008).
Martin Magnusson and Patrick Doherty (2008).
I presented this at the very first conference on AGI!
First Conference on Artificial General Intelligence (AGI-08).
View a video demonstrating the game (5 min).
Martin Magnusson (2007).
My "half PhD" thesis. (It's a Swedish thing.)
Licentiate Thesis at Linköping University.
Martin Magnusson and David Landén and Patrick Doherty (2009).
2nd Workshop on Logic and the Simulation of Interaction and Reasoning (LSIR-2).
Martin Magnusson and Jonas Kvarnström and Patrick Doherty (2009).
Proceedings of the 8th Workshop on Nonmonotonic Reasoning, Action and Change (NRAC 2009).
Martin Magnusson, Patrick Doherty (2009).
25th Workshop of the Swedish Artificial Intelligence Society (SAIS 2009).
Martin Magnusson, Patrick Doherty (2008).
4th Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE-08).
Martin Magnusson (2008).
Doctoral Consortium Poster Session at the 11th International Conference on Principles of Knowledge Representation and Reasoning.
Martin Magnusson, David Landén, Patrick Doherty (2008).
18th European Conference on Artificial Intelligence (ECAI 2008).
Presented as a poster.
Martin Magnusson and Patrick Doherty (2007).
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).
International Symposium on Practical Cognitive Agents and Robots (PCAR 2006).
Martin Magnusson (2006).
Knowledge and Reasoning for Language Processing (KRAQ'06).
Patrick Doherty, Martin Magnusson, and Andrzej Szalas (2006).
Journal of Applied Non-Classical Logics.
Martin Magnusson, Patrick Doherty, Andrzej Szalas (2005).
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).
9th European Conference on Logics in Artificial Intelligence (JELIA'04).
Patrick Doherty, Steve Kertes, Martin Magnusson, and Andrzej Szalas (2004).
16th European Conference on Artificial Intelligence (ECAI 2004).
Presented as a poster.
Jonas Kvarnström and Martin Magnusson (2003).
Journal of Artificial Intelligence Research.