scientific article; zbMATH DE number 3380160
From MaRDI portal
Publication:5649989
zbMATH Open0239.68015MaRDI QIDQ5649989FDOQ5649989
Authors: C. Cordell Green 
Publication date: 1969
Title of this publication is not available (Why is that?)
Cited In (30)
- Building Theorem Provers
- The \(Q^*\) algorithm - a search strategy for a deductive question-answering system
- GK: implementing full first order default logic for commonsense reasoning (system description)
- Rewriting Conjunctive Queries over Description Logic Knowledge Bases
- A logical theory of robot problem solving
- Avoiding duplicate proofs with the foothold refinement
- Computational approaches to analogical reasoning: A comparative analysis
- Attacking group protocols by refuting incorrect inductive conjectures
- Reasoning about action. I: A possible worlds approach
- Reasoning about action. II: The qualification problem
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \)
- Proving properties of states in the situation calculus
- What robots can do: robot programs and effective achievability
- Elements for a history of artificial intelligence
- Tractable query answering and rewriting under description logic constraints
- A declarative agent programming language based on action theories
- Defining answer classes using resolution refutation
- Putting ABox updates into action
- Let's plan it deductively!
- Computing answers with model elimination
- MRPPS?An interactive refutation proof procedure system for question-answering
- Confidences for commonsense reasoning
- Program Synthesis in Saturation
- A paradigm for reasoning by analogy
- Logic programming and knowledge representation---The A-Prolog perspective
- The application of automated reasoning to questions in mathematics and logic
- Extracting information from resolution proof trees
- ConGolog, a concurrent programming language based on the situation calculus
- \(\Pi\)-representation: A clause representation for parallel search
- Mode-Directed Inverse Entailment for Full Clausal Theories
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5649989)
