579 search results - page 2 / 116 » Combined reasoning by automated cooperation |
CSL
1993
Springer
14 years 21 days ago
1993
Springer
CSL
2006
Springer
13 years 8 months ago
2006
Springer
CADE
2007
Springer
14 years 9 months ago
2007
Springer
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...
CL
2000
Springer
14 years 28 days ago
2000
Springer
We propose a general scheme for the cooperation of different constraint solvers. A uniform interface for constraint solvers allows to formally specify information exchange between...
KI
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. This paper discusses experiments with an agent oriented approach to automated and interactive reasoning. The approach combines ideas from two subfields of AI (theorem pr...