Generative Datalog and answer set programming (extended abstract)

DOI10.1007/978-3-031-43619-2_1MaRDI QIDQ6545514

Mario Alviano

Publication date: 29 May 2024

zbMATH Keywords

Datalognon-measurable setsprobabilistic reasoninganswer set programmingstable model semantics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference
• The ASP system DLV2
• Markov logic networks
• Probabilistic logic programming for hybrid relational domains
• Extending ProbLog with Continuous Distributions
• The magic of logical inference in probabilistic programming
• Probabilistic Databases
• CP-logic: A language of causal probabilistic events and its relation to logic programming
• Markov Logic: An Interface Layer for Artificial Intelligence
• Probabilistic reasoning with answer sets
• Computing LP^MLN using ASP and MLN solvers
• Inference and learning in probabilistic logic programs using weighted Boolean formulas
• Multi-shot ASP solving with clingo
• Declarative Probabilistic Programming with Datalog
• CLP( $\cal{BN}$ ): Constraint Logic Programming for Probabilistic Knowledge
• The Independent Choice Logic and Beyond

This page was built for publication: Generative Datalog and answer set programming (extended abstract)