Final Program --- ILPS 93 WORKSHOP ON PROGRAMMING WITH LOGIC DATABASES 
Author Message
 Final Program --- ILPS 93 WORKSHOP ON PROGRAMMING WITH LOGIC DATABASES

                     WORKSHOP ON PROGRAMMING WITH LOGIC DATABASES

                        Vancouver, BC, Canada, October 30, 1993
                                  (following ILPS 93)

        You are invited to participate in the 1993 Workshop on Programming with
        Logic Databases.  An increasing number of deductive systems are now either
        available or becoming available (e.g., Aditi, CORAL, EKS, LDL, LOGRES,
        LOLA, NAIL-GLUE, RDL, XSB).  A number of applications have been developed
        using these systems, typically by the system developers, although this
        should change as the systems become more widely available.  
        The goal of this workshop is to provide a forum for users and implementors
        of deductive systems to share their experience.  

        The schedule features 12 talks describing a range of applications,
        and demo presentations of several implemented systems.
        For registration, hotel information etc., please see the
        ILPS 93 Final Program Announcement, which is available by anonymous
        ftp from the host ftp.cis.upenn.edu and the file
        pub/meetings/ilps93/FinalAnnouncement.txt,

        PROGRAM COMMITTEE:

                Oris Friesen            (Bull)
                Jiawei Han              (SFU)
                David Kemp              (U. Melbourne)
                Jerry Kiernan           (IBM Almaden)
                Werner Kiessling        (U. Muenchen)
                Inderpal Mumick         (AT&T Bell Labs)
                Raghu Ramakrishnan      (U. Wisconsin)
                S. Sudarshan            (AT&T Bell Labs)
               {*filter*} Tsur               (Swiss Bank and U. Texas)
                Laurent Vieille         (Bull)
                Carlo Zaniolo           (UCLA)



Saturday, October 30, 8:00 A.M to 5:30 PM

SESSION 1: 8:00 -- 10:00

Overview of the Workshop: 8:00 -- 8:20

TALKS: 8:20 -- 9:40

An Aditi Implementation of a Flights Database
        J. Harland and K. Ramamohanarao
        Dept. of CS, Univ. of Melbourne
What One Genome-Mapping Lab Needs From Its Database
        N. Goodman, S. Rozen, L. Stein
        Whitehead Institute for Biomedical Research, MIT
MIMSY: A System for Analyzing Time Series Data in the Stock Market Domain
        W.G. Roth, R. Ramakrishnan, P. Seshadri
        CS Dept., Univ. of Wisconsin-Madison
Efficient Visual Queries for Deductive Databases
        D. Vista and P. Wood
        Dept of CS, Univ. of Toronto and Univ. of Cape Town

DEMO Presentation 1: 9:40 -- 10:00

ADITI
        K. Ramamohanarao et al.
        Univ. of Melbourne

COFFEE BREAK: 10:00 -- 10:20

SESSION 2: 10:20 -- 12:20

DEMO Presentation 2: 10:20 -- 10:40

C{*filter*}
        R. Ramakrishnan et al.
        Univ. of Wisconsin-Madison

TALKS: 10:40 -- 12:00

Improving Data Quality Via LDL++
        C. Zaniolo
        CS Dept., UCLA
        E. Tsou, L. Foggiato-Bish, I. Garcia, G. Tillman, D. Tryon, W. Wood
        Pacific Bell
Using LDL++ for Spatio-temp{*filter*}Reasoning in Atmospheric Science ...
        R.R. Muntz, E.C. Shek and C. Zaniolo
        CS Dept., UCLA
Modeling and Data Management in C{*filter*}
        A. Saran, K. Park, Y. Chen, A.P. Aguiar, T.R. Smith, J. Su
        Dept. of CS, UCSB
A Declarative Language Environment for Knowledge-Workers
        O. Friesen
        Groupe Bull, Phoenix

DEMO Presentation 3: 12:00 -- 12:20

LOLA
        B. Freitag et al.
        Institut fur Informatik, Technische Universitat Muenchen

LUNCH: 12:20 -- 1:30

SESSION 3: 1:30 -- 3:30

DEMO Presentation 4: 1:30 -- 1:50

XSB
        T. Swift and D.S. Warren
        SUNY at StonyBrook

Programming the PTQ Grammar in XSB
        D.S. Warren
        Dept. of CS, SUNY-StonyBrook
AMOS: A Natural Language Parser in LOLA
        G. Specht, B. Freitag, H. Schuetz
        Institut fur Informatik, Technische Universitat Muenchen
A New User's Impressions on LDL++ and CORAL.
        P. Hsu and C. Zaniolo
        CS Dept., UCLA
LogicBase: A Testbed for Deductive Query Evaluation
        J. Han, L. Liu and Z. Xie
        School of Computing Science, Simon Fraser University

DEMO Presentation 5: 3:10 -- 3:30

LOGICBASE
        J. Han et al.
        Simon Fraser University

BREAK: 3:30 -- 3:50

DEMO Presentation 6: 3:50 -- 4:10

GLUE/NAIL
        M. Derr and G. Phipps
        AT&T Bell Labs and Sun

PANEL DISCUSSION: 4:10 -- 5:30



Wed, 27 Mar 1996 00:31:56 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. Final CFP ILPS'95 Workshop: Constraints, Databases, Logic Programming

2. Final Program: ILPS '93 Global Compilation Workshop

3. CFP: ILPS'95 Workshop on Constraints, Databases and Logic Programming

4. ILPS'95 Workshop on Constraints, Databases and Logic Programming

5. Call For Papers - ILPS'93 - INTERNATIONAL LOGIC PROGRAMMING SYMPOSIUM

6. Advance Program: ILPS'91 Workshop on Parallel Execution of Logic Programs

7. ICLP'93 Workshop: Logic Programming With Sets

8. ICLP'93 WORKSHOP: Concurrent, Distributed and Parallel Implementations of Logic Programming Systems

9. ICLP'93 Workshop: LOGIC PROGRAMMING WITH SETS

10. ICLP'93 Workshop: Blackboard-based Logic Programming

11. CFP: PLILP'93 (Programming Language Implementation and Logic Programming)

12. CFP: ILPS'95 Workshop on Logic Programming Environments

 

 
Powered by phpBB® Forum Software