Comirit: Commonsense Reasoning by Integrating Simulation and Logic
From Tetherless World Wiki
\begin{bibtex} @inproceedings{DBLP:conf/agi/JohnstonW08,
author = {Benjamin Johnston and
Mary-Anne Williams},
title = {Comirit: Commonsense Reasoning by Integrating Simulation
and Logic},
booktitle = {AGI},
year = {2008},
pages = {200-211},
crossref = {DBLP:conf/agi/2008},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
\end{bibtex}
