Reasoning about actions for spacecraft redundancy management

被引：0
|
作者：
Barry, Matthew [1 ]
Watson, Richard [1 ]
机构：
[1] United Space Alliance LLC, Houston, TX, United States
来源：
IEEE Aerospace Applications Conference Proceedings | 1999年 / 5卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：101 / 112
相关论文
共 50 条
  • [31] A dynamic description logic for representation and reasoning about actions
    Chang, Liang
    Lin, Fen
    Shi, Zhongzhi
    KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, 2007, 4798 : 115 - 127
  • [32] Verifying Business Process Compliance by Reasoning about Actions
    D'Aprile, Davide
    Giordano, Laura
    Gliozzi, Valentina
    Martelli, Alberto
    Pozzato, Gian Luca
    Dupre, Daniele Theseider
    COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, 2010, 6245 : 99 - +
  • [33] Research on Representation for Reasoning about Actions of Robot with Sensor
    Gan, Li
    Li, Jia
    Liu, Jianzhuang
    2011 AASRI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND INDUSTRY APPLICATION (AASRI-AIIA 2011), VOL 1, 2011, : 246 - 249
  • [34] Reasoning about actions with CHRs and finite domain constraints
    Thielscher, M
    LOGICS PROGRAMMING, PROCEEDINGS, 2002, 2401 : 70 - 84
  • [35] Neural Reasoning about Agents' Goals, Preferences, and Actions
    Bortoletto, Matteo
    Shi, Lei
    Bulling, Andreas
    THIRTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 38 NO 1, 2024, : 456 - 464
  • [36] Deliberation dialogues for reasoning about safety critical actions
    Tolchinsky, Pancho
    Modgil, Sanjay
    Atkinson, Katie
    McBurney, Peter
    Cortes, Ulises
    AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2012, 25 (02) : 209 - 259
  • [37] Reasoning about actions and change in Answer Set Programming
    Dimopoulos, Y
    Kakas, AC
    Michael, L
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2004, 2923 : 61 - 73
  • [38] Reasoning about actions with loops via Hoare logic
    He, Jiankun
    Zhao, Xishun
    FRONTIERS OF COMPUTER SCIENCE, 2016, 10 (05) : 870 - 888
  • [39] Nondeterministic actions with typical effects: Reasoning about scenarios
    Dunin-Keplicz, B
    Radzikowska, A
    FORMAL MODELS OF AGENTS, 1999, 1760 : 143 - 156
  • [40] Process algebra approach to reasoning about concurrent actions
    Yuan Feng
    Ming-Sheng Ying
    Journal of Computer Science and Technology, 2004, 19 : 364 - 373
12345