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 条
  • [1] Reasoning about Actions with Loops
    He, Jiankun
    Shen, Yuping
    Zhao, Xishun
    ARTIFICIAL INTELLIGENCE: METHODS AND APPLICATIONS, 2014, 8445 : 504 - 509
  • [2] Reasoning About Actions for the Management of Urban Wastewater Systems: Preliminary report
    Carlos Nieves, Juan
    Aulinas, Montse
    Cortes, Ulises
    ARTIFICIAL INTELLIGENCE RESEARCH AND DEVELOPMENT, 2009, 202 : 371 - 380
  • [3] Representation and reasoning about evolutions of the world in the context of reasoning about actions
    Baral C.
    Tran N.
    Studia Logica, 2005, 79 (1) : 33 - 46
  • [4] Reasoning about effects of concurrent actions
    Baral, C
    Gelfond, M
    JOURNAL OF LOGIC PROGRAMMING, 1997, 31 (1-3): : 85 - 117
  • [5] Massively parallel reasoning about actions
    Bornscheuer, Sven-Erik
    Seiler, Torsten
    Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), 1996, 1137
  • [6] Reasoning about Actions in Fuzzy Environment
    Saad, Emad
    Elmorsy, Shaimaa A.
    Gabr, Mahmoud M. H.
    Hassan, Yasser F. M.
    PROCEEDINGS OF THE JOINT 2009 INTERNATIONAL FUZZY SYSTEMS ASSOCIATION WORLD CONGRESS AND 2009 EUROPEAN SOCIETY OF FUZZY LOGIC AND TECHNOLOGY CONFERENCE, 2009, : 825 - 830
  • [7] Reasoning about Actions in a Probabilistic Setting
    Baral, C
    Tran, N
    Tuan, LC
    EIGHTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-02)/FOURTEENTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-02), PROCEEDINGS, 2002, : 507 - 512
  • [8] Reasoning about actions and change in argumentation
    Hadjisoteriou, E.
    Kakas, A.
    ARGUMENT & COMPUTATION, 2016, 6 (03) : 265 - 291
  • [9] Reasoning about cooperation, actions and preferences
    Kurzen, Lena
    SYNTHESE, 2009, 169 (02) : 223 - 240
  • [10] Automata theory for reasoning about actions
    Ternovskaia, E
    IJCAI-99: PROCEEDINGS OF THE SIXTEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 & 2, 1999, : 153 - 158
12345