Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3392)
Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)
Conference series link(s): INAP: International Conference on Applications of Declarative Programming and Knowledge Management, WLP: Workshop on Logic Programming
Conference proceedings info: INAP 2004, WLP 2004.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsThis is a preview of subscription content, access via your institution.
Table of contents (20 papers)
-
Front Matter
-
Knowledge Management and Decision Support
-
Constraint Programming and Constraint Solving
-
Declarative Programming and Web-Based Systems
About this book
Keywords
- SQL
- Self
- Web knowledge processing
- agent-based systems
- classification
- constraint problem solving
- constraint programming
- decision support
- declarative programming
- knowledge base
- knowledge-based systems
- logic
- modeling
- prolog
- semantics
Editors and Affiliations
-
Universität Würzburg, Würzburg, Germany
Dietmar Seipel
-
Institut für Informatik, CAU Kiel, Germany
Michael Hanus
-
Fraunhofer FIRST, Berlin
Ulrich Geske
-
IF Computer Japan, Tokyo, Japan
Oskar Bartenstein
Bibliographic Information
Book Title: Applications of Declarative Programming and Knowledge Management
Book Subtitle: 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers
Editors: Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/b135595
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2005
Softcover ISBN: 978-3-540-25560-4Published: 04 April 2005
eBook ISBN: 978-3-540-32124-8Published: 01 April 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 314
Topics: Compilers and Interpreters, Artificial Intelligence, Programming Techniques