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