3 search results - page 1 / 1 » A Linear Transformation from Prioritized Circumscription to ... |
ICLP
2007
Springer
13 years 10 months ago
2007
Springer
IJCAI
2007
13 years 5 months ago
2007
The definition of a stable model has provided a declarative semantics for Prolog programs with negation as failure and has led to the development of answer set programming. In th...
FLOPS
2004
Springer
13 years 9 months ago
2004
Springer
We propose a semantic framework for modelling the linear usage of continuations in typed call-by-name programming languages. On the semantic side, we introduce a construction for c...