Introduction to mathematical logic (3rd ed.)
Introduction to mathematical logic (3rd ed.)
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Automatic Theorem Proving With Renamable and Semantic Resolution
Journal of the ACM (JACM)
Answering English questions by computer: a survey
Communications of the ACM
A computer system for inference execution and data retrieval
Communications of the ACM
ELIZA—a computer program for the study of natural language communication between man and machine
Communications of the ACM
Experiments with a deductive question-answering program
Communications of the ACM
An on-line question-answering systems with natural language and pictorial input
ACM '68 Proceedings of the 1968 23rd ACM national conference
Aspects and applications of symbol manpulation
ACM '66 Proceedings of the 1966 21st national conference
SIR: A COMPUTER PROGRAM FOR SEMANTIC INFORMATION RETRIEVAL
SIR: A COMPUTER PROGRAM FOR SEMANTIC INFORMATION RETRIEVAL
The impact of logic programming on databases
Communications of the ACM
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Interpolation Theorems for Resolution in Lower Predicate Calculus
Journal of the ACM (JACM)
Automatic Theorem Proving with Built-in Theories Including Equality, Partial Ordering, and Sets
Journal of the ACM (JACM)
Generating English discourse from semantic networks
Communications of the ACM
Natural language question-answering systems: 1969
Communications of the ACM
Experiments with the M & N tree-searching program
Communications of the ACM
Toward automatic program synthesis
Communications of the ACM
Introduction to logic-based artificial intelligence
Logic-based artificial intelligence
An on-line question-answering systems with natural language and pictorial input
ACM '68 Proceedings of the 1968 23rd ACM national conference
Relevant Answers to WH-Questions
Journal of Logic, Language and Information
Towards a computational formalization of natural language semantics
COLING '69 Proceedings of the 1969 conference on Computational linguistics
Computational linguistic techniques in an on-line system for textual analysis
COLING '69 Proceedings of the 1969 conference on Computational linguistics
A laboratory for the study of automating programming
ACM SIGSAM Bulletin
R2: a natural language question-answering system
AFIPS '71 (Spring) Proceedings of the May 18-20, 1971, spring joint computer conference
A laboratory for the study of automating programming
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
The future of specialized languages
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
New directions in legal information processing
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
A concurrent automatic programming system
Proceedings of the 46th Annual Southeast Regional Conference on XX
Theoretical basis for a knowledge representation system
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 2
A deductive question answering system on relational data bases
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
Application of theorem proving to problem solving
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
PROW: a step toward automatic program writing
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
PLANNER: a language for proving theorems in robots
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
A mobius automation: an application of artificial intelligence techniques
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
Using relational operators to structure long-term memory
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
Talking with a robot in English
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
The modeling of simple analogic and inductive processes in a semantic memory system
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
Mechanism of deduction in a question-answering system with natural language input
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
Finding resolution proofs and using duplicate goals in and/or trees
Information Sciences: an International Journal
Brief paper: Knowledge-based man-machine systems
Automatica (Journal of IFAC)
Hi-index | 0.08 |
For the purpose of this paper, a question-answering system is a computer program that has at least the following three characteristics: (1) The ability to accept statements of fact and store them in its memory (2) The ability to search stored information efficiently and to recognize items that are relevant to a particular query (3) The ability to respond appropriately to a question by identifying and presenting the answer if it is present in memory, and by deducing a reasonable logical response from relevant knowledge if the complete answer is not explictly available.