750 search results - page 66 / 150 » Declarative event-oriented programming |
126
click to vote
ASP
2003
Springer
15 years 5 months ago
2003
Springer
The work aims at extending Answer Set Programming (ASP) with the possibility of quickly introducing new predefined constructs and to deal with compound data structures: we show ho...
103
click to vote
GC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present the computational counterpart of the KGP (Knowledge, Goals, Plan) declarative model of agency for Global Computing. In this context, a computational entity is ...
124
click to vote
QOSA
2010
Springer
15 years 6 months ago
2010
Springer
Using model-to-model transformations to generate analysis models or code from architecture models is sought to promote compliance and reuse of components. The maintainability of tr...
111
click to vote
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
We propose CoreTuLiP - the core of a trust management language based on Logic Programming. CoreTuLiP is based on a subset of moded logic programming, but enjoys the features of TM ...
116
click to vote
PADL
2000
Springer
15 years 5 months ago
2000
Springer
We show how the features of modern integrated functional logic programming languages can be exploited to implement graphical user interfaces (GUIs) in a high-level declarative styl...