ICLP
2007
Springer
14 years 4 months ago
2007
Springer
ICLP
2007
Springer
14 years 4 months ago
2007
Springer
We present the CIFFWEB system, an innovative tool for the verification of web sites, relying upon abductive logic programming. The system allows the user to define rules that a web...
ICLP
2007
Springer
14 years 4 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...
ICLP
2007
Springer
14 years 4 months ago
2007
Springer
We describe the combination of OWL and F-Logic for the architecture of Semantic Web application nodes. The approach has been implemented by combining an existing Jena-based archite...
ICLP
2007
Springer
14 years 4 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...
ICLP
2007
Springer
14 years 4 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...
ICLP
2007
Springer
14 years 6 months ago
2007
Springer
Abstract. This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result act symptoms during compile-time ch...
ICLP
2007
Springer
14 years 6 months ago
2007
Springer
ICLP
2007
Springer
14 years 6 months ago
2007
Springer
ICLP
2007
Springer
14 years 6 months ago
2007
Springer
This note provides background information and references to the tutorial on recent research developments in logic programming inspired by need of knowledge representation.