395 search results - page 16 / 79 » Program abstractions for behaviour validation |
102
Voted
AMAI
2007
Springer
15 years 18 days ago
2007
Springer
Abstract. Partial equilibrium logic (PEL) is a new nonmonotonic reasoning formalism closely aligned with logic programming under well-founded and partial stable model semantics. In...
109
click to vote
CL
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purp...
CSUR
1999
15 years 4 days ago
1999
with functions over those sets. This level of abstraction is commensurate with the view that the correctness of the input/output behaviour of a program takes precedence over all it...
89
Voted
DAGSTUHL
2003
15 years 1 months ago
2003
Abstract. There are a range of abstractions used for both modelling and proof modern computational systems. While these abstractions may have been devised for specific purposes, t...
130
click to vote
SAB
2010
Springer
14 years 10 months ago
2010
Springer
Reinforcement learning is one of the main adaptive mechanisms that is both well documented in animal behaviour and giving rise to computational studies in animats and robots. In th...