3738 search results - page 422 / 748 » Parametrized Logic Programming |
192
Voted
ICLP
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
165
click to vote
PPDP
2007
Springer
16 years 28 days ago
2007
Springer
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. Such user interfaces are intended to manipul...
192
click to vote
CEFP
2005
Springer
16 years 10 days ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...
164
click to vote
ICLP
2004
Springer
16 years 5 days ago
2004
Springer
The extended answer set semantics for logic programs allows for the defeat of rules to resolve contradictions. We propose a refinement of these semantics based on a preference rel...
178
click to vote
TPHOL
2003
IEEE
16 years 2 days ago
2003
IEEE
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...