) Dmitri Boulanger Ulrich Geske GMD-FIRST, Rudower Chaussee 5, 12489 Berlin, Germany email: fdmitri,geskeg@first.gmd.de Abstract Using the logic programming system Minerva, Java and DMBS Oracle for development of a GIS-oriented constraint database systems is discussed. The central topic is a possibility to develop systems, which are approaching industrial standards. Namely, a technology for building applications, which need high quality graphical interfaces, which use data stored in commercial SQL databases and which enjoy advantages of of logic programming and constraint solving is the main goal. A number of important basic elements of the corresponding toolkit, which is currently under development, are introduced. Key Words: logic prog...
Logic programming is well suited for declaratively solving computational problems that require knowl...
Several different data structures, generally grouped in Raster and Vectors representation models, ar...
JSetL is a Java library that endows Java with a number of facilities that are intended to support de...
Abstract Using the logic programming system Minerva, Java and DMBS Oracle for development of GIS-ori...
Spatial data is ubiquitous in our data-driven society. The Logic Programming community has been inve...
Although constraint programming has attracted much attention in logic programming, nowadays the impo...
This paper proposes an integration between Geographical Information System (GIS) technology and cons...
Sometimes, business applications perform constraint-logic search, e. g., for finding solutions to pl...
Abstract. Programming languages and techniques based on logic and con-straints, such as the Constrai...
The logic programming language Minerva combines logic, declarative specification with internet appli...
We investigate the relationship between programming with constraints and database query languages. W...
The paper proposes an integration between GIS technology and deductive databases technology. The int...
In this paper we present a Java library - called JSetL - that offers a number of facilities to suppo...
Logic programming with the stable model semantics is put forward as a novel constraint programming p...
AbstractWe investigate the relationship between programming with constraints and database query lang...
Logic programming is well suited for declaratively solving computational problems that require knowl...
Several different data structures, generally grouped in Raster and Vectors representation models, ar...
JSetL is a Java library that endows Java with a number of facilities that are intended to support de...
Abstract Using the logic programming system Minerva, Java and DMBS Oracle for development of GIS-ori...
Spatial data is ubiquitous in our data-driven society. The Logic Programming community has been inve...
Although constraint programming has attracted much attention in logic programming, nowadays the impo...
This paper proposes an integration between Geographical Information System (GIS) technology and cons...
Sometimes, business applications perform constraint-logic search, e. g., for finding solutions to pl...
Abstract. Programming languages and techniques based on logic and con-straints, such as the Constrai...
The logic programming language Minerva combines logic, declarative specification with internet appli...
We investigate the relationship between programming with constraints and database query languages. W...
The paper proposes an integration between GIS technology and deductive databases technology. The int...
In this paper we present a Java library - called JSetL - that offers a number of facilities to suppo...
Logic programming with the stable model semantics is put forward as a novel constraint programming p...
AbstractWe investigate the relationship between programming with constraints and database query lang...
Logic programming is well suited for declaratively solving computational problems that require knowl...
Several different data structures, generally grouped in Raster and Vectors representation models, ar...
JSetL is a Java library that endows Java with a number of facilities that are intended to support de...