ICLP'93 Workshop: Deductive Databases 
Author Message
 ICLP'93 Workshop: Deductive Databases

                            Call for Papers
                 ICLP'93  Postconference Workshop on
                          Deductive Databases

                          Budapest, Hungary
                            June 25, 1993

       Sponsored by the Association of Logic Programming

One  of  the principal aims of  research  in deductive databases is to
provide   a  declarative  programming framework for building  database
applications.  The research  is  also concerned  with  alleviating the
shortcomings of  traditional database  programming languages like  SQL
etc.   A   deductive database   system  combines traditional  database
facilities with a powerful LOGIC-BASED language for queries, reasoning
and  application development. Recent  research  in this area  has been
closely  linked to  research  in Non-monotonic reasoning, Semantics of
logic programs and Ordered logic.

The workshop is intended to  bring together researchers (theoreticians
as well as practicioners) involved in the area of  deductive databases
and deductive computing. The aim is to  provide a forum for discussing
and exchanging  ideas on various  aspects of  deductive databases such
as:
        - Object-oriented deduction (i.e. hierarchies and deduction)
        - Negation
        - Non-monotonic deduction
        - Sets (matching and unification)
        - Paraconsistency
        - Abstract data types
        - Meta programming
        - Compilation techniques (magic sets, counting etc.)
        - Abstract machines (execution architectures and computational models)
        - Query optimization techniques
        - Applications

Papers   (full  papers and extended abstracts)   are solicited on  any
aspect of deductive databases. Papers must be written in English, must
not exceed 10 pages, and should include both  an abstract and keywords
to define the   topic.  Authors are   asked to submit four  copies  to
either Els Laenens or Natraj Arni at the addresses below.

Submit papers to either:
        Els Laenens                         Natraj Arni
        Dept. of Math. and CS               MCC
        University of Antwerp (RUCA)        3500, West Balcones Ctr. Dr.
        Groenenborgerlaan 171               Austin, TX. 78759
        2020 Antwerpen                      U.S.A.
        Belgium


        Phone: +32 3 218.04.77              Phone: +1 512 338-3718
        Fax:   +32 3 820.22.44              Fax:   +1 512 338-3890

Submissions Due:        April 1, 1993
Notification:           May 1, 1993
Final Version Due:      May 15, 1993



Sun, 13 Aug 1995 09:56:52 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. Workshop on Deductive Databases at ICLP'93

2. Proceedings Concurrent Constraint Workshop (ICLP'93)

3. ICLP'93 Workshop on CONCURRENT CONSTRAINT PROGRAMMING

4. ICLP'93 - Postconference Workshop on CCP (Reposting)

5. ICLP'93 Workshop: Concurrent Constraints

6. ICLP'93 Workshop: Logic Programming With Sets

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

8. ICLP'93 Workshop: CONCURRENT CONSTRAINT PROGRAMMING

9. ICLP'93 Workshop: LOGIC PROGRAMMING WITH SETS

10. ICLP'93 Workshop: Concurrent Implementations

11. ICLP'93 Workshop: Practical Implementations

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

 

 
Powered by phpBB® Forum Software