MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations

DOI10.1017/S1471068422000199OpenAlexW4214798594WikidataQ114116301 ScholiaQ114116301MaRDI QIDQ5038471

Matthias Lanzinger, Georg Gottlob, Stefano Sferrazza

Publication date: 30 September 2022

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2202.01718

zbMATH Keywords

logic programminglogicDatalogŁukasiewiczfuzzy logic programminguncertainty in AI\(Datalog^\pm\)

Mathematics Subject Classification ID

Logic programming (68N17)

Uses Software

• ProbLog

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics
• Data exchange: semantics and query answering
• Metamathematics of fuzzy logic
• The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm
• \(\mathrm{IKT}^\omega\) and Łukasiewicz-models
• Reasoning under uncertainty in knowledge graphs
• Markov logic networks
• Taming the Infinite Chase: Query Answering under Expressive Relational Constraints
• Probabilistic Databases
• Gödel Logics – A Survey
• Fuzzy logic programming
• Fuzzy logic programming

This page was built for publication: MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations