155
click to vote
ICLP
15 years 5 months ago
2007 Springer 
Fuzzy answer set programming has been introduced as a framework that successfully combines the concepts of answer set programming and fuzzy logic. In this paper, we show how the fu...
108
click to vote
ICLP
15 years 7 months 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)...
119
click to vote
ICLP
15 years 5 months ago
2007 Springer 
Abstract. In this paper we describe the OnEQL system, a query engine that implements optimization techniques and evaluation strategies to speed up the evaluation time of querying a...
109
click to vote
ICLP
15 years 5 months ago
2007 Springer
We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in gener...
104
click to vote
ICLP
15 years 7 months ago
2007 Springer
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...
|
Automated Reasoning