Deductive databases can be used for building intelligent information systems. Logic programming provides a powerful declarative language for accessing and maintaining knowledge in deductive databases, and techniques from automated deduction and deductive databases are useful for achieving efficient retrieval and reasoning in large knowledge bases. Recent results in (constraint) logic programming, program transformation and optimization, and non-monotonic reasoning have been useful for extending the expressive power and the computational efficiency of deductive database systems.This will be the ninth in a series of workshops on Deductive Databases and Logic Programming (DDLP) which were held in conjunction with the International Conferences on Logic Programming ICLP (1993 - 1998) and the International Conferences on Applications of Prolog INAP (1999, 2000), respectively. With the goal of creating opportunities for active discussions on new research directions and the exchange of latest results in the above areas, we are organizing this workshop; the presentations are planned to be half an hour.
After the conference it will be possible to submit papers to a Springer Lecture Notes in Computer Science volume on Content Management and Decision Support Systems with the best papers of the INAP conference. The submitted papers will be reviewed again.
Topics of Interest
Suggested topics for submissions include, but are not limited to:
- Content Management and Knowledge Bases
- XML, Semi-Structured Knowledge
- Web Applications
- Uncertain Knowledge, Non-Monotonic Reasoning
- Multi-Agent Systems
- Query Languages and Query Optimization
- Data Mining, Inductive Logic Programming
- Constraint, Spatial, Temporal, and Object-Oriented Databases
- Deductive Geographical Information Systems
- Decision Support Systems
Submissions
The primary focus is on new and original research. But we also encourage the submission of papers describing products, prototypes in development or benchmarks. Full papers or extended abstracts in English of 6 to 10 pages are welcome. Authors are invited to send their papers to the organizer. Submission in LaTeX format by e-mail is encouraged.
Important Dates
Submission Deadline: August 01, 2001 Notification of Acceptance: August 20, 2001 Camera Ready Version: September 07, 2001 INAP Conference: October 20-22, 2001 Organizer
Dietmar Seipel (University of Würzburg, Germany)
Email: seipel@informatik.uni-wuerzburg.de