Zobrazeno 1 - 10
of 1 672
pro vyhledávání: '"Logical programming"'
Autor:
Polina Ovsiannikova, Antti Pakonen, Dmitry Muromsky, Maksim Kobzev, Viktor Dubinin, Valeriy Vyatkin
Publikováno v:
IEEE Open Journal of the Industrial Electronics Society, Vol 5, Pp 616-631 (2024)
The design of safety-critical cyber–physical systems requires a rigorous check of their operation logic, as well as an analysis of their overall instrumentation and control (I&C) architectures. In this article, we focus on the latter and use formal
Externí odkaz:
https://doaj.org/article/e68d9eaddc47479392ed391638d38f68
Autor:
Sergey Goncharov, Andrey Nechesov
Publikováno v:
J, Vol 6, Iss 1, Pp 48-57 (2023)
A lot of libraries for neural networks are written for Turing-complete programming languages such as Python, C++, PHP, and Java. However, at the moment, there are no suitable libraries implemented for a p-complete logical programming language L. This
Externí odkaz:
https://doaj.org/article/a1a34c2bf92f4ef9b4d228bc0af62f25
Autor:
D. V. Zdor
Publikováno v:
Advanced Engineering Research, Vol 21, Iss 2, Pp 200-206 (2021)
Introduction. The organization of branches and repetitions in the context of logical programming is considered by an example of the Prolog language. The fundamental feature of the program in a logical programming language is the fact that a computer
Externí odkaz:
https://doaj.org/article/0734335df61c4e889a6ff3bfb8ed93a0
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Sergey Goncharov, Andrey Nechesov
Publikováno v:
Mathematics, Vol 10, Iss 1, p 113 (2021)
The problems associated with the construction of polynomial complexity computer programs require new techniques and approaches from mathematicians. One of such approaches is representing some class of polynomial algorithms as a certain class of speci
Externí odkaz:
https://doaj.org/article/b33068e527e445c7b40a702f4559f30f
Publikováno v:
NaUKMA Research Papers. Computer Science; Vol. 4 (2021): NaUKMA Research Papers. Computer Science; 108-112
Наукові записки НаУКМА. Комп'ютерні науки; Том 4 (2021): Наукові записки НаУКМА. Комп’ютерні науки; 108-112
Наукові записки НаУКМА. Комп'ютерні науки; Том 4 (2021): Наукові записки НаУКМА. Комп’ютерні науки; 108-112
The work examines the current problems of the spread of use of logical programming in the development of commercial multi-platform software applications, tools for convenient development of a modern graphical interface to the logical programs. Librar
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::37f89b9ae9c13d0abbd1282f70000afd
https://doi.org/10.18523/2617-3808.2021.4.108-112
https://doi.org/10.18523/2617-3808.2021.4.108-112
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
S. I. Shapovalova
Publikováno v:
Mathematical and computer modelling. Series: Technical sciences. :125-139
The article proposes a method of solving logical puzzles on the basis of machine learning. The method is designed for the preliminary formalization of tasks in the form of description of properties and relations between them. Because each property ha
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::35ea18251770d92150c9d148fce588f2
https://doi.org/10.32626/2308-5916.2020-21.125-139
https://doi.org/10.32626/2308-5916.2020-21.125-139
Publikováno v:
Education and Technologies Journal. 11:15-22
New trends in the development of society in the digital age determine the growing role of artificial intelligence (AI). This determines the need for its formal and informal study in different levels and in different volumes in both classroom and extr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c7d6853435ba3b82528a686c111cc29b
https://doi.org/10.26883/2010.201.2151
https://doi.org/10.26883/2010.201.2151
Autor:
Campana, Edriano Carlos
Publikováno v:
Repositório Institucional da UNESP
Universidade Estadual Paulista (UNESP)
instacron:UNESP
Universidade Estadual Paulista (UNESP)
instacron:UNESP
Submitted by Edriano Carlos Campana (edriano.campana@unesp.br) on 2021-09-21T17:15:30Z No. of bitstreams: 1 campana_ec_dr_bauru.pdf: 2232273 bytes, checksum: c8c91686d46d8907f2fd839b70773cda (MD5) Rejected by Lucilene Cordeiro da Silva Messias null (
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::2db3ea66c3fd25e71b472971ffff077f
