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 条
  • [21] Historical Reasoning: Towards a Framework for Analyzing Students’ Reasoning about the Past
    Jannet van Drie
    Carla van Boxtel
    Educational Psychology Review, 2008, 20 : 87 - 110
  • [22] Reasoning about time in a BDI architecture
    Jarvis, B
    Corbett, D
    Jain, LC
    KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS, 2005, 3682 : 851 - 857
  • [23] Reasoning about action in polynomial time
    Drakengren, T
    Bjäreland, M
    ARTIFICIAL INTELLIGENCE, 1999, 115 (01) : 1 - 24
  • [24] REASONING ABOUT TIME IN THE SITUATION CALCULUS
    PINTO, J
    REITER, R
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1995, 14 (2-4) : 251 - 268
  • [25] Reasoning about action in polynomial time
    Drakengren, T
    Bjareland, M
    IJCAI-97 - PROCEEDINGS OF THE FIFTEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 AND 2, 1997, : 1447 - 1452
  • [26] Qualitative reasoning about time and space
    Muller, Philippe
    TRAITEMENT AUTOMATIQUE DES LANGUES, 2011, 52 (02): : 184 - 185
  • [27] Towards A Meta-reasoning Framework for Reasoning about Vagueness in OWL Ontologies
    Jekjantuk, Nophadol
    Pan, Jeff Z.
    Alexopoulos, Panos
    2016 IEEE TENTH INTERNATIONAL CONFERENCE ON SEMANTIC COMPUTING (ICSC), 2016, : 221 - 228
  • [28] PDL-based framework for reasoning about actions
    DeGiacomo, G
    Lenzerini, M
    TOPICS IN ARTIFICIAL INTELLIGENCE, 1995, 992 : 103 - 114
  • [29] A logical framework for modeling and reasoning about the evolution of requirements
    Zowghi, D
    Offen, R
    RE '97 - PROCEEDINGS OF THE THIRD IEEE INTERNATIONAL SYMPOSIUM ON REQUIREMENTS ENGINEERING, 1997, : 247 - 257
  • [30] A semantic framework for modeling and reasoning about reflective middleware
    Venkatasubramanian, Nalini
    Talcott, Carolyn L.
    IEEE Distributed Systems Online, 2001, 2 (06): : 1 - 16
12345