This article surveys various complexity and expressiveness results on different forms of logic
programming. The main focus is on decidable forms of logic programming, in particular …

Data sets in large applications are often too massive to fit completely inside the computers
internal memory. The resulting input/output communication (or I/O) between fast internal …

Многомерная открытая гносеологическая активная сеть MOGAN является основой для
перехода на качественно новый уровень создания логического искусственного …

This database theory book provides a focused presentation of the core material on relational
databases, and presents a number of advanced topics in a unified framework. Some of the …

Constraint programming is a powerful paradigm for solving combinatorial search problems
that draws on a wide range of techniques from artificial intelligence, computer science …

Finite model theory is an area of mathematical logic that grew out of computer science
applications. The main sources of motivational examples for finite model theory are found in …

Abstract Constraint Logic Programming (CLP) is a merger of two declarative paradigms:
constraint solving and logic programming. Although a relatively new field, CLP has …

1. Обучение и эволюционные накопление и обработка данных. Для того чтобы система
могла обучаться, ее подсистема накопления и обработки данных должна обладать …

Spatial Databases is the first unified, in-depth treatment of special techniques for dealing
with spatial data, particularly in the field of geographic information systems (GIS). This book …

Moving Objects Databases is the first uniform treatment of moving objects databases, the
technology that supports GPS and RFID. It focuses on the modeling and design of data from …