Sciweavers

367 search results - page 9 / 74
» Integrating XQuery and Logic Programming
Sort
View
AMAI
1999
Springer
14 years 11 months ago
Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm
Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm is interesting because it bring advantages of logic prog...
Ilkka Niemelä
APIN
2002
45views more  APIN 2002»
14 years 11 months ago
Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks
Abstract. In this paper, we describe how to realise alarm-correlation in cellular phone networks using extended logic programming which provides integrity constraints, implicit and...
Carlos Viegas Damásio, Peter Fröhlich,...
DLOG
1996
15 years 1 months ago
Object-Oriented Programming Support for CLASSIC
: The main thesis of this paper is that in order to use Description Logics in practical applications, a seamless integration with object-oriented system development methodologies m...
Ralf Möller
AMW
2010
15 years 1 months ago
Logic Programs for Repairing Inconsistent Dimensions in Data Warehouses
A Data Warehouse (DW) is a data repository that integrates data from multiple sources and organizes the data according to a set of data structures called dimensions. Each dimension...
Loreto Bravo, Mónica Caniupán Marile...
LOPSTR
1997
Springer
15 years 3 months ago
Implicit Program Synthesis by a Reversible Metainterpreter
Synthesis of logic programs is considered as a special instance of logic programming. We describe experience made within a logical metaprogramming environment whose central compone...
Henning Christiansen