2152 search results - page 102 / 431 » On Automating the Calculus of Relations |
112
click to vote
ICFCA
2004
Springer
15 years 6 months ago
2004
Springer
Lattice diagrams, known as Hasse diagrams, have played an ever increasing role in lattice theory and fields that use lattices as a tool. Initially regarded with suspicion, they no...
ICWE
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper we discuss the automatic construction of webbased courseware applications from XML descriptions of appropriate UML models. The created applications conform ...
100
click to vote
SEMWEB
2009
Springer
15 years 7 months ago
2009
Springer
In this paper, we present PelletSpatial, a qualitative spatial reasoning engine implemented on top of Pellet. PelletSpatial provides consistency checking and query answering over s...
107
click to vote
LPAR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Matching is a basic operation extensively used in computation. Second-order matching, in particular, provides an adequate environment for expressing program transformatio...
108
click to vote
ASP
2001
Springer
15 years 5 months ago
2001
Springer
Being able to declaratively specify control within a planning (or theorem-proving) paradigm is necessary if we are to build intelligent machines. This paper introduces an implemen...