Zobrazeno 1 - 10
of 11 596
pro vyhledávání: '"Deduction"'
Autor:
Franz, Timothy, author
Publikováno v:
Maimon's Essay on a New Logic or Theory of Thinking : A Translation and Commentary, 2024.
Externí odkaz:
https://doi.org/10.1093/oso/9780197658420.003.0011
Publikováno v:
Zhejiang Daxue xuebao. Lixue ban, Vol 51, Iss 6, Pp 732-739 (2024)
First-order logic automated theorem proving is an important research branch in the field of artificial intelligence, and the clause selection strategy plays an important role in improving the capability of theorem proving. Multi-clause contradiction
Externí odkaz:
https://doaj.org/article/b7c52b83bf6343c3852bf6676f10b6ff
Autor:
Victor-Tapio Rangel-Kuoppa
Publikováno v:
Discover Energy, Vol 4, Iss 1, Pp 1-28 (2024)
Abstract In this article, the application of the Newton–Cotes quadrature formula, the 3/8 rule, the Boole’s rule, and order 5 and 6 integration techniques, are explored to more accurately calculate the Co-Content function, of Current–Voltage (I
Externí odkaz:
https://doaj.org/article/53acfc1691224ddca8becaadea5e57b0
Publikováno v:
EPTCS 379, 2023, pp. 287-298
Two level credibility-limited revision is a non-prioritized revision operation. When revising by a two level credibility-limited revision, two levels of credibility and one level of incredibility are considered. When revising by a sentence at the hig
Externí odkaz:
http://arxiv.org/abs/2307.05062
Autor:
Lester, Rebecca1 rlester@stanford.edu
Publikováno v:
Working Papers (Faculty) - Stanford Graduate School of Business. Feb2019, p1-77. 78p.
Autor:
Janoušková, Jana, author, Sobotovičová, Šárka, author
Publikováno v:
Modeling Economic Growth in Contemporary Czechia