5377 search results - page 345 / 1076 » Programming Languages For Interactive Computing |
211
click to vote
CORR
1998
Springer
15 years 6 months ago
1998
Springer
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate ...
130
click to vote
GG
2004
Springer
16 years 5 days ago
2004
Springer
We propose a faithful encoding of Java programs (written in a suitable fragment of the language) to Graph Transformation Systems. Every program is translated to a set of rules incl...
192
Voted
CP
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. In this paper, we present a major improvement in the search procedures in constraint programming. First, we integrate various search procedures from AI and OR. Second, we...
162
click to vote
EUMAS
2006
15 years 8 months ago
2006
Norms constitute a powerful coordination mechanism among heterogeneous agents. We propose means to specify and explicitly manage the normative positions of agents (permissions, pro...
186
click to vote
RIA
2007
15 years 6 months ago
2007
Continuations are a well established programming concept that allows capturing and resuming the current program state. They can be found in several functional programming languages...