Results 31 to 40 of about 1,138,309 (354)
A Three-Valued Semantics for Typed Logic Programming [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Types in logic programming have focused on conservative approximations of program semantics by regular types, on one hand, and on type systems based on a prescriptive semantics defined for typed programs, on the other.
João Barbosa +2 more
doaj +1 more source
Meta-analysis of the functional neuroimaging literature with probabilistic logic programming
Scientific Reports, 2022 Inferring reliable brain-behavior associations requires synthesizing evidence from thousands of functional neuroimaging studies through meta-analysis.
Majd Abdallah +3 more
doaj +1 more source
Optimizing Probabilities in Probabilistic Logic Programs [PDF]
Theory and Practice of Logic Programming 21 (2021) 543-556, 2021 Probabilistic Logic Programming is an effective formalism for encoding problems characterized by uncertainty. Some of these problems may require the optimization of probability values subject to constraints among probability distributions of random variables.
arxiv +1 more source
Amortised Resource Analysis with Separation Logic [PDF]
Logical Methods in Computer Science, 2011 Type-based amortised resource analysis following Hofmann and Jost---where resources are associated with individual elements of data structures and doled out to the programmer under a linear typing discipline---have been successful in providing concrete ...
Robert Atkey
doaj +1 more source
Tegal Tourism Object Selection Decision Support System Using Fuzzy Logic
IJCCS (Indonesian Journal of Computing and Cybernetics Systems), 2022 There are many agencies that have databases but are left without proper management. For example, in tourist attractions in Kota & Kab. Tegal, along with the rapid development of tourism technology, the tourism industry requires the tourism industry to ...
Dika Permana Putra +2 more
doaj +1 more source
Towards automatic Maude specifications generation from C functions
Journal of Innovation Information Technology and Application, 2023 In this paper, we aim to contribute to the knowledge about how imperative C functions can be transformed to Maude functional and system modules respectively.
fateh boutekkouk
doaj +1 more source
A logic programming approach to the verification of functional-logic programs [PDF]
Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming, 2004 We address in this paper the question of how to verify program properties in modern functional logic languages, where it is allowed the presence of non-deterministic functions with call-time choice semantics. The main problem to face is that for such kind of programs equational reasoning is not valid.
José Miguel Cleva +2 more
openaire +2 more sources
Typing weak MSOL properties [PDF]
Logical Methods in Computer Science, 2017 We consider lambda-Y-calculus as a non-interpreted functional programming language: the result of the execution of a program is its normal form that can be seen as the tree of calls to built-in operations.
Sylvain Salvati, Igor Walukiewicz
doaj +1 more source
Comprehension of computer code relies primarily on domain-general executive brain regions
eLife, 2020 Computer programming is a novel cognitive tool that has transformed modern society. What cognitive and neural mechanisms support this skill? Here, we used functional magnetic resonance imaging to investigate two candidate brain systems: the multiple ...
Anna A Ivanova +7 more
doaj +1 more source
Algorithmic construction of explicit numerical schemes and visualization of objects and processes in the computational experiment in fluid mechanics [PDF]
Компьютерные исследования и моделирование, 2015 The paper discusses the design and verification stages in the development of complex numerical algorithms to create direct computational experiments in fluid mechanics.
A. B. Degtyarev +2 more
doaj +1 more source