Pусский
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
Tag reasoning - Это страница 5 - GeneraCodice
Why is this expression (A and ¬A |= C) entailed?
https://www.generacodice.com/ru/articolo/1598017/why-is-this-expression-a-and-a-c-entailed
logic
-
reasoning
-
knowledge-representation
cs.stackexchange
Is applying a formula a kind of reasoning?
https://www.generacodice.com/ru/articolo/1569859/is-applying-a-formula-a-kind-of-reasoning
artificial-intelligence
-
terminology
-
reasoning
cs.stackexchange
What does $\alpha_r\supset\beta_r$ mean in the tolerance definition of System Z?
https://www.generacodice.com/ru/articolo/1560291/what-does-alpha-r-supset-beta-r-mean-in-the-tolerance-definition-of-system-z
logic
-
notation
-
reasoning
cs.stackexchange
Define rules for AllegroGraph triples and how to apply them
https://www.generacodice.com/ru/articolo/1458534/define-rules-for-allegrograph-triples-and-how-to-apply-them
semantic-web
-
allegrograph
-
reasoning
StackOverflow
What's the difference between an inference machine and a semantic reasoner?
https://www.generacodice.com/ru/articolo/1376279/what-s-the-difference-between-an-inference-machine-and-a-semantic-reasoner
artificial-intelligence
-
semantics
-
inference
-
reasoning
StackOverflow
Are there semantic reasoners which are compatible with the Web Ontology Language, running natively on the Mac?
https://www.generacodice.com/ru/articolo/1352824/are-there-semantic-reasoners-which-are-compatible-with-the-web-ontology-language-running-natively-on-the-mac
macos
-
artificial-intelligence
-
semantics
-
owl
-
reasoning
StackOverflow
Рекурсивный разум Jena
https://www.generacodice.com/ru/articolo/1169582/рекурсивный-разум-jena
jena
-
reasoning
StackOverflow
Различия между основными, сложными и терминологическими фактами в базе знаний с использованием логики первого порядка
https://www.generacodice.com/ru/articolo/1124572/различия-между-основными-сложными-и-терминологическими-фактами-в-базе-знаний-с-использованием-логики-первого-порядка
logic
-
terminology
-
first-order-logic
-
reasoning
-
knowledge-representation
cs.stackexchange
Разрешение и неполная база знаний
https://www.generacodice.com/ru/articolo/1108574/разрешение-и-неполная-база-знаний
logic
-
reasoning
-
knowledge-representation
cs.stackexchange
Какова сложность реализации фильтра частиц?
https://www.generacodice.com/ru/articolo/1091217/какова-сложность-реализации-фильтра-частиц
statistics
-
computational-geometry
-
reasoning
-
knowledge-representation
cs.stackexchange
«
2
3
4
5
6
7
»
Результаты найдены: 68