scientific article; zbMATH DE number 3380160
From MaRDI portal
Publication:5649989
zbMath0239.68015MaRDI QIDQ5649989
Publication date: 1969
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
The application of automated reasoning to questions in mathematics and logic, Reasoning about action. I: A possible worlds approach, Reasoning about action. II: The qualification problem, Attacking group protocols by refuting incorrect inductive conjectures, Computational approaches to analogical reasoning: A comparative analysis, Defining answer classes using resolution refutation, Avoiding duplicate proofs with the foothold refinement, Computing answers with model elimination, Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \), \(\Pi\)-representation: A clause representation for parallel search, Tractable query answering and rewriting under description logic constraints, A logical theory of robot problem solving, Building Theorem Provers, Mode-Directed Inverse Entailment for Full Clausal Theories, Confidences for commonsense reasoning, What robots can do: robot programs and effective achievability, Let's plan it deductively!, Extracting information from resolution proof trees, A paradigm for reasoning by analogy, Putting ABox Updates into Action, A Declarative Agent Programming Language Based on Action Theories, ConGolog, a concurrent programming language based on the situation calculus, Rewriting Conjunctive Queries over Description Logic Knowledge Bases, The \(Q^*\) algorithm - a search strategy for a deductive question-answering system, GK: implementing full first order default logic for commonsense reasoning (system description), Proving properties of states in the situation calculus, MRPPS?An interactive refutation proof procedure system for question-answering, Logic programming and knowledge representation---The A-Prolog perspective
