 Date: 2012-04-27 22:26:08Reasoning Automated theorem proving Artificial intelligence Non-classical logic Knowledge representation Method of analytic tableaux Reasoning system Semantic reasoner First-order logic Logic Mathematical logic Science | |  Comirit: Commonsense Reasoning by Integrating Simulation and Logic Benjamin JOHNSTON and Mary-Anne WILLIAMS Faculty of Information Technology, University of Technology, Sydney, Australia Abstract. Rich computer simulatio
Add to Reading ListSource URL: comirit.comDownload Document from Source Website File Size: 993,61 KBShare Document on Facebook
|
