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 条
  • [21] Possibilistic Reasoning about Actions in Agent Systems
    Fan, Tuan-Fang
    Liau, Churn-Jung
    2018 IEEE 42ND ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), VOL 1, 2018, : 787 - 788
  • [22] An argumentation framework for reasoning about actions and change
    Kakas, A
    Miller, R
    Toni, F
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1999, 1730 : 78 - 91
  • [23] Reasoning About Intentions: Counterexamples to Reasons for Actions
    Juhos, Csongor
    Quelhas, Ana Cristina
    Byrne, Ruth M. J.
    JOURNAL OF EXPERIMENTAL PSYCHOLOGY-LEARNING MEMORY AND COGNITION, 2015, 41 (01) : 55 - 76
  • [24] Dynamic logic for reasoning about actions and agents
    Meyer, JJC
    LOGIC-BASED ARTIFICIAL INTELLIGENCE, 2000, 597 : 281 - 311
  • [25] Argument Schemes for Reasoning About the Actions of Others
    Atkinson, Katie
    Bench-Capon, Trevor
    COMPUTATIONAL MODELS OF ARGUMENT, 2016, 287 : 71 - 82
  • [26] Reasoning about actions, knowledge and normative ability
    Lai, Xianwei
    Hu, Shanli
    Ning, Zhengyuan
    INTELLIGENT INFORMATION PROCESSING III, 2006, 228 : 43 - +
  • [27] Probabilistic Logic for Reasoning About Actions in Time
    Dautovic, Sejla
    Doder, Dragan
    SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, ECSQARU 2019, 2019, 11726 : 385 - 396
  • [28] Reasoning about actions and events in situational simulations
    Mukherjee, A
    Rojas, EM
    PROCEEDINGS OF THE 2003 WINTER SIMULATION CONFERENCE, VOLS 1 AND 2, 2003, : 1552 - 1560
  • [29] ECAVI: a Teaching Assistant for Reasoning about Actions and Change
    Basina, Nena
    Patkos, Theodore
    Plexousakis, Dirnitris
    ERCIM NEWS, 2020, (122): : 54 - 55
  • [30] PDL-based framework for reasoning about actions
    DeGiacomo, G
    Lenzerini, M
    TOPICS IN ARTIFICIAL INTELLIGENCE, 1995, 992 : 103 - 114
12345