Learning Effect Axioms via Probabilistic Logic Programming

DOI10.4230/OASIcs.ICLP.2017.8zbMath1428.68286OpenAlexW2788012528MaRDI QIDQ5240229

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

probabilistic logic programmingevent recognitionreasoning under uncertaintyevent calculuseffect axioms

Mathematics Subject Classification ID

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

Uses Software

• ProbLog
• PITA
• StanfordCoreNLP
• MCINTYRE

Cites Work

• A logic-based calculus of events
• Incremental learning of event definitions with inductive logic programming
• Probabilistic (logic) programming concepts
• The independent choice logic for modelling multiple agents under uncertainty
• Markov logic networks
• Tabling and answer subsumption for reasoning on logic programs with annotated disjunctions
• Lifted Variable Elimination for Probabilistic Logic Programming
• Probabilistic Event Calculus for Event Recognition
• On the implementation of the probabilistic logic programming language ProbLog
• The PITA system: Tabling and answer subsumption for reasoning under uncertainty
• Structure learning of probabilistic logic programs by searching the clause space
• A probabilistic logic programming event calculus
• Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics
• Logic Programming
• The Independent Choice Logic and Beyond
• Unnamed Item
• Unnamed Item

This page was built for publication: Learning Effect Axioms via Probabilistic Logic Programming