Pages that link to "Item:Q2547494"
From MaRDI portal
The following pages link to Extracting information from resolution proof trees (Q2547494):
Displayed 12 items.
- Defining answer classes using resolution refutation (Q881832) (← links)
- Un-Skolemizing clause sets (Q920968) (← links)
- A complete, nonredundant algorithm for reversed Skolemization (Q1059063) (← links)
- A logic for default reasoning (Q1140434) (← links)
- \(\Pi\)-representation: A clause representation for parallel search (Q1216192) (← links)
- A logical theory of robot problem solving (Q1226869) (← links)
- Constructing specification morphisms (Q1322845) (← links)
- Rule-oriented methods in problem solving (Q1844088) (← links)
- Formal methods in the design of question-answering systems (Q2549246) (← links)
- Book review of: S. Russell and P. Norvig, Artificial intelligence: a modern approach (Q2674210) (← links)
- A note on answer extraction in resolution-based systems (Q4185847) (← links)
- Representations of the language recognition problem for a theorem prover (Q4770508) (← links)