5671 search results - page 572 / 1135 » A Semantic Approach to Interpolation |
193
click to vote
ICWL
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we propose a language-driven approach for the high-level design of web-based learning applications. In our approach we define a domainspecific language that character...
161
click to vote
ICALT
2006
IEEE
16 years 1 months ago
2006
IEEE
Positioning in learning networks is a process that assists learners in finding a starting point and an efficient route in the network that will foster competence building. In orde...
192
click to vote
SUM
2009
Springer
15 years 11 months ago
2009
Springer
We propose a framework to compute the utility of an agreement w.r.t. a preference set in a negotiation process. In particular, we refer to preferences expressed as weighted formula...
240
click to vote
JELIA
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Among others, Alferes et al. (1998) presented an approach for updating logic programs with sets of rules based on dynamic logic programs. We syntactically redefine dynami...
172
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
A type-based approach to termination uses sized types: an ordinal bound for the size of a data structure is stored in its type. A recursive function over a sized type is accepted i...