Semirings for probabilistic and neuro-symbolic logic programming

V Derkinderen, R Manhaeve, PZ Dos Martires… - International Journal of …, 2024 - Elsevier
The field of probabilistic logic programming (PLP) focuses on integrating probabilistic
models into programming languages based on logic. Over the past 30 years, numerous …

Beyond graph neural networks with lifted relational neural networks

G Šourek, F Železný, O Kuželka - Machine Learning, 2021 - Springer
We introduce a declarative differentiable programming framework, based on the language of
Lifted Relational Neural Networks, where small parameterized logic programs are used to …

[HTML][HTML] Semiring programming: A semantic framework for generalized sum product problems

V Belle, L De Raedt - International Journal of Approximate Reasoning, 2020 - Elsevier
To solve hard problems, AI relies on a variety of disciplines such as logic, probabilistic
reasoning, machine learning and mathematical programming. Although it is widely accepted …

Optimizing probabilities in probabilistic logic programs

D Azzolini, F Riguzzi - Theory and Practice of Logic Programming, 2021 - cambridge.org
Probabilistic logic programming is an effective formalism for encoding problems
characterized by uncertainty. Some of these problems may require the optimization of …

A grounded theory approach to security policy elicitation

SN Foley, V Rooney - Information & Computer Security, 2018 - emerald.com
Purpose In this paper, the authors consider how qualitative research techniques that are
used in applied psychology to understand a person's feelings and needs provides a means …

Lifted Relational Neural Networks: From Graphs to Deep Relational Learning

G Šír, F Železný, O Kuželka - Compendium of Neurosymbolic …, 2023 - ebooks.iospress.nl
Abstract Lifted Relational Neural Networks (LRNNs) were introduced in 2015 [1] as a
framework for combining logic programming with neural networks for efficient learning of …

Knowledge Compilation and Counting: an Algebraic Journey

V Derkinderen, L De Raedt - 2023 - lirias.kuleuven.be
The journey captured by this dissertation centers around knowledge compilation, model
counting, and their role within state-of-the-art inference algorithms for probabilistic logic …

[图书][B] Deep Learning with Relational Logic Representations

G Šír - 2021 - search.proquest.com
In the recent years, we have seen tremendous resurgence of neural networks, applied with
great success in highly diverse domains, ranging from speech recognition to game playing …

[PDF][PDF] Inductive logic programming: Challenges

K Inoue, H Ohwada, A Yamamoto - … of the AAAI Conference on Artificial …, 2016 - ojs.aaai.org
Inductive Logic Programming: Challenges Page 1 Inductive Logic Programming:
Challenges Katsumi Inoue National Institute of Informatics Tokyo, Japan inoue@nii.ac.jp …

Extensions and Applications of Probabilistic Logic Programming

D Azzolini - 2022 - sfera.unife.it
Abstract Symbolic Artificial Intelligence has been considered''Good Old-Fashioned Artificial
Intelligence''since it usually represents knowledge through explicit symbols, such as first …