BibTeX

@InProceedings{MD:08,
  author = 	 {Martin Magnusson and Patrick Doherty},
  title = 	 {Temporal Action Logic for Question Answering in an Adventure Game},
  booktitle = 	 {Artificial General Intelligence 2008: Proceedings of the First AGI Conference},
  year =	 2008,
  editor =	 {Pei Wang and Ben Goertzel and Stan Franklin},
  publisher =	 {{IOS} Press},
  pages =	 {236--247}
}

@PhdThesis{M:07,
  author = 	 {Martin Magnusson},
  title = 	 {Deductive Planning and Composite Actions in Temporal Action Logic},
  school = 	 {Link\"oping University},
  year = 	 2007,
  type =	 {Licentiate Thesis},
  month =	 {September},
  note =	 {Available at \url{http://www.martinmagnusson.com/publications/magnusson-2007-lic.pdf}}
}

@InProceedings{MD:07,
  author = 	 {Martin Magnusson and Patrick Doherty},
  title = 	 {Deductive Planning with Temporal Constraints},
  booktitle = 	 {Logical Formalizations of Commonsense Reasoning: Papers from 2007 AAAI Spring Symposium},
  year =	 2007,
  editor =	 {Eyal Amir and Vladimir Lifschitz and Rob Miller},
  number =	 {Technical Report SS-07-05},
  publisher =	 {{AAAI} Press},
  note =	 {\url{http://www.ucl.ac.uk/commonsense07/papers/magnusson-and-doherty.pdf}}
}

@InProceedings{MD:06,
  author = 	 {Martin Magnusson and Patrick Doherty},
  title = 	 {Deductive Planning with Temporal Constraints using {TAL}},
  booktitle = 	 {Proceedings of the International Symposium on Practical Cognitive 
Agents and Robots ({PCAR}'06)},
  pages =	 {141--152},
  year =	 {2006},
  editor =	 {Xiaoping Chen and Wei Liu and Mary-Anne Williams}
}

@Article{DMS:06,
  author = 	 {Patrick Doherty and Martin Magnusson and Andrzej Sza{\l}as},
  title = 	 {Approximate Databases: A Support Tool for Approximate Reasoning},
  journal = 	 {Journal of Applied Non-Classical Logics},
  year = 	 2006,
  volume =	 16,
  number =	 {1--2},
  pages =	 {87--117}
}

@InProceedings{M:06,
  author = 	 {Martin Magnusson},
  title = 	 {Natural Language Understanding using Temporal Action Logic},
  booktitle = 	 {Proceedings of the Workshop on Knowledge and Reasoning for 
Language Processing {KRAQ}'06 at {EACL}'06},
  pages =	 {29--36},
  year =	 {2006}
}

@InProceedings{MDS:05a,
  author	= {Martin Magnusson and Patrick Doherty and Andrzej Sza{\l}as},
  title		= {An Experimental Platform for Approximate Databases},
  booktitle	= {Proceedings of the 3rd Joint meeting of the Swedish Artificial Intelligence Society 
and the Swedish Society for Learning Systems SAIS-SSLS'05},
  year		= {2005},
  pages		= {124--133},
  editor	= {Peter Funk and Thorsteinn Rognvaldsson and Ning Xiong}
}

@InProceedings{DKMS:04b,
  author	= {Patrick Doherty and Steve Kertes and Martin Magnusson and Andrzej Sza{\l}as},
  title		= {Towards a Logical Analysis of Biochemical Pathways},
  booktitle	= {Proceedings of the 9th Conference on Artificial Intelligence {JELIA}'04},
  year		= {2004},
  series 	= {LNAI},
  volume 	= {3229},
  pages		= {667--679},
  editor 	= {Jos{\'e} J{\'u}lio Alferes and Jo{\~a}o Alexandre Leite},
  publisher	= {Springer Verlag}
}

@InProceedings{DKMS:04a,
  author	= {Patrick Doherty and Steve Kertes and Martin Magnusson and Andrzej Sza{\l}as},
  title		= {Towards a Logical Analysis of Biochemical Reactions (Extended abstract)},
  booktitle	= {Proceedings of the 16th European Conference on Artificial Intelligence {ECAI}'04},
  year		= {2004},
  pages		= {997--998},
  editor 	= {Ramon L{\'o}pez de M{\'a}ntaras and Lorenza Saitta},
  publisher	= {IOS Press}
}

@Article{KM:03a,
  author	= {Jonas Kvarnstr\"om and Martin Magnusson},
  title		= {{TAL}planner in the Third International Planning Competition: Extensions 
and Control Rules},
  journal	= {Journal of Artificial Intelligence Research},
  year		= {2003},
  volume	= {20},
  pages		= {343--377}
}

@MastersThesis{M:03,
  author = 	 {Martin Magnusson},
  title = 	 {Domain Knowledge in {TAL}planner},
  school = 	 {Link\"opings universitet},
  year = 	 2003,
  note = 	 {{LiTH-IDA-Ex-02/104}}
}