Results 11 to 20 of about 224,550 (312)

Probabilistic Inductive Logic Programming [PDF]

open access: green, 2008
Probabilistic inductive logic programming, sometimes also called statistical relational learning, addresses one of the central questions of artificial intelligence: the integration of probabilistic reasoning with first order logic representations and machine learning.
Luc De Raedt, Kristian Kersting
  +7 more sources

Neural Probabilistic Logic Programming in Discrete-Continuous Domains [PDF]

open access: greenConference on Uncertainty in Artificial Intelligence, 2023
Neural-symbolic AI (NeSy) allows neural networks to exploit symbolic background knowledge in the form of logic. It has been shown to aid learning in the limited data regime and to facilitate inference on out-of-distribution data.
Lennert De Smet   +5 more
openalex   +3 more sources

Nonground Abductive Logic Programming with Probabilistic Integrity Constraints [PDF]

open access: greenTheory and Practice of Logic Programming, 2021
Uncertain information is being taken into account in an increasing number of application fields. In the meantime, abduction has been proved a powerful tool for handling hypothetical reasoning and incomplete knowledge.
Elena Bellodi   +4 more
openalex   +3 more sources

Probabilistic Logic Programming Semantics For Procedural Content Generation

open access: bronzeArtificial Intelligence and Interactive Digital Entertainment Conference, 2023
Research in procedural content generation (PCG) has recently heralded two major methodologies: machine learning (PCGML) and declarative programming. The former shows promise by automating the specification of quality criteria through latent patterns in ...
Abdelrahman Madkour   +4 more
openalex   +3 more sources

Studying Transaction Fees in the Bitcoin Blockchain with Probabilistic Logic Programming

open access: yesInformation, 2019
In Bitcoin, if a miner is able to solve a computationally hard problem called proof of work, it will receive an amount of bitcoin as a reward which is the sum of the fees for the transactions included in a block plus an amount inversely proportional to ...
Damiano Azzolini   +2 more
doaj   +2 more sources

Explanations as Programs in Probabilistic Logic Programming [PDF]

open access: greenFuji International Symposium on Functional and Logic Programming, 2022
The generation of comprehensible explanations is an essential feature of modern artificial intelligence systems. In this work, we consider probabilistic logic programming, an extension of logic programming which can be useful to model domains with ...
Germán Vidal
openalex   +2 more sources

Probabilistic (logic) programming concepts [PDF]

open access: yesMachine Learning, 2015
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
De Raedt, Luc, Kimmig, Angelika
openaire   +5 more sources

Probabilistic call by push value [PDF]

open access: yesLogical Methods in Computer Science, 2019
We introduce a probabilistic extension of Levy's Call-By-Push-Value. This extension consists simply in adding a " flipping coin " boolean closed atomic expression. This language can be understood as a major generalization of Scott's PCF encompassing both
Thomas Ehrhard, Christine Tasson
doaj   +3 more sources

A probabilistic logic programming event calculus [PDF]

open access: yesTheory and Practice of Logic Programming, 2014
AbstractWe present a system for recognising human activity given a symbolic representation of video content. The input of our system is a set of time-stamped short-term activities (STA) detected on video frames. The output is a set of recognised long-term activities (LTA), which are pre-defined temporal combinations of STA.
Skarlatidis, Anastasios   +3 more
openaire   +3 more sources

Probabilistic Logic Programming with Beta-Distributed Random Variables [PDF]

open access: yesAAAI Conference on Artificial Intelligence, 2018
We enable aProbLog—a probabilistic logical programming approach—to reason in presence of uncertain probabilities represented as Beta-distributed random variables.
F. Cerutti   +3 more
semanticscholar   +4 more sources

Home - About - Disclaimer - Privacy