The use of theorem-proving techniques in question-answering systems

No abstract is available for this paper.

• Publication year

  1968

• Venue

  ACM National Conference

• Publication date

  1968-01-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/800186.810578
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• An on-line question-answering systems with natural language and pictorial input

  1968cited by this paper
• A computer system for inference execution and data retrieval

  1967cited by this paper
• Heuristic methods for computer understanding of natural language in context-restricted on-line dialogues

  1967cited by this paper
• Automatic Theorem Proving With Renamable and Semantic Resolution

  1967cited by this paper
• A review of automatic theorem-proving

  1967cited by this paper
• File management

  1966cited by this paper
• DEACON: direct English access and control

  1966cited by this paper
• THEOREM-PROVING IN COMPUTERS

  1966cited by this paper
• Answering English questions by computer: a survey

  1965cited by this paper
• A Useful Algebraic Property of Robinson's Unification Algorithm

  1965cited by this paper
• A Machine-Oriented Logic Based on the Resolution Principle

  1965cited by this paper
• Experiments with a deductive question-answering program

  1965cited by this paper
• Logic : Techniques of Formal Reasoning

  1964cited by this paper
• A computer program which "understands"

  1964cited by this paper
• SIR: A COMPUTER PROGRAM FOR SEMANTIC INFORMATION RETRIEVAL

  1964cited by this paper
• Programs with common sense

  1960cited by this paper
• The unit preference strategy in theorem proving

  1899cited by this paper
• An approach toward answering English questions from text

  1899cited by this paper

• Knowledge Graphs as a source of trust for LLM-powered enterprise question answering

  2025cites this paper
• Semantic Properties of Computations Defined by Elementary Inference Systems

  2025cites this paper
• Increasing Accuracy of LLM-powered Question Answering on SQL databases: Knowledge Graphs to the Rescue

  2024cites this paper
• Increasing the LLM Accuracy for Question Answering: Ontologies to the Rescue!

  2024cites this paper
• Symbolic Knowledge Extraction and Injection with Sub-symbolic Predictors: A Systematic Literature Review

  2024cites this paper
• A Benchmark to Understand the Role of Knowledge Graphs on Large Language Model's Accuracy for Question Answering on Enterprise SQL Databases

  2023cites this paper
• TSEE: a novel knowledge embedding framework for cyberspace security

  2023cites this paper
• Foundations of Knowledge Graphs: Complexity of Arithmetic in Vadalog

  2021cites this paper
• Introduction to the MDATA Model

  2021cites this paper
• Logic-Based Technologies for Intelligent Systems: State of the Art and Perspectives

  2020cites this paper
• Proving semantic properties as first-order satisfiability

  2019cites this paper
• Applying Formal Logic Validation to Enhance Natural Language Understanding

  2019cites this paper
• Functional inferences over heterogeneous data

  2018influential citation
• Automated Reasoning in the Age of the Internet

  2018cites this paper
• Using Rich Inference to Find Novel Answers to Questions

  2015cites this paper
• Logic and Databases: A History of Deductive Databases

  2014influential citation
• Compiler Generation for Substructural Operational Semantics

  2012cites this paper
• Integration of World Knowledge for Natural Language Understanding

  2012cites this paper
• The Maryland Refutation Proof Procedure System

  2011cites this paper
• A knowledge base and question answering system based on loglan and english

  2011cites this paper
• Logic and Knowledge Bases

  2011cites this paper
• Theorem-Proving by Resolution as a Basis for Question-Answering Systems

  2010cites this paper
• Testing First-Order Logic Axioms in Program Verification

  2010cites this paper
• Applying automated deduction to natural language understanding

  2009cites this paper
• Implementación de una semántica de punto fijo para un sistema de bases de datos deductivas con restricciones

  2009cites this paper
• A concurrent automatic programming system

  2008cites this paper
• Warning Concerning Copyright Restrictions

  2008cites this paper
• Relational Storage Mechanisms for Tabled Logic Programs

  2007cites this paper
• Defining answer classes using resolution refutation

  2007cites this paper
• Using logical relevance for question answering

  2007cites this paper
• Answering open-domain temporally restricted questions in a multi-lingual context

  2005cites this paper
• AN EARLY APPLICATION OF THE SYNTACTIC ANALYSIS ALGORITHM: DATA STRUCTURING AND INFERENCE

  2004cites this paper
• Relevant Answers to WH-Questions

  2004cites this paper
• Da Ve Brown Ti Covers Our Projected Needs -2

  2004cites this paper
• ROM THE EARLY 1970s: A REVIEW OF SOME NATURAL LANGUAGE QUESTION-ANSWERING SYSTEMS

  2003cites this paper
• Introduction to logic-based artificial intelligence

  2000cites this paper
• Die Informationswissenschaften : Ihre Ansätze, Probleme, Methoden und ihr Ausbau in der Bundesrepublik Deutschland

  2000cites this paper
• Logic and Databases: a 20 Year Retrospective -Updated in Honor of Ray Reiter

  1999cites this paper
• Logic and Databases: Past, Present, and Future

  1997influential citation
• Structure and Interpretation of Computer Programs, Second Edition

  1996cites this paper
• Some Notes on Knowledge Assimilation in Deductive Databases

  1996cites this paper
• Logic and Databases: A 20 Year Retrospective

  1996influential citation
• Processing deductions in an active fashion

  1996cites this paper
• Types of Planning: Can Artificial Intelligence Yield Insights into Prefrontal Function? a

  1995cites this paper
• A survey of deductive database systems

  1995cites this paper
• A Survey of Research in Deductive Database Systems

  1995cites this paper
• Generating Control Strategies for Resolution-Based Theorem Provers by Means of Fuzzy Triangle Products and Relational Closures

  1993cites this paper
• The impact of logic programming on databases

  1992cites this paper
• Comparison of fuzzy implication operators by means of weighting strategy in resolution based automated reasoning

  1992cites this paper
• Principles of expert systems

  1991cites this paper
• On Negative Information in Deductive Databases

  1990cites this paper
• On Negative Information in Deductive Databases an invited paper

  1990cites this paper
• Perspectives in Deductive Databases

  1988cites this paper
• A study of automated reasoning in a brain tumor diagnosis expert system

  1987cites this paper
• Structure and interpretation of computer programs

  1985cites this paper
• Programming languages for artificial intelligence

  1985cites this paper
• Knowledge-based man-machine systems

  1983cites this paper
• An Interactive Theorem-Proving Program

  1983cites this paper
• Knowledge Based Man-Machine System

  1982cites this paper
• Readings in Artificial Intelligence

  1981cites this paper
• Resolution systems and their applications no II

  1980cites this paper
• Artificial Intelligence in Manufacturing Planning and Control

  1980cites this paper
• Theoretical Basis for a Knowledge Representation System

  1979cites this paper
• Or Clause Encounters of a Logical Kind)

  1978cites this paper
• A Deductive Question Answering System on Relational Data Bases

  1977cites this paper
• An Experimental Relational Data Base System Based on Logic

  1977cites this paper
• Information storage and retrieval: a survey and functional description

  1977cites this paper
• Semantic information processing in man-machine systems

  1977cites this paper
• Question-answering by a semantic network of parallel automata

  1976cites this paper
• Approaches to Automatic Programming

  1976cites this paper
• Artificial Intelligence - The Past Decade

  1975cites this paper
• Information Systems: A Survey by Examples

  1975cites this paper
• Das Rahmenproblem in Problemlösungssystemen

  1975cites this paper
• AUTOMATED ALGORITHM FINDING

  1975cites this paper
• Practical Natural Language Processing: The REL System as Prototype

  1975cites this paper
• Automatic theorem proving based on resolution

  1973cites this paper
• What the Mind’s Eye Tells the Mind’s Brain: A Critique of Mental Imagery

  1973cites this paper
• Research in advanced formal theorem-proving techniques. [design and implementation of computer languages]

  1973cites this paper
• A network-of-automata model for question-answering in semantic memory

  1973cites this paper
• Mechanism of Deduction in a Question-Answering System with Natural Language Input

  1973cites this paper
• Fuzzy Planner: Reasoning with Inexact Concepts in a Procedural Problem-Solving Language

  1973cites this paper
• Deductive Question Answering, Problem Solving, and Program Synthesis

  1973cites this paper
• Understanding natural language

  1972cites this paper
• Automatic Theorem Proving with Built-in Theories Including Equality, Partial Ordering, and Sets

  1972cites this paper
• A brief review and bibliography of investigations into automation of search of theorem proofs in formal theories

  1972cites this paper
• A data structure for cognitive information retrieval

  1972cites this paper
• A laboratory for the study of automating programming

  1972cites this paper
• Linguistics and information science

  1972cites this paper
• The Role of Theorem Proving in Artificial Intelligence

  1972cites this paper
• Generating English discourse from semantic networks

  1972cites this paper
• A laboratory for the study of automating programming

  1972cites this paper
• A language for proving theorems in robots

  1971cites this paper
• Extracting Information from Resolution Proof Trees

  1971cites this paper
• Problem-solving methods in artificial intelligence

  1971influential citation
• Toward automatic program synthesis

  1971cites this paper
• Finding resolution proofs and using duplicate goals in and/or trees

  1971cites this paper
• R2: a natural language question-answering system

  1971cites this paper
• AN EXPERIMENTAL MOBILE AUTOMATON

  1970cites this paper
• Experiments with the M & N tree-searching program

  1970cites this paper
• Natural language question-answering systems: 1969

  1970cites this paper