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 (29)
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 ⋮ Program Synthesis in Saturation ⋮ 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
This page was built for publication:
