2231 search results - page 100 / 447 » Alternation as a programming paradigm |
ASP
2001
Springer
15 years 4 months ago
2001
Springer
Being able to declaratively specify control within a planning (or theorem-proving) paradigm is necessary if we are to build intelligent machines. This paper introduces an implemen...
ECOOP
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. While sequential behavior of single objects is fairly well understood, orchestrating the collective behavior emerging from the behaviors of individual objects continues t...
HASE
1998
IEEE
15 years 4 months ago
1998
IEEE
It is widely accepted that the OO paradigm will signi cantly increase software reusability, extendibility, interoperability, and reliability. This is also true for high assurance ...
89
Voted
AMAST
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Declarative debugging has been applied to many declarative programming paradigms; in this paper, a declarative debugger for rewriting logic specifications, embodied in th...
MKWI
2008
15 years 1 months ago
2008
: Multi-Agent systems follow a highly abstract programming paradigm. of this abstraction level, behaviours of the participants are not always clearly reproducible for humans. In th...