scientific article; zbMATH DE number 3380160
From MaRDI portal
Publication:5649989
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
- Tractable query answering and rewriting under description logic constraints
- Elements for a history of artificial intelligence
- A declarative agent programming language based on action theories
- Defining answer classes using resolution refutation
- Let's plan it deductively!
- Putting ABox updates into action
- Computing answers with model elimination
- MRPPS?An interactive refutation proof procedure system for question-answering
- Confidences for commonsense reasoning
- A paradigm for reasoning by analogy
- Program Synthesis in Saturation
- 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)
