Back to Results
First PageMeta Content
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

Document Date: 2015-06-15 14:07:47


Open Document

File Size: 92,69 KB

Share Result on Facebook