Results 1 to 10 of about 8,649 (191)
Повесть о юноше и чародее в славянской книжности
Studia Ceranea, 2022 A Narrative about a Young Man and the Magician Mesites in the Slavonic Medieval Tradition. This article is devoted to the study of the Narrative about the Young Man and Magician that widely circulated in the Medieval Slavonic tradition.
Irina M. Gritsevskaya +1 more
doaj +1 more source
Source Code Verification for Embedded Systems using Prolog [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 System relevant embedded software needs to be reliable and, therefore, well tested, especially for aerospace systems. A common technique to verify programs is the analysis of their abstract syntax tree (AST).
Frank Flederer +3 more
doaj +1 more source
Analogical Reasoning With Deep Learning-Based Symbolic Processing
IEEE Access, 2021 The authors propose analogical reasoning systems based on first-order predicate logic using deep learning. The proposed systems consist of a model combining recursive neural networks and Word2Vec. When unknown data is input in this trained model, similar
Hiroshi Honda, Masafumi Hagiwara
doaj +1 more source
The Carbon Footprint Methodology in CFOOD Project [PDF]
International Journal of Electronics and Telecommunications, 2020 In the paper, the research on the process of optimizing the carbon footprint to obtain the low-carbon products is presented. The optimization process and limits were analyzed based on the CFOOD project co-financed by the Polish Research and Development ...
Zofia Stawska +5 more
doaj +1 more source
Особенности программной реализации логических задач на языке Prolog
Известия Алтайского государственного университета, 2021 Одним из перспективных направлений использования языка Prolog является решение логических задач. В данном исследовании обозначен подход поиска ответа на основе процедуры генерации состояния и процедуры проверки.
Ольга Николаевна Половикова +3 more
doaj +1 more source
Advanced Engineering Research, 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 must
D. V. Zdor
doaj +1 more source
Brief Report on the Advanced Use of Prolog for Data Warehouses
Applied Sciences, 2022 Data warehouses have demonstrated their applicability in numerous application fields such as agriculture, the environment and health. This paper proposes a general framework for defining a data warehouse and its aggregations using logic programming.
François Pinet
doaj +1 more source
Dynamic flood webmapping: an operational and cost-limited tool to optimize crisis management
E3S Web of Conferences, 2016 Due to strong climate variations and the multiplication of flood events, protection based strategies are no longer sufficient to handle a watershed scale crisis. Monitoring, prediction and alert procedures are required to ensure effective crisis and post-
Strappazzon Quentin +3 more
doaj +1 more source
Vojnotehnički Glasnik, 1996 The paper presents a possibility to formulate a program of communication personnel work in an operating unit, especially in the domain of planning and organization. The program is written in PROLOG (Programming in Logic).
Đorđe Matić , Dragan Acketa
doaj +1 more source
Acta Universitatis Sapientiae: Informatica, 2016 The backward-chaining inference strategy of Prolog is inefficient for a number of problems. The article proposes Contralog: a Prolog-conform, forward-chaining language and an inference engine that is implemented as a preprocessor-compiler to Prolog.
Kilián Imre
doaj +1 more source