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 - Benjamin Williams - Document - PDFSEARCH.IO

First Page	Meta Content
	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 List Document Date: 2012-04-27 22:26:08 Open Document File Size: 993,61 KB Share Result on Facebook Country Australia / United Kingdom / / Facility University of Technology / / IndustryTerm software system / search facilities / tableaux algorithm / given tableaux algorithm / software agents / high-level search / physical law / tableaux-based reasoning systems / Proof search facilities / tableaux systems / search strategy / Web reasoning / deductive machinery / Web reasoners / purpose reasoning systems / commonsense reasoning systems / search queues / basic algorithm / / Organization Logic Benjamin JOHNSTON and Mary-Anne WILLIAMS Faculty of Information Technology / University of Technology / Sydney / / Position Queen / forward / engineer / / ProgrammingLanguage D / Prolog / / Technology Information Technology / machine learning / Simulation / tableaux algorithm / given tableaux algorithm / basic algorithm / / SocialTag Reasoning Automated theorem proving Artificial intelligence Non-classical logic Knowledge representation Method of analytic tableaux Reasoning system Semantic reasoner First-order logic Logic

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 simulatioAdd to Reading List