TALplanner in the Third International Planning Competition: Extensions and Control Rules. - Jonas Kvarnström; Martin Magnusson 001 (J. Artif. Intell. Res., 2003)

Towards a Logical Analysis of Biochemical Reactions. - Patrick Doherty 001; Steve Kertes; Martin Magnusson 001; Andrzej Szalas (ECAI, 2004)

Towards a Logical Analysis of Biochemical Pathways. - Patrick Doherty 001; Steve Kertes; Martin Magnusson 001; Andrzej Szalas (JELIA, 2004)

Approximate databases: a support tool for approximate reasoning. - Patrick Doherty 001; Martin Magnusson 001; Andrzej Szalas (J. Appl. Non Class. Logics, 2006)

Deductive Planning with Temporal Constraints. - Martin Magnusson 001; Patrick Doherty 001 (AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, 2007)

Temporal Action Logic for Question Answering in an Adventure Game. - Martin Magnusson 001; Patrick Doherty 001 (AGI, 2008)

Logical Agents for Language and Action. - Martin Magnusson 001; Patrick Doherty 001 (AIIDE, 2008)

Planning, Executing, and Monitoring Communication in a Logic-based Multi-agent System. - Martin Magnusson 001; David Landén; Patrick Doherty 001 (ECAI, 2008)

Deductive Planning with Inductive Loops. - Martin Magnusson 001; Patrick Doherty 001 (KR, 2008)

TALplanner in IPC-2002: Extensions and Control Rules - Jonas Kvarnström; Martin Magnusson 001 (CoRR, 2011)