Π-representation: A clause representation for parallel search

Artificial Intelligence - Tập 6 - Trang 103-127 - 1975
Daniel H. Fishman1
1Department of Computer and Information Science, University of Massachusetts, Amherst, Mass., U.S.A.

Tài liệu tham khảo

Auguston, 1974

Bledsoe, 1972, Computer proofs of limit theorems, Artificial Intelligence, 3, 27, 10.1016/0004-3702(72)90041-0

Chang, 1973

Darlington, 1969, Theorem provers as question answerers (unpublished), 317

Feldman, 1972, Recent developments in sail—An algol-based language for artificial intelligence, 1193

Fikes, 1970, REF-ARF: A system for solving problems stated as procedures, Artificial Intelligence, 1, 27, 10.1016/0004-3702(70)90003-2

Fishman, 1973, Experiments with a resolution-based deductive question-answering system and a proposed clause representation for parallel search

Fishman, 1973

Green, 1969, Theorem proving by resolution as a basis for question answering systems, 4, 183

Hewitt, 1972, Description and theoretical analysis (using schemata) of planner: A language for proving theorems and manipulating models in robots

Kowalski, 1970, Search strategies for theorem proving, 5, 181

Luckham, 1971, Extracting information from resolution-proof trees, Artificial Intelligence, 2, 27, 10.1016/0004-3702(71)90003-8

Minker, 1972, The Maryland refutation proof procedure system (MRPPS)

Minkes, 1973, The Q∗ algorithm—A search strategy for a deductive question-answering system, Artificial Intelligence, 4, 225, 10.1016/0004-3702(73)90013-1

Minker, 1973, MRPPS—An interactive refutation proof procedure system for question-answering

Nilsson, 1971

Robinson, 1965, A machine oriented logic based on the resolution principle, J. ACM, 12, 23, 10.1145/321250.321253

Rulifson, 1972, QA4: A procedural calculus for intuitive reasoning

Sussman, 1972, From planner to conniver—A genetic approach, 1171

Thông tin
Thông tin xuất bản

Artificial Intelligence

Tập 6

103-127

Thông tin tác giả