swMATH6717MaRDI QIDQ18797FDOQ18797
Author name not available (Why is that?)
Official website: http://users.cecs.anu.edu.au/~jks/scott/
Cited In (38)
- 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?)
- 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
- STRIP
- SATCHMO
- MUSCADET
- MGTP
- Experiments in the heuristic use of past proof experience
- Title not available (Why is that?)
- FALCON
- Title not available (Why is that?)
- ModGen
- MODPROF
- Scavenger
- KoMeT
- HOARD ATINF
- PTTP+GLiDeS
- CoDe
- 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?)
- MACE4 and SEM: a comparison of finite model generators
- 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
