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 条

[1] On goal-directed provability in classical logic
Harland, J
COMPUTER LANGUAGES, 1997, 23 (2-4): : 161 - 178
[2] A logic of goal-directed knowing how
Yanjing Wang
Synthese, 2018, 195 : 4419 - 4439
[3] Goal-directed methods for Lukasiewicz logic
Metcalfe, G
Olivetti, N
Gabbay, D
COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2004, 3210 : 85 - 99
[4] A logic of goal-directed knowing how
Wang, Yanjing
SYNTHESE, 2018, 195 (10) : 4419 - 4439
[5] Goal-directed query processing in disjunctive logic databases
Shimajiri, Y
Seki, H
Itoh, H
PROGRAMMING LANGUAGES: IMPLEMENTATIONS, LOGICS AND PROGRAMS, 1995, 982 : 415 - 430
[6] Uniform provability in classical logic
Nadathur, G
JOURNAL OF LOGIC AND COMPUTATION, 1998, 8 (02) : 209 - 229
[7] Uniform provability in classical logic
Univ of Chicago, Chicago, United States
J Logic Comput, 2 (209-229):
[8] EFFICIENCY CONSIDERATIONS ON GOAL-DIRECTED FORWARD CHAINING FOR LOGIC PROGRAMS
BURGARD, W
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 533 : 80 - 94
[9] Early goal-directed therapy versus "early", "goal-directed" therapy
Saleh, Ahmad Sabry
INTENSIVE CARE MEDICINE, 2015, 41 (09) : 1723 - +
[10] Efficiency considerations on goal-directed forward chaining for logic programs
Burgard, Wolfram
Workshop on Computer Science Logic, 1990,

← 1 2 3 4 5 →