On goal-directed provability in classical logic

被引：0
|
作者：
Royal Melbourne Inst of Technology, Melbourne [1 ]
机构：
来源：
Comput Lang | / 2-4卷 / 161-178期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
(Edited Abstract)
引用
收藏
相关论文
共 50 条
  • [41] Efficient goal-directed exploration
    Smirnov, Y
    Koenig, S
    Veloso, MM
    Simmons, RG
    PROCEEDINGS OF THE THIRTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE, VOLS 1 AND 2, 1996, : 292 - 297
  • [42] Denali: A goal-directed superoptimizer
    Joshi, R
    Nelson, G
    Randall, K
    ACM SIGPLAN NOTICES, 2002, 37 (05) : 304 - 314
  • [43] Goal-directed Management of Osteoporosis
    Cummings, Steven R.
    MENOPAUSE-THE JOURNAL OF THE NORTH AMERICAN MENOPAUSE SOCIETY, 2018, 25 (12): : 1482 - 1482
  • [44] Suicide as goal-directed action
    Michel, K
    Valach, L
    ARCHIVES OF SUICIDE RESEARCH, 1997, 3 (03) : 213 - 221
  • [45] Making Graphplan goal-directed
    Parker, E
    RECENT ADVANCES IN AI PLANNING, 2000, 1809 : 333 - 346
  • [46] Goal-directed portfolio insurance
    Chen, JS
    Liao, BP
    ADVANCES IN NATURAL COMPUTATION, PT 3, PROCEEDINGS, 2005, 3612 : 798 - 807
  • [47] WHAT IS GOAL-DIRECTED BEHAVIOR
    TOATES, FM
    BIOLOGICAL PSYCHOLOGY, 1984, 18 (04) : 304 - 305
  • [48] Guiding Goal-Directed Therapy
    Suehiro K.
    Joosten A.
    Alexander B.
    Cannesson M.
    Current Anesthesiology Reports, 2014, 4 (4) : 360 - 375
  • [49] Critical care ultrasound goal-directed versus early goal-directed therapy in septic shock
    Yu, Kun
    Zhang, Shucheng
    Chen, Ni
    Chen, Miao
    Zhang, Wei
    INTENSIVE CARE MEDICINE, 2022, 48 (01) : 121 - 123
  • [50] Early goal-directed therapy versus “early”, “goal-directed” therapy: response to comments by Saleh
    Sandra Peake
    Derek Angus
    Kathy Rowan
    Intensive Care Medicine, 2015, 41 : 1725 - 1726
12345