Deductive Planning with Inductive Loops

September 16, 2008Tagged Scientific Publications

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


Automated Reasoning Agent Architecture

September 16, 2008Tagged Scientific Publications, Andi-Land

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