Results 11 to 20 of about 6,452,641 (347)
Logic Programming with Post-Quantum Cryptographic Primitives for Smart Contract on Quantum-Secured Blockchain [PDF]
Entropy, 2021 This paper investigates the usage of logic and logic programming in the design of smart contracts. Our starting point is the logic-based programming language for smart contracts used in a recently proposed framework of quantum-secured blockchain, called ...
Xin Sun, Piotr Kulicki, Mirek Sopek
doaj +2 more sources
The Logic of Logic Programming [PDF]
arXiv, 2023 Our position is that logic programming is not programming in the Horn clause sublogic of classical logic, but programming in a logic of (inductive) definitions. Thus, the similarity between prototypical Prolog programs (e.g., member, append, ...) and how inductive definitions are expressed in mathematical text, is not coincidental but essential.
Denecker, Marc, Warren, David S.
arxiv +3 more sources
Programming in logic without logic programming [PDF]
Theory and Practice of Logic Programming, 2016 In previous work, we proposed a logic-based framework in which computation is the execution of actions in an attempt to make reactive rules of the form if antecedent then consequent true in a canonical model of a logic program determined by an initial ...
R. Kowalski, F. Sadri
semanticscholar +6 more sources
Design and Validation of an Augmented Reality Teaching System for Primary Logic Programming Education [PDF]
Sensors, 2022 Programming is a skill that requires high levels of logical thinking and problem-solving abilities. According to the Curriculum Guidelines for the 12-Year Basic Education currently implemented in Taiwan, programming has been included in the mandatory ...
Chi-Yi Tsai, Yu-Cheng Lai
doaj +2 more sources
Communications of the ACM, 1985 Logic programming is programming by description. The programmer describes the application area and lets the program choose specific operations. Logic programs are easier to create and enable machines to explain their results and actions.
Michael Genesereth, Matthew L. Ginsberg
openalex +3 more sources
Logic and logic programming [PDF]
Communications of the ACM, 1992 John A. Robinson
openalex +3 more sources
Inductive logic programming at 30 [PDF]
Machine-mediated learning, 2021 Inductive logic programming (ILP) is a form of logic-based machine learning. The goal is to induce a hypothesis (a logic program) that generalises given training examples and background knowledge.
Andrew Cropper +3 more
semanticscholar +1 more source
DeepStochLog: Neural Stochastic Logic Programming [PDF]
AAAI Conference on Artificial Intelligence, 2021 Recent advances in neural-symbolic learning, such as DeepProbLog, extend probabilistic logic programs with neural predicates. Like graphical models, these probabilistic logic programs define a probability distribution over possible worlds, for which ...
Thomas Winters +3 more
semanticscholar +1 more source
Coalgebraic Semantics for Probabilistic Logic Programming [PDF]
Logical Methods in Computer Science, 2021 Probabilistic logic programming is increasingly important in artificial intelligence and related fields as a formalism to reason about uncertainty. It generalises logic programming with the possibility of annotating clauses with probabilities. This paper
Tao Gu, Fabio Zanasi
doaj +1 more source
Turning 30: New Ideas in Inductive Logic Programming [PDF]
International Joint Conference on Artificial Intelligence, 2020 Common criticisms of state-of-the-art machine learning include poor generalisation, a lack of interpretability, and a need for large amounts of training data.
Andrew Cropper +2 more
semanticscholar +1 more source