article

Quantitative temporal reasoning

Authors:

E. A. Emerson,

A. K. Mok,

A. P. Sistla,

J. SrinivasanAuthors Info & Claims

Real-Time Systems, Volume 4, Issue 4

Pages 331 - 352

https://doi.org/10.1007/BF00355298

Published: 01 December 1992 Publication History

Abstract

No abstract available.

Cited By

View all

Chatterjee KDoyen LGorla D(2021)Stochastic processes with expected stopping timeProceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science10.1109/LICS52264.2021.9470595(1-13)Online publication date: 29-Jun-2021
https://dl.acm.org/doi/10.1109/LICS52264.2021.9470595
Akintunde MBotoeva EKouvaros PLomuscio A(2021)Formal verification of neural agents in non-deterministic environmentsAutonomous Agents and Multi-Agent Systems10.1007/s10458-021-09529-336:1Online publication date: 9-Nov-2021
https://dl.acm.org/doi/10.1007/s10458-021-09529-3
Akintunde MBotoeva EKouvaros PLomuscio AEl Fallah Seghrouchni ASukthankar GAn BYorke-Smith N(2020)Formal Verification of Neural Agents in Non-deterministic EnvironmentsProceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems10.5555/3398761.3398770(25-33)Online publication date: 5-May-2020
https://dl.acm.org/doi/10.5555/3398761.3398770
Show More Cited By

Index Terms

Quantitative temporal reasoning
1. Computer systems organization
  1. Embedded and cyber-physical systems
  2. Real-time systems
2. Theory of computation

Recommendations

Probabilistic quantitative temporal reasoning
SAC '17: Proceedings of the Symposium on Applied Computing

Temporal reasoning, in the form of propagation of temporal constraints, is an important topic in Artificial Intelligence. The current literature in the area is moving from the treatment of "crisp" temporal constraints to fuzzy or probabilistic ...
Using incomplete quantitative knowledge in qualitative reasoning
AAAI'88: Proceedings of the Seventh AAAI National Conference on Artificial Intelligence

Incomplete knowledge of the structure of mechanisms is an important fact of life in reasoning, commonsense or expert, about the physical world. Qualitative simulation captures an important kind of incomplete, ordinal, knowledge, and predicts the set of ...
Combining qualitative and quantitative constraints in temporal reasoning
AAAI'91: Proceedings of the ninth National conference on Artificial intelligence - Volume 1

This paper presents a general model for temporal reasoning, capable of handling both qualitative and quantitative information. This model allows the representation and processing of all types of constraints considered in the literature so far, including ...

Comments

Information & Contributors

Information

Published In

Real-Time Systems Volume 4, Issue 4

Dec. 1992

97 pages

ISSN:0922-6443

Editors:
John A. Stankovic
Univ. of Massachusetts, Amherst
,
Wolfgang A. Halang
Fern Univ.
,
Mario Tokoro
Keio Univ., Japan

Issue’s Table of Contents

Publisher

Kluwer Academic Publishers

United States

Publication History

Published: 01 December 1992

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

45
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 01 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Chatterjee KDoyen LGorla D(2021)Stochastic processes with expected stopping timeProceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science10.1109/LICS52264.2021.9470595(1-13)Online publication date: 29-Jun-2021
https://dl.acm.org/doi/10.1109/LICS52264.2021.9470595
Akintunde MBotoeva EKouvaros PLomuscio A(2021)Formal verification of neural agents in non-deterministic environmentsAutonomous Agents and Multi-Agent Systems10.1007/s10458-021-09529-336:1Online publication date: 9-Nov-2021
https://dl.acm.org/doi/10.1007/s10458-021-09529-3
Akintunde MBotoeva EKouvaros PLomuscio AEl Fallah Seghrouchni ASukthankar GAn BYorke-Smith N(2020)Formal Verification of Neural Agents in Non-deterministic EnvironmentsProceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems10.5555/3398761.3398770(25-33)Online publication date: 5-May-2020
https://dl.acm.org/doi/10.5555/3398761.3398770
Baader FBorgwardt SKoopmann POzaki AThost V(2020)Metric Temporal Description Logics with Interval-Rigid NamesACM Transactions on Computational Logic10.1145/339944321:4(1-46)Online publication date: 11-Aug-2020
https://dl.acm.org/doi/10.1145/3399443
Hustadt UOzaki ADixon C(2020)Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via TranslationsJournal of Automated Reasoning10.1007/s10817-020-09541-464:8(1553-1610)Online publication date: 1-Dec-2020
https://dl.acm.org/doi/10.1007/s10817-020-09541-4
Chatterjee KDoyen LBouyer P(2019)Graph planning with expected finite horizonProceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science10.5555/3470152.3470188(1-13)Online publication date: 24-Jun-2019
https://dl.acm.org/doi/10.5555/3470152.3470188
Goranko VKuusisto ARönnholm R(2018)Game-Theoretic Semantics for Alternating-Time Temporal LogicACM Transactions on Computational Logic10.1145/317999819:3(1-38)Online publication date: 30-Aug-2018
https://dl.acm.org/doi/10.1145/3179998
Tran NChiba YAoki THaddad HWainwright RChbeir R(2018)Qualitative and quantitative analysis with scheduling policies in model checkingProceedings of the 33rd Annual ACM Symposium on Applied Computing10.1145/3167132.3167332(1873-1880)Online publication date: 9-Apr-2018
https://dl.acm.org/doi/10.1145/3167132.3167332
Lepri DÁbrahám EÖlveczky P(2015)Sound and complete timed CTL model checking of timed Kripke structures and real-time rewrite theoriesScience of Computer Programming10.1016/j.scico.2014.06.00699:C(128-192)Online publication date: 1-Mar-2015
https://dl.acm.org/doi/10.1016/j.scico.2014.06.006
Pan HLi YCao YMa Z(2015)Model checking fuzzy computation tree logicFuzzy Sets and Systems10.1016/j.fss.2014.07.008262:C(60-77)Online publication date: 1-Mar-2015
https://dl.acm.org/doi/10.1016/j.fss.2014.07.008
Show More Cited By

Abstract

Cited By

Index Terms

Recommendations

Probabilistic quantitative temporal reasoning

Using incomplete quantitative knowledge in qualitative reasoning

Combining qualitative and quantitative constraints in temporal reasoning

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations