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 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, 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).
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).
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.
Pages for Scientific Publications