Results 1 to 10 of about 7,040,431 (319)
Lifted Variable Elimination for Probabilistic Logic Programming
, 2014 Lifted inference has been proposed for various probabilistic logical frameworks in order to compute the probability of queries in a time that depends on the size of the domains of the random variables rather than the number of instances.
Bellodi, Elena +4 more
core +1 more source
Journal of Information and Organizational Sciences, 2020 A study shows that pair programming can help slow-paced students in completing Introductory Programming assessment. This paper replicates the study on Data Structure course, in which the completion of the assessments does not only rely on logic but also ...
Mewati Ayub +3 more
doaj +1 more source
Research on formal description and verification of automated trust negotiation
Tongxin xuebao, 2011 First,a unified ATN formal framework was presented,into which typical negotiation strategies could be reduced.Second,the formal verification of ATN was defined based on the formal framework.The objectives and procedures of the formal verification of ATN ...
GUAN Shang-yuan 1 +3 more
doaj +2 more sources
Rational programming of history-dependent logic in cellular populations [PDF]
, 2020 Ana Zúñiga +8 more
openalex +1 more source
, 2004 We study conditions for a concurrent construction of proof-nets in the framework developed by Andreoli in recent papers. We define specific correctness criteria for that purpose. We first study closed modules (i.e.
Fouquere, Christophe, Mogbil, Virgile
core +2 more sources
Transformations of Logic Programs with Goals as Arguments
, 2002 We consider a simple extension of logic programming where variables may range over goals and goals may be arguments of predicates. In this language we can write logic programs which use goals as data.
Pettorossi, Alberto, Proietti, Maurizio
core +5 more sources
Meta-analysis of the functional neuroimaging literature with probabilistic logic programming. [PDF]
Sci Rep, 2022 Abdallah M +3 more
europepmc +1 more source
A Hybrid Method for the Modelling and Optimisation of Constrained Search Problems
Foundations of Management, 2014 The paper presents a concept and the outline of the implementation of a hybrid approach to modelling and solving constrained problems. Two environments of mathematical programming (in particular, integer programming) and declarative programming (in ...
Sitek Pawel, Wikarek Jaroslaw
doaj +1 more source
ASPECTE TEORETICE ALE PROGRAMĂRII LOGICE
Studia Universitatis Moldaviae: Stiinte Umanistice, 2008 The present article focuses on some events that contributed to the appearance and evolution of formal logic, logic programming and Prolog programming language.
USM ADMIN
doaj