Abduction in annotated probabilistic temporal logic

DOI10.4230/LIPICS.ICLP.2011.240MaRDI QIDQ2909166zbMATH OpenFDO

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

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)

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

Cited in

(5)

• Annotated probabilistic temporal logic: approximate fixpoint implementation
• Annotated probabilistic temporal logic
• Super-Solutions
• Abductive inference in probabilistic logic programs
• scientific article; zbMATH DE number 1536565 (Why is no real title available?)

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)