Annotated probabilistic temporal logic

DOI10.1145/1877714.1877720MaRDI QIDQ2946632zbMATH OpenOpenAlexWikidataFDO

Authors Paulo Shakarian, Austin Parker, Gerardo Simari, Venkatramana 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/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)

Recommendations

• Annotated probabilistic temporal logic: approximate fixpoint implementation
• Abduction in annotated probabilistic temporal logic
• Probabilistic propositional temporal logics
• A logic for reasoning about time and reliability
• Temporalization of Probabilistic Propositional Logic

Cited in

(6)

• Probabilistic temporal logic with countably additive semantics
• Abduction in annotated probabilistic temporal logic
• Almost-certain eventualities and abstract probabilities in the temporal logic PTL
• Super-Solutions
• Temporalization of Probabilistic Propositional Logic
• Annotated probabilistic temporal logic: approximate fixpoint implementation

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)