1151 search results - page 150 / 231 » Collaborative Programming: Applications of Logic and Automat... |
148
Voted
CSL
2007
Springer
15 years 7 months ago
2007
Springer
We give a new proof showing that it is not possible to define in monadic second-order logic (MSO) a choice function on the infinite binary tree. This result was first obtained by G...
142
click to vote
GIS
1999
ACM
15 years 8 months ago
1999
ACM
The GeoWorlds system integrates geographic information systems, spatial digital libraries and other information analysis, retrieval and collaboration tools. It supports multiple a...
146
Voted
ACMSE
1995
ACM
15 years 7 months ago
1995
ACM
{ Traditional computer applications have been designed to be run by one user at a time who does some work in a single medium, such as ASCII text, and very little regard has been gi...
148
click to vote
MIDDLEWARE
2007
Springer
15 years 9 months ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
140
Voted
DLOG
2001
15 years 5 months ago
2001
Description logics have been designed and studied in a modular way. This has allowed a methodic approach to complexity evaluation. We present a way to preserve this modularity in ...