Sciweavers

ICLP
2007
Springer
14 years 3 months ago
Aggregates in Constraint Handling Rules
Jon Sneyers, Peter Van Weert, Tom Schrijvers, Bart...
ICLP
2007
Springer
14 years 3 months ago
Web Sites Verification: An Abductive Logic Programming Tool
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...
Paolo Mancarella, Giacomo Terreni, Francesca Toni
ICLP
2007
Springer
14 years 3 months ago
Computing Fuzzy Answer Sets Using dlvhex
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...
Davy Van Nieuwenborgh, Martine De Cock, Dirk Verme...
ICLP
2007
Springer
14 years 3 months ago
Combining OWL with F-Logic Rules and Defaults
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...
Heiko Kattenstroth, Wolfgang May, Franz Schenk
ICLP
2007
Springer
14 years 3 months ago
OnEQL: An Ontology Efficient Query Language Engine for the Semantic Web
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...
Edna Ruckhaus, Maria-Esther Vidal, Eduardo Ruiz
ICLP
2007
Springer
14 years 3 months ago
User-Definable Resource Bounds Analysis for Logic Programs
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...
Jorge Navas, Edison Mera, Pedro López-Garc&...
ICLP
2007
Springer
14 years 6 months ago
Automatic Binding-Related Error Diagnosis in Logic Programs
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...
Pawel Pietrzak, Manuel V. Hermenegildo
ICLP
2007
Springer
14 years 6 months ago
Logic Programming for Knowledge Representation
This note provides background information and references to the tutorial on recent research developments in logic programming inspired by need of knowledge representation.
Miroslaw Truszczynski