The following pages link to (Q5649989):
Displaying 29 items.
- Attacking group protocols by refuting incorrect inductive conjectures (Q861695) (← links)
- Defining answer classes using resolution refutation (Q881832) (← links)
- Tractable query answering and rewriting under description logic constraints (Q975872) (← links)
- Reasoning about action. I: A possible worlds approach (Q1103419) (← links)
- Reasoning about action. II: The qualification problem (Q1103420) (← links)
- Computational approaches to analogical reasoning: A comparative analysis (Q1118423) (← links)
- \(\Pi\)-representation: A clause representation for parallel search (Q1216192) (← links)
- A logical theory of robot problem solving (Q1226869) (← links)
- What robots can do: robot programs and effective achievability (Q1274278) (← links)
- Let's plan it deductively! (Q1274761) (← links)
- Proving properties of states in the situation calculus (Q1313962) (← links)
- The application of automated reasoning to questions in mathematics and logic (Q1354049) (← links)
- Computing answers with model elimination (Q1402748) (← links)
- ConGolog, a concurrent programming language based on the situation calculus (Q1583234) (← links)
- Logic programming and knowledge representation---The A-Prolog perspective (Q1603731) (← links)
- The \(Q^*\) algorithm - a search strategy for a deductive question-answering system (Q1844090) (← links)
- Avoiding duplicate proofs with the foothold refinement (Q1924821) (← links)
- Confidences for commonsense reasoning (Q2055883) (← links)
- GK: implementing full first order default logic for commonsense reasoning (system description) (Q2104518) (← links)
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \) (Q2238693) (← links)
- Extracting information from resolution proof trees (Q2547494) (← links)
- A paradigm for reasoning by analogy (Q2549584) (← links)
- Putting ABox Updates into Action (Q3655202) (← links)
- A Declarative Agent Programming Language Based on Action Theories (Q3655203) (← links)
- MRPPS?An interactive refutation proof procedure system for question-answering (Q4766066) (← links)
- Building Theorem Provers (Q5191110) (← links)
- Mode-Directed Inverse Entailment for Full Clausal Theories (Q5452095) (← links)
- Rewriting Conjunctive Queries over Description Logic Knowledge Bases (Q5504588) (← links)
- Elements for a history of artificial intelligence (Q6602215) (← links)
