An attempt to formalise a non-trivial benchmark problem in common sense reasoning

Murray Shanahan. An attempt to formalise a non-trivial benchmark problem in common sense reasoning. Artificial Intelligence, 153(1-2):141-165, 2004. [doi]

Abstract

Abstract is missing.