First Page | Document Content | |
---|---|---|
Date: 2016-06-16 21:36:39Logic Reasoning Ontology Rules of inference Automated theorem proving Resolution Cyc Inference Semantic reasoner First-order logic Decision tree model CARINE | AAAI Proceedings TemplateAdd to Reading ListSource URL: www.cogsys.orgDownload Document from Source WebsiteFile Size: 852,06 KBShare Document on Facebook |