180
click to vote
ICLP
15 years 7 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...
131
click to vote
ICLP
15 years 10 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)...
141
click to vote
ICLP
15 years 7 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...
133
Voted
ICLP
15 years 7 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...
129
click to vote
ICLP
15 years 10 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