66 search results - page 6 / 14 » A Framework for Component-based Construction Extended Abstra... |
108
click to vote
ESOP
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. This paper presents GMeta: a generic framework for firstorder representations of variable binding that provides once and for all many of the so-called infrastructure lem...
110
click to vote
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We provide a general and modular framework for describing inferences in Answer Set Programming (ASP) that aims at an easy incorporation of additional language constructs....
105
click to vote
PRICAI
1998
Springer
15 years 6 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...
106
click to vote
CORR
2011
Springer
14 years 5 months ago
2011
Springer
extended abstract we report on work in progress carried out within the framework of the NWO project Realising Optimal Sharing. Instead of discussing optimal reduction in the λ-cal...
IANDC
2008
15 years 2 months ago
2008
We develop a behavioural theory of distributed programs in the presence of failures such as nodes crashing and links breaking. The framework we use is that of D, a language in whi...