kersch@usceast.UUCP (Larry Kerschberg) (02/12/86)
THIS IS A LONG ITEM
--------------------------------------------------------------------------
Conference Advance Program and Registration Forms
First International Conference on Expert Database Systems
Sheraton Charleston Hotel
April 1-4, 1986
Sponsored by:
Institute of Information Management, Technology and Policy
College of Business Administration
University of South Carolina
In Cooperation With:
American Association for Artificial Intelligence (AAAI)
Association for Computing Machinery -- SIGMOD, SIGART, and SIGPLAN
IEEE Computer Society -- Technical Committee on Data Base Engineering
Agence de l'Informatique, France
Tuesday, April 1, 1986
Tutorial Day
8:30 am - 12:00 pm Morning Parallel Tutorials I
IA: Introduction to Artificial Intelligence
Instructor: Dr. Elaine Rich, MCC, Austin, Texas
Dr. Rich is currently leading a natural language research team at
MCC. She is the author of the widely-read book, Artificial
Intelligence, as well as numerous technical papers.
Course Description: This tutorial will provide an introduction to the
important concepts and techniques of Artificial Intelligence (AI).
The major topics are: What is an AI technique?; Problem solving as
heuristic search; Heuristic search techniques such as hill climbing,
best first search, problem decomposition, constraint satisfaction;
Knowledge representation and inference including logic-based methods,
default reasoning, slot and filler methods and production rules.
IB: Database Management
Instructor: Professor Michael Stonebraker, UC - Berkeley, California
Dr. Stonebraker is a full professor of Computer Science at the
University of California, Berkeley. He is the original implementor of
the INGRES system and is a co-founder of Relational Technology, Inc.
which markets INGRES to engineering and business users.
Course Description: This tutorial will provide an overview of
Database Management. The major topics are: Traditional data models
and query languages including network, hierarchical, and relational
models; Database services such as transaction management, query
optimization, protection, views, integrity control; New approaches to
data models including semantic data models, logic programming, CAD/CAM
data models; Themes of Expert Database Systems such as extended views,
active databases, procedural objects, inheritance, and new data types.
1:30 pm - 5:00 pm Afternoon Parallel Tutorials II
IIA: Expert Systems -- An Introduction
Instructor: Professor Charles Rich, MIT, Cambridge, Massachusetts
Dr. Rich is Principal Research Scientist at the Artificial
Intelligence Laboratory of Massachusetts Institute of Technology. He
is co-principal investigator of the Programmer's Apprentice Project at
MIT.
Course Description: This is an introductory tutorial for those who
intend to develop or manage the development of new expert systems, as
well as those who want to evaluate the potential for using expert
systems in their own work. No previous background is assumed. The
topics include: Expert systems features including expert-level
performance, symbolic and heuristic information, and the separation of
Knowledge from Inference; Application areas for expert systems;
Programming techniques used for expert system development including
rules, frames, logic programming; and the use of incremental
prototypes for expert systems development.
IIB: Logic Programming and Databases
Instructor: Dr. Steve Hardy, Teknowledge, Inc., Palo Alto, California
Dr. Hardy is currently Product Manager at Teknowledge. He was the
Principal Designer of the M.1 Expert System Shell.
Course Description: This tutorial will provide an overview of the
important concepts relating to logic programming and databases. The
major topics are: Logic and databases; Prolog: A logic language;
Prolog: Its practical difficulties; High-level logic languages
including shells for Prolog; Current applications; What the future
holds.
Wednesday, April 2, 1986
8:00-12:00 am Registration
8:45-9:00 am Opening Remarks
Chairman: Donald A. Marchand, University of South Carolina, USA
9:00-10:00 am Keynote Address
Chairman: Larry Kerschberg, University of South Carolina, USA
To be announced
Ronald J. Brachman and Hector J. Levesque*, AT&T Bell Labs, USA
and University of Toronto*, Canada
10:00-10:30 am Coffee Break
10:30-12:00 am Session 1: Object-Oriented Systems
Chairman: Reid Smith, Schlumberger-Doll Research, USA
Object Prototypes and Database Samples for Expert Database Systems
G.T. Nguyen, IMAG, Universite de Grenoble, France
Displaying Database Objects
D. Maier, P. Nordquist* and M. Grossman, Oregon Graduate
Center and Intel Corp.*, USA
A Personal Universal Filing System Based on the Concept-Relation Model
H. Fujisawa, A. Hatakeyama and J. Higashino, Hitachi, Ltd., Japan
12:00-1:30 pm Lunch
1:30-3:00 pm Afternoon Parallel Sessions
Session 2A: Theory of Knowledge Bases
Chairman: Setsuo Ohsuga, University of Tokyo, Japan
Control of Processes by Communication over Ports as a Paradigm for
Distributed Knowledge-Based System Design
A.S. Cromarty, Advanced Information and Decision Systems, USA
Representing and Manipulating Knowledge Within "Worlds"
H. Kaufmann and A. Grumbach*, C.G.E..-- Laboratoires de
Marcoussis and Ecole Superieure d'Electricite*, France
Completeness and Consistency in Knowledge Base Systems
W. Marek, University of Kentucky, USA
Session 2B: Intelligent Database Interfaces
Chairman: Bonnie L. Webber, University of Pennsylvania, USA
Supporting Goal Queries in Relational Databases
A. Motro, University of Southern California, USA
Design and Experimentation of IR-NLI: An Intelligent User Interface
to Bibliographic Databases
G. Brajnik, G. Guida and C. Tasso, Universita di Udine, Italy
When does Non-Linear Text Help?
D. Shasha, New York University, USA
3:00-3:30 pm Coffee Break
3:30-5:00 pm Panel Session: Are Data Models Dead?
Chairman: Michael L. Brodie, Computer Corporation of America, USA
6:30-9:30 pm Great Gatsby Night
Thursday, April 3, 1986
8:30-10:00 am Session 4: Knowledge System Architectures
Chairman: Michele Missikoff, IASI-CNR, Italy
The Do-Loop Considered Harmful in Production System Programming
M. van Biema, D.P. Miranker and S.J. Stolfo, Columbia
University, USA
A Relational Representation for Knowledge Bases
R.M. Abarbanel and M.D. Williams, IntelliCorp, USA
Interfacing Relational Databases and Prolog Efficiently
S. Ceri, G. Gottlob and G. Wiederhold, Stanford University, USA
10:00-10:30 am Coffee Break
10:30-12:00 am Morning Parallel Sessions
Session 5A: Deductive Databases
Chairman: D. Stott Parker, Jr., UCLA and Silogic, USA
Negative Queries in Horn Databases
Shamin Naqvi, AT&T Bell Laboratories, USA
Safety and Compilation of Non-Recursive Horn Clauses
Carlo Zaniolo, MCC, USA
Recursive Axioms in Deductive Databases: The Query/Subquery Approach
L. Vieille, European Computer-Industry Research Center (ECRC),
West Germany
Session5B: Reasoning in Expert Database Systems
Chairman: James Bezdek, University of South Carolina, USA
Evaluation of Recursive Queries Using Join Indices
P. Valduriez and H. Boral, MCC, USA
An Algebraic Approach to Recursive Inference
Y.E. Ioannidis and E. Wong, University of California - Berkeley, USA
A Fuzzy Relational Calculus
A. Zvieli, Louisiana State University, USA
12:00-1:30 pm Lunch
1:30-3:30 pm Afternoon Parallel Sessions
Session 6A: Semantic Query Optimization
Chairman: Matthias Jarke, New York University, USA
A Knowledge-Based Approach to Query Optimization
C.V. Malley and S.B. Zdonik, Brown University, USA
Semantic Query Optimization: Additional Constraints and Control
Strategies
U.S. Chakravarthy, J. Minker and J. Grant*, University of
Maryland and Towson State University*, USA
Integrity Enforcement on Prolog-based Deductive Databases
H. Decker, ECRC, West Germany
Session 6B: Knowledge-Based Modeling and Design
Chairman: Edgar H. Sibley, George Mason University, USA
Modeling Linguistic User Interfaces
M. Pilote, Toronto, Canada
How Abstraction Can Reduce Ambiguity in Explanation Problems
S. Letovsky, Yale University, USA
A Framework for Design/Redesign Experts
A.L. Furtado, M.A. Casanova* and L. Tucherman*, Pontificia
Universidade Catolica do Rio de Janeiro and IBM do Brasil*, Brazil
Flexible Interfaces and the Support of Physical Database Design Reasoning
M. Prietula and G. Dickson*,Dartmouth College and University
of Minnesota*, USA
3:30-4:00 pm Coffee Break
4:00-5:30 pm 7. Panel Session: Inference in Expert Database Systems
Chairman: Herve Gallaire, ECRC, West Germany
6:00-9:00 pm Red, White and Bluegrass Night
Friday, April 4, 1986
8:00-10:00 am Session 8: Knowledge Management
Chairman: Alain Pirotte, Philips Research Lab, Belgium
An Analysis of Rule Indexing Implementations in Data Base Systems
M. Stonebraker, T. Sellis and E. Hanson, UC-Berkeley, USA
Querying a Rule Base
L. Cholvy and R. Demolombe, Centre d'Etudes et de Recherches
de Toulouse, France
Updating Propositional Formulas
A. Weber, Universitat Karlsruhe, West Germany
Invited Lecture: Beyond the Knowledge Level
Mark. S. Fox, Carnegie-Mellon University, USA
10:00-10:30 am Coffee Break
10:30-12:00 am 9. Panel Session: Open Issues in Expert Database Systems
Chairman: Robert Balzer, USC- Information Sciences Institute, USA
12:00-12:15 pm Closing Ceremony
Chairman: Donald A. Marchand, University of South Carolina, USA
--------------------------------------------------------------------------------
Please fill out, detach and mail the Registration and Hotel forms
with your remittance
--------------------------------------------------------------------------------
First International Conference on Expert Database Systems
Sheraton Charleston Hotel
April 1-4, 1986
Conference Registration Form
All Payments must be made in US Currency. Make checks payable to the
Institute of Information Managment, Technology and Policy and mail the
form to
Ms. Libby Shropshier, Conference Treasurer
Institute of IMTP
College of Business Administration
University of South Carolina
Columbia, SC, 29208
Telephone: (803) 777-5766
Please complete the requested information:
Name ________________________________________________________
Affiliation ______________________________________________________
Address _______________________________________________________
City, State ZIP ___________________________________________________
Country ___________________________
Business Telephone __________________________________
Indicate your ACM, AAAI, or IEEE Membership Number:
Society ________________ Number _________________
Conference Registration Fee remitted ______________________
Tutorial Registration Fee remitted ______________________
Indicate desired tutorials
Morning
______ IA: Introduction to Artificial Intelligence
______ IB: Database Management
Afternoon
______ IIA: Expert Systems -- An Introduction
______ IIB: Logic Programming and Databases
Additional Social Function Tickets (For Guest/Spouse)
______ Hospitality Hour -- $10.00 each _______________________
______ Great Gatsby Night -- $40.00 each _______________________
______ Red, White and Bluegrass Night -- $38.00 each _________________
Total _______________________
-------------------------------------------------------------------------------
First International Conference on Expert Database Systems
Sheraton Charleston Hotel
April 1-4, 1986
Hotel Registration Form
Room Rates: $65.00 Single/ $78.00 Double
These rates are valid until March 11, 1986
Please fill out and mail to:
Sheraton Charleston Hotel
170 Lockwood Drive
Charleston, SC 29403
Attention: Reservation Manager
Name ___________________________________________________
Address ___________________________________________________
City, State, ZIP _____________________________________________
Country ____________________________
Phone (Home) ___________________ (Work) ___________________
Company Name _____________________________________________
Arrival Date ____________________ Number of nights ________________
Number of Persons ______________ Departure Date ________________
Sharing with __________________________________________________
Reservations will be held until 4:00 pm Charleston time. A deposit or
guarantee by a major credit card at one night's rate is required to
hold a room after 4:00 pm. Check out time is 12:00 noon. Check in
time is 3:00 pm. Credit cards honored are American Express, Carte
Blanche, Diners Club, Visa, and MasterCard.
Guaranteed Reservation? _________
If so, provide Credit Card Name __________________________________
Credit Card Number __________________________________
Expiration Date: __________________________________
-------------------------------------------------------------------------------