Statistical relational extension of answer set programming

DOI10.1007/978-3-031-31414-8_4MaRDI QIDQ6132960zbMATH OpenFDO

Authors Joohyung Lee, Zhun Yang

Publication date 17 August 2023

Published in Reasoning Web. Causality, Explanations and Declarative Knowledge (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-31414-8_4

zbMATH Keywords

answer-set programmingstatistical relational learning

Mathematics Subject Classification ID

Logic programming (68N17) Learning and adaptive systems in artificial intelligence (68T05)

Recommendations

• scientific article; zbMATH DE number 7047283
• Computing \(\mathrm{LP}^{\mathrm{MLN}}\) using ASP and MLN solvers
• Generative Datalog and answer set programming (extended abstract)
• Algorithmic Learning Theory
• Probabilistic Inductive Logic Programming

Cites work

• A probabilistic extension of action language \(\mathcal{BC}+\)
• Action language \(\mathcal{BC}+\)
• ASP-Core-2 input language format
• ASSAT: computing answer sets of a logic program by SAT solvers
• Bridging commonsense reasoning and probabilistic planning via a probabilistic action language
• Computing \(\mathrm{LP}^{\mathrm{MLN}}\) using ASP and MLN solvers
• Elaboration tolerant representation of Markov decision process via decision-theoretic extension of probabilistic action language \(p\mathcal{BC}+\)
• Exploiting contextual knowledge for hybrid classification of visual objects
• scientific article; zbMATH DE number 7047283 (Why is no real title available?)
• scientific article; zbMATH DE number 7453146 (Why is no real title available?)
• Inference and learning in probabilistic logic programs using weighted Boolean formulas
• Logic Programming
• Markov logic networks
• Stable models and circumscription
• Strongly equivalent logic programs
• Tight logic programs

Cited in

(1)

• Generative Datalog and answer set programming (extended abstract)

This page was built for publication: Statistical relational extension of answer set programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6132960)