Annotated probabilistic temporal logic: approximate fixpoint implementation

DOI10.1145/2159531.2159535MaRDI QIDQ2946661zbMATH OpenOpenAlexWikidataFDO

Authors Paulo Shakarian, Gerardo Simari, V. S. Subrahmanian

Publication date 17 September 2015

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2159531.2159535

zbMATH Keywords

imprecise probabilitiestemporal reasoningprobabilistic reasoningthreadsfrequency functions

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Annotated probabilistic temporal logic
• Abduction in annotated probabilistic temporal logic
• Super-Solutions
• Probabilistic propositional temporal logics
• Temporalization of Probabilistic Propositional Logic

Cited in

(4)

• Cost-based temporal reasoning
• Abduction in annotated probabilistic temporal logic
• Annotated probabilistic temporal logic
• Super-Solutions

This page was built for publication: Annotated probabilistic temporal logic: approximate fixpoint implementation

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