SCOTT
From MaRDI portal
Software:18797
swMATH6717MaRDI QIDQ18797FDOQ18797
Author name not available (Why is that?)
Cited In (26)
- The automation of reasoning with incomplete information. From semantic foundations to efficient computation
- Title not available (Why is that?)
- Title not available (Why is that?)
- Scavenger 0.1: a theorem prover based on conflict resolution
- Title not available (Why is that?)
- MACE4 and SEM: A Comparison of Finite Model Generators
- Title not available (Why is that?)
- A new methodology for query answering in default logics via structure-oriented theorem proving
- Model building with ordered resolution: Extracting models from saturated clause sets
- Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings
- On First-Order Model-Based Reasoning
- Experiments in the heuristic use of past proof experience
- Title not available (Why is that?)
- Title not available (Why is that?)
- CODE: A powerful prover for problems of condensed detachment
- Title not available (Why is that?)
- Title not available (Why is that?)
- Prolog technology for default reasoning: proof theory and compilation techniques
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Geometric Resolution: A Proof Procedure Based on Finite Model Search
- Title not available (Why is that?)
- Hammering towards QED
- Combining enumeration and deductive techniques in order to increase the class of constructible infinite models
- A new method for automated finite model building exploiting failures and symmetries
This page was built for software: SCOTT