315 search results - page 8 / 63 » Reasoning about Assignments in Recursive Data Structures |
ATAL
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. Multi-agent domains consisting of teams of agents that need to collaborate in an adversarial environment offer challenging research opportunities. In this paper, we intro...
93
Voted
ECAI
1994
Springer
15 years 1 months ago
1994
Springer
Abstract. Many recent works point out that there are several possibilities of assigning a meaning to a concept definition containing some sort of recursion. In this paper, we argue...
UAI
1997
14 years 11 months ago
1997
Recursive graphical models usually underlie the statistical modelling concerning probabilistic expert systems based on Bayesian networks. This paper de nes a version of these mode...
AI
1999
Springer
14 years 9 months ago
1999
Springer
Multi-agent domains consisting of teams of agents that need to collaborate in an adversarial environment offer challengingresearch opportunities. In this article, we introduce per...
59
Voted
FASE
2010
Springer
15 years 25 days ago
2010
Springer
Runtime assertion checking is useful for debugging programs and specifications. Existing tools check invariants as well as method preand postconditions, but mostly ignore assignabl...