Model building and interactive theory discovery
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 154-168
- https://doi.org/10.1007/3-540-59338-1_34
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- A method for building models automatically. Experiments with an extension of OTTERPublished by Springer Nature ,1994
- A Tableaux Method for Systematic Simultaneous Search for Refutations and Models using Equational ProblemsJournal of Logic and Computation, 1993
- Resolution Methods for the Decision ProblemPublished by Springer Nature ,1993
- A method for simultaneous search for refutations and models by equational constraint solvingJournal of Symbolic Computation, 1992