4767 search results - page 721 / 954 » Structures for Abstract Rewriting |
CSLP
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. This paper is concerned with the question of quantifying gradient degrees of acceptability by introducing the notion of Density in the context of constructional constrain...
DEON
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. In this paper, we combine deontic logic with Alternatingtime Temporal Logic (ATL) into a framework that makes it possible to model and reason about obligations and abilit...
DILS
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. Transparent information integration across distributed and heterogeneous data sources and computational tools is a prime concern for bioinformatics. Recently, there have ...
E4MAS
2004
Springer
14 years 4 months ago
2004
Springer
Models and conceptualizations are necessary to understand and design ubiquitous systems that are context–aware not just from a technological point of view. The current technologi...
ECAI
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. Adaptive consistency is a solving algorithm for constraint networks. Its basic step is variable elimination: it takes a network as input, and producesan equivalent networ...