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 条
  • [21] IMAGING GOAL-DIRECTED MOVEMENT
    KOHL, RM
    FISICARO, SA
    RESEARCH QUARTERLY FOR EXERCISE AND SPORT, 1995, 66 (01) : 17 - 31
  • [22] MEMORY FOR GOAL-DIRECTED EVENTS
    LICHTENSTEIN, EH
    BREWER, WF
    COGNITIVE PSYCHOLOGY, 1980, 12 (03) : 412 - 445
  • [23] Goal-Directed Pedestrian Prediction
    Rehder, Eike
    Kloeden, Horst
    2015 IEEE INTERNATIONAL CONFERENCE ON COMPUTER VISION WORKSHOP (ICCVW), 2015, : 139 - 147
  • [24] STUTTERING - A GOAL-DIRECTED BEHAVIOR
    SCHOENAKER, T
    SPRACHE-STIMME-GEHOR, 1981, 5 (02): : 82 - 85
  • [25] THE EXPLANATION OF GOAL-DIRECTED BEHAVIOR
    HAUSMAN, DB
    SYNTHESE, 1985, 65 (03) : 327 - 346
  • [26] Goal-Directed Feature Learning
    Weber, Cornelius
    Triesch, Jochen
    IJCNN: 2009 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS, VOLS 1- 6, 2009, : 3355 - 3362
  • [27] GOAL-DIRECTED PROCESSES IN BIOLOGY
    NAGEL, E
    JOURNAL OF PHILOSOPHY, 1977, 74 (05): : 261 - 279
  • [28] TREATING GOAL-DIRECTED INTIMACY
    TIMMERS, RL
    SINCLAIR, LG
    JAMES, JR
    SOCIAL WORK, 1976, 21 (05) : 401 - 402
  • [29] GOAL-DIRECTED SYSTEMS AND THE GOOD
    BEDAU, M
    MONIST, 1992, 75 (01): : 34 - 51
  • [30] Goal-directed sonography in the ED
    Soldati, G
    AMERICAN JOURNAL OF EMERGENCY MEDICINE, 2002, 20 (02): : 132 - 133
12345