Searching for authors named Christophe Bourely – sorted by Relevance.
4 documents found, showing 1 through 4.
-
: A General Framework for Implementing Calculi and Strategies
- …. The underlying ideas, design principles and capabilities of a system called Disc Atinf (Defining and Implementing Strategies and Calculi), allowing to implement a large class of computational systems (proof procedures, constraints solving algorithms: : : ) are presented. Systems are described by…
- Add To MetaCart
-
A Method for Building Models Automatically. Experiments with an extension of OTTER
- …. A previous work on Herbrand model construction is extended in two ways. The first extension increases the capabilities of the method, by extending one of its key rules. The second, more important one, defines a new method for simultaneous search of refutations and models for set of equational clau…
- Cited by 28 (14 self) – Add To MetaCart
-
Semantic Generalizations for Proving and Disproving Conjectures by Analogy
- …. Taking an extension of resolution as a base calculus (though the same principles are applicable to other calculi) for searching proofs (refutations) and counterexamples (models), we introduce a new method able to find refutations and also models by analogy with refutations and models in a knowled…
- Cited by 2 (1 self) – Add To MetaCart
-
Building Proofs or Counterexamples by Analogy in a Resolution Framework
- …. Taking an extension of resolution as a base calculus (though its principles are applicable to other calculi) for searching proofs (refutations) and counterexamples (models), we introduce a new method able to find refutations and also models by analogy with refutations and models in a knowledge bas…
- Cited by 3 (3 self) – Add To MetaCart
Showing 1 through 4.
