1302 search results - page 116 / 261 » Free-Style Theorem Proving |
NN
2006
Springer
15 years 4 months ago
2006
Springer
- Since the discovery of the SOMs by T. Kohonen, many results have been found in order to get a better description of their behaviour. Most of them are very convincing but from a m...
135
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. We implement an algorithm for extracting appropriate collections of classic-like sound and complete tableaux rules for a large class of finite-valued logics. Its output c...
141
click to vote
CALCO
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Parameterised monads have the same relationship to adjunctions with parameters as monads do to adjunctions. In this paper, we investigate algebras for parameterised monad...
134
click to vote
TIME
2008
IEEE
15 years 11 months ago
2008
IEEE
Boolean contact algebras constitute a convenient approach to a region based theory of space. In this paper we want to extend this approach to regions moving in time - called timed...
118
click to vote
AMAI
2004
Springer
15 years 10 months ago
2004
Springer
In reasoning tasks involving logical formulas, high expressiveness is desirable, although it often leads to high computational complexity. We study a simple measure of expressiven...