First-Orderized ResearchCyc: Expressivity and Efficiency in a Common-Sense Ontology - Representation theorem - Document - PDFSEARCH.IO

First Page	Meta Content
	First-Orderized ResearchCyc: Expressivity and Efficiency in a Common-Sense Ontology Add to Reading List Document Date: 2015-06-15 14:07:47 Open Document File Size: 92,69 KB Share Result on Facebook

UPDATE

First-Orderized ResearchCyc: Expressivity and Efficiency in a Common-Sense OntologyAdd to Reading List