4209 search results - page 506 / 842 » Abstract Dialectical Frameworks |
116
Voted
CP
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. This paper takes a fresh look at the application of interval analysis to ordinary differential equations and studies how consistency techniques can help address the accur...
123
Voted
ECAI
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. Teams arise in a number of important multiagent applications. Several theories of intentions for teams have been proposed. By and large, these theories tend to model team...
135
Voted
PRICAI
1998
Springer
15 years 9 months ago
1998
Springer
We present a new methodology to automate decision making over time and uncertainty. We adopt a knowledge-based model construction approach to support automated and interactive form...
130
click to vote
WADT
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for ex...
137
click to vote
COSIT
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. Although maps and partitions are ubiquitous in geographical information systems and spatial databases, there is only little work investigating their foundations. We give ...