Annotated probabilistic temporal logic

DOI10.1145/1877714.1877720zbMATH Open1352.03043OpenAlexW2045914854WikidataQ130866195 ScholiaQ130866195MaRDI QIDQ2946632

Venkatramana V. S. Subrahmanian, Gerardo Simari, Paulo Shakarian, Austin Parker

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/1877714.1877720

zbMATH Keywords

imprecise probabilitiestemporal reasoningprobabilistic reasoningthreadsfrequency functions

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Logic programming (68N17) Temporal logic (03B44) Logic in computer science (03B70)

Cited In (2)

• Probabilistic temporal logic with countably additive semantics
• Super-Solutions

This page was built for publication: Annotated probabilistic temporal logic

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