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

abductive reasoningimprecise probabilitiesprobabilistic reasoningtemporal reasoning

Mathematics Subject Classification ID

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

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

(6)

• Abduction with probabilistic logic programming under the distribution semantics
• Abductive inference in probabilistic logic programs
• Annotated probabilistic temporal logic
• Annotated probabilistic temporal logic: approximate fixpoint implementation
• Super-Solutions
• 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)