<--- Back to Details
First PageDocument Content
Logic / Reasoning / Ontology / Rules of inference / Automated theorem proving / Resolution / Cyc / Inference / Semantic reasoner / First-order logic / Decision tree model / CARINE
Date: 2016-06-16 21:36:39
Logic
Reasoning
Ontology
Rules of inference
Automated theorem proving
Resolution
Cyc
Inference
Semantic reasoner
First-order logic
Decision tree model
CARINE

AAAI Proceedings Template

Add to Reading List

Source URL: www.cogsys.org

Download Document from Source Website

File Size: 852,06 KB

Share Document on Facebook

Similar Documents

Computability theory / Theoretical computer science / Automated planning and scheduling / Artificial intelligence / Cognitive science / Mathematics / Partial-order planning / Planning Domain Definition Language / Intelligent agent / Computability / Algorithm / Philosophy of artificial intelligence

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