A FRAMEWORK FOR REASONING ABOUT TIME AND RELIABILITY

被引：0
|
作者：
HANSSON, H
JONSSON, B
机构：
来源：
REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS | 1989年
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：102 / 111
页数：10
相关论文
共 50 条
  • [41] Annotating, extracting and reasoning about time and events
    Schilder, Frank
    Katz, Graham
    Pustejovsky, James
    ANNOTATING, EXTRACTING AND REASONING ABOUT TIME AND EVENTS, 2007, 4795 : 1 - +
  • [42] Reasoning about Norms, Obligations, Time and Agents
    Broersen, Jan
    van der Torre, Leendert
    AGENT COMPUTING AND MULTI-AGENT SYSTEMS, 2009, 5044 : 171 - +
  • [43] Complete axiomatizations for reasoning about knowledge and time
    Halpern, JY
    Van der Meyden, R
    Vardi, MY
    SIAM JOURNAL ON COMPUTING, 2004, 33 (03) : 674 - 703
  • [44] Graph theoretic models for reasoning about time
    Golumbic, MC
    ADVANCES IN COMPUTER SCIENCE - ASIAN 2004, PROCEEDINGS, 2004, 3321 : 352 - 362
  • [45] MANS REASONING ABOUT DISEASE - TIME AND PLACE
    BLOCH, H
    NEW YORK STATE JOURNAL OF MEDICINE, 1980, 80 (12) : 1888 - 1891
  • [46] REASONING ABOUT REAL-TIME SYSTEMS
    PETERS, JF
    AUSTRALIAN COMPUTER JOURNAL, 1993, 25 (04): : 135 - 147
  • [47] Retrieval and reasoning of multimedia documents about time
    Chang, AY
    ITRE 2005: 3rd International Conference on Information Technology: Research and Education, Proceedings, 2005, : 95 - 99
  • [48] Reasoning about numeric and symbolic time information
    Mouhoub, M
    12TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2000, : 164 - 171
  • [49] EFFICIENT ALGORITHMS FOR QUALITATIVE REASONING ABOUT TIME
    GEREVINI, A
    SCHUBERT, L
    ARTIFICIAL INTELLIGENCE, 1995, 74 (02) : 207 - 248
  • [50] Reasoning about Repairability of Workflows at Design Time
    Tagni, Gaston
    ten Teije, Annette
    van Harmelen, Frank
    BUSINESS PROCESS MANAGEMENT WORKSHOPS, 2009, 17 : 455 - 467
12345