Pages that link to "Item:Q1199932"
From MaRDI portal
The following pages link to A Prolog technology theorem prover: A new exposition and implementation in Prolog (Q1199932):
Displayed 21 items.
- Mark Stickel: his earliest work (Q287332) (← links)
- Semantically-guided goal-sensitive reasoning: model representation (Q287333) (← links)
- Compiling a default reasoning system into Prolog (Q750134) (← links)
- Logic-based subsumption architecture (Q814558) (← links)
- A Prolog technology theorem prover: A new exposition and implementation in Prolog (Q1199932) (← links)
- Prolog technology for default reasoning: proof theory and compilation techniques (Q1275596) (← links)
- Clause trees: A tool for understanding and implementing resolution in automated reasoning (Q1402732) (← links)
- Non-Horn clause logic programming (Q1402738) (← links)
- IeanCOP: lean connection-based theorem proving (Q1404981) (← links)
- Practically useful variants of definitional translations to normal form (Q1854384) (← links)
- Linear and unit-resulting refutations for Horn theories (Q1923821) (← links)
- Towards a unified model of search in theorem-proving: subgoal-reduction strategies (Q2456542) (← links)
- Partition-based logical reasoning for first-order and propositional theories (Q2457688) (← links)
- Efficient description logic reasoning in Prolog: The DLog system (Q3393230) (← links)
- XRay: A prolog technology theorem prover for default reasoning: A system description (Q4647525) (← links)
- On the practical value of different definitional translations to normal form (Q4647537) (← links)
- Building Theorem Provers (Q5191110) (← links)
- Lemma matching for a PTTP-based top-down theorem prover (Q5234698) (← links)
- Mode-Directed Inverse Entailment for Full Clausal Theories (Q5452095) (← links)
- Prolog Based Description Logic Reasoning (Q5504674) (← links)
- Fifty Years of Prolog and Beyond (Q6063890) (← links)