<--- 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

Meta–Gradient Boosted Decision Tree Model for Weight and Target Learning Yury Ustinovskiy Valentina Fedorova Gleb Gusev Pavel Serdyukov

DocID: 1tqdY - View Document

Decision tree for MARC Records Are you looking for records for a Pick and Choose model, Online Book Package, or

DocID: 1tmvV - View Document

Regression analysis / Statistics / Estimation theory / Nonparametric statistics / Parametric statistics / Polynomial regression / Local regression / Decision tree learning / Kernel regression / Ordinary least squares / Nonparametric regression / Linear regression

Chapter 5 Local Regress ion Trees In this chapter we explore the hypothesis of improving the accuracy of regression trees by using smoother models at the tree leaves. Our proposal consists of using local regression model

DocID: 1rjdf - View Document

Graph theory / Mathematics / Model checking / Theoretical computer science / Graph / Binary decision diagram / Tree / Circuit / Symbolic trajectory evaluation / Signal-flow graph / Topology

Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation ∗ Department Yan Chen∗, Yujing He∗ , Fei Xie∗ and Jin Yang† of Computer Science, Portland State University, Portland, OR 97207. {c

DocID: 1riqj - View Document

Information science / Knowledge representation / Technical communication / Semantic Web / Ontology / Information / Philosophy / Upper ontology / OntoClean / Class / Model theory / Web Ontology Language

A Method for Evaluating Ontologies Introducing the BFO-Rigidity Decision Tree Wizard A. Patrice Seyed 1 and Stuart C. Shapiro Department of Computer Science and Engineering Center for Cognitive Science University at Buff

DocID: 1re3b - View Document