Learning effect axioms via probabilistic logic programming

DOI10.4230/OASICS.ICLP.2017.8MaRDI QIDQ5240229zbMATH OpenOpenAlexFDO

Authors Rolf Schwitter

Publication date 24 October 2019

Full work available at URL https://drops.dagstuhl.de/opus/volltexte/2018/8457/pdf/OASIcs-ICLP-2017-8.pdf/

zbMATH Keywords

effect axiomsevent calculusevent recognitionprobabilistic logic programmingreasoning under uncertainty

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• Probabilistic event calculus for event recognition
• Foundations for a probabilistic event calculus
• scientific article; zbMATH DE number 1950779
• Probabilistic situation calculus
• Inference and learning in probabilistic logic programs using weighted Boolean formulas

Cites work

• A logic-based calculus of events
• A probabilistic logic programming event calculus
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 1926646 (Why is no real title available?)
• Incremental learning of event definitions with inductive logic programming
• Lifted variable elimination for probabilistic logic programming
• Logic Programming
• Markov logic networks
• On the implementation of the probabilistic logic programming language ProbLog
• Probabilistic (logic) programming concepts
• Probabilistic event calculus for event recognition
• Structure learning of probabilistic logic programs by searching the clause space
• Tabling and answer subsumption for reasoning on logic programs with annotated disjunctions
• The Independent Choice Logic and Beyond
• The independent choice logic for modelling multiple agents under uncertainty
• The PITA system: tabling and answer subsumption for reasoning under uncertainty
• Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics

Cited in

(1)

• An axiomatization of learning rules when counterfactuals are not observed

Describes a project that uses

Uses Software

• ProbLog
• MCINTYRE
• PITA
• StanfordCoreNLP

This page was built for publication: Learning effect axioms via probabilistic logic programming

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