Abduction in annotated probabilistic temporal logic

DOI10.4230/LIPICS.ICLP.2011.240zbMATH Open1245.68056MaRDI QIDQ2909166FDOQ2909166

Authors: Cristian Molinaro, Amy Sliva, V. S. Subrahmanian 

Publication date: 29 August 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_f572.html

Recommendations

• Annotated probabilistic temporal logic: approximate fixpoint implementation
• Annotated probabilistic temporal logic
• Super-Solutions
• Abductive inference in probabilistic logic programs
• Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities

zbMATH Keywords

imprecise probabilitiestemporal reasoningprobabilistic reasoningabductive reasoning

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Probability and inductive logic (03B48) Logic programming (68N17)

Cited In (3)

• Abductive inference in probabilistic logic programs
• Title not available (Why is that?)
• Super-Solutions

This page was built for publication: Abduction in annotated probabilistic temporal logic

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