C o m p u t a t i o n a l    L o g i c

Logic Based Databases


Contents

Coordinator's Report
Intelligent Access to Heterogeneous Information Sources
PODS '97 -- ACM Symposium on Principles of Database Systems
Spatial Databases and Spatial Logic
From Databases to Web-Bases
Institute of Information Systems, Technical University of Vienna


Automated Deduction Systems ] Computational Logic & Machine Learning ] Concurrent & Constraint Logic Programming ] Language Design, Semantics & Verification Methods ] [ Logic Based Databases ] Program Development ] Knowledge Representation & Reasoning ]


Home ] Editorial ] Network Activities ] Industrial News ] International Relations ] Area News ] Education ]