First-Orderized ResearchCyc: Expressivity and Efficiency in a Common-Sense Ontology

First Page		Document Content
Date: 2015-06-15 14:07:47 Logic Abstraction Mathematical logic Reasoning Ontology Automated theorem proving Predicate logic Knowledge representation Cyc Knowledge representation and reasoning Upper ontology Semantic reasoner		First-Orderized ResearchCyc: Expressivity and Efficiency in a Common-Sense Ontology Add to Reading List Source URL: www.cyc.com Download Document from Source Website File Size: 92,69 KB Share Document on Facebook

	Overcoming Ontology Mismatches in Transactions with Self-Describing Service Agents Drew McDermott Yale University DocID: 1xV4m - View Document
	PDF Document DocID: 1xQTu - View Document
	PDF Document DocID: 1xBPs - View Document
	PDF Document DocID: 1xzsE - View Document
	PDF Document DocID: 1xlL7 - View Document