425 search results - page 27 / 85 » The TPS Theorem Proving System |
COLING
2002
14 years 9 months ago
2002
We present an architecture for spoken dialogue systems where first-order inference (both theorem proving and model building) plays a crucial role in interpreting utterances of dia...
APPML
2006
14 years 9 months ago
2006
We give an example of supersonic solutions to a one-dimensional steady state Euler-Poisson system arising in the modeling of plasmas and semiconductors. The existence of the supers...
IJBC
2007
14 years 9 months ago
2007
In this paper we study the nonchaotic and chaotic behavior of all 3D conservative quadratic ODE systems with five terms on the right-hand side and one nonlinear term (5-1 systems...
ATVA
2006
Springer
15 years 1 months ago
2006
Springer
In the past decades, many formal frameworks (e.g. timed automata and temporal logics) and techniques (e.g. model checking and theorem proving) have been proposed to model a real-ti...
FLOPS
2008
Springer
14 years 11 months ago
2008
Springer
Narrowing extends rewriting with logic capabilities by allowing free variables in terms and replacing matching with unification. Narrowing has been widely used in different context...