2152 search results - page 93 / 431 » On Automating the Calculus of Relations |
94
Voted
CSL
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. We study a weakening of the notion of logical relations, called prelogical relations, that has many of the features that make logical relations so useful but having furth...
109
click to vote
CSL
2010
Springer
15 years 1 months ago
2010
Springer
d Abstract) Thomas Schwentick and Thomas Zeume TU Dortmund University The finite satisfiability problem for two-variable logic over structures with unary relations and two order re...
RE
2008
Springer
15 years 6 days ago
2008
Springer
An accurate set of traceability relations between software development artifacts is desirable to support evolutionary development. However, even where an initial set of traceabili...
KR
1998
Springer
15 years 5 months ago
1998
Springer
The technical problem addressed in this paper is, given two rule systems for consequence relations X and Y, how to construct Y-approximations of a given X-relation. While an upper...
114
click to vote
GIS
1998
ACM
15 years 12 days ago
1998
ACM
Spatial relations are the basis for many selections users perform when they query geographic information systems (GISs). Although such query languages use natural-language-like te...