中国
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
完整文章
类别
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
你写
用户
登录
登记
找回密码
标签
语言标签
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
标签knowledge-representation - 这是页2 - GeneraCodice
Why is this expression (A and ¬A |= C) entailed?
https://www.generacodice.com/cn/articolo/1598017/why-is-this-expression-a-and-a-c-entailed
logic
-
reasoning
-
knowledge-representation
cs.stackexchange
Can lambda-calculus be used for knowledge representation?
https://www.generacodice.com/cn/articolo/1586837/can-lambda-calculus-be-used-for-knowledge-representation
lambda-calculus
-
curry-howard
-
knowledge-representation
-
computational-linguistics
cs.stackexchange
Minimum variable size if the information are coded in non-binary system
https://www.generacodice.com/cn/articolo/1563021/minimum-variable-size-if-the-information-are-coded-in-non-binary-system
knowledge-representation
cs.stackexchange
What is the difference between cyber security ontologies and scenario ontologies in this system?
https://www.generacodice.com/cn/articolo/1546614/what-is-the-difference-between-cyber-security-ontologies-and-scenario-ontologies-in-this-system
terminology
-
knowledge-representation
-
ontologies
cs.stackexchange
What are the practical uses of ontologies?
https://www.generacodice.com/cn/articolo/1535798/what-are-the-practical-uses-of-ontologies
artificial-intelligence
-
robotics
-
applied-theory
-
knowledge-representation
-
ontologies
cs.stackexchange
Semantic information collections on the web. (Semantic Wikipedia)
https://www.generacodice.com/cn/articolo/1527760/semantic-information-collections-on-the-web-semantic-wikipedia
semantics
-
knowledge-representation
-
reference-request
-
data-sets
-
ontologies
cs.stackexchange
使用一阶逻辑,知识库中基本,复杂和术语事实之间的差异
https://www.generacodice.com/cn/articolo/1124572/使用一阶逻辑-知识库中基本-复杂和术语事实之间的差异
logic
-
terminology
-
first-order-logic
-
reasoning
-
knowledge-representation
cs.stackexchange
一阶逻辑分辨率统一
https://www.generacodice.com/cn/articolo/1118863/一阶逻辑分辨率统一
artificial-intelligence
-
first-order-logic
-
knowledge-representation
cs.stackexchange
语义网络本体论吗?
https://www.generacodice.com/cn/articolo/1118468/语义网络本体论吗
terminology
-
knowledge-representation
-
ontologies
cs.stackexchange
MGU和可变标准化-CNF
https://www.generacodice.com/cn/articolo/1117156/mgu和可变标准化-cnf
artificial-intelligence
-
logic
-
first-order-logic
-
knowledge-representation
cs.stackexchange
«
1
2
3
4
5
»
发现结果: 47