Amazon cover image
Image from Amazon.com

Applications of declarative programming and knowledge management : 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 / Dietmar Seipel [and others] (eds.).

By: Contributor(s): Material type: TextTextPublisher number: 11415763Series: Lecture notes in computer science ; 3392. | Lecture notes in computer science. Lecture notes in artificial intelligence.Publication details: Berlin ; New York : Springer, ©2005.Description: 1 online resource (x, 308 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783540321248
  • 3540321241
  • 3540255605
  • 9783540255604
Other title:
  • Declarative programming and knowledge management
  • 15th International Conference on Applications of Declarative Programming and Knowledge Management
  • International Conference on Applications of Declarative Programming and Knowledge Management
  • INAP 2004
  • 18th Workshop on Logic Programming
  • Workshop on Logic Programming
  • WLP 2004
Subject(s): Genre/Form: Additional physical formats: Print version:: Applications of declarative programming and knowledge management.DDC classification:
  • 005/.3/1 22
LOC classification:
  • QA76.615 .I57 2004
Other classification:
  • SS 4800
  • 004
  • DAT 703f
  • DAT 706f
  • DAT 614f
Online resources:
Contents:
Knowledge management and decision support -- Constraint programming and constraint solving -- Declarative programming and web-based systems.
In: OhioLINK electronic book center In: SpringerLinkSummary: This volume contains a selection of papers presented at the 15th International Conference on Applications of Declarative Programming and Knowledge M- agement, INAP 2004, and the 18th Workshop on Logic Programming, WLP 2004, which were held jointly in Potsdam, Germany, from March 4th to 6th, 2004. Declarative programming is an advanced paradigm for the modeling and solving of complex problems. This speci?cation method has become more and more attractive in recent years, for example, in the domains of databases, for the processing of natural language, for the modeling and processing of combinatorial problems, and for establishing knowledge-based systems for the Web. The INAP conferences provide a forum for intensive discussions of appli- tions of important technologies around logic programming, constraint problem solving, and closely related advanced software. They comprehensively cover the impact of programmable logic solvers in the Internet society, its underlying te- nologies, and leading-edge applications in industry, commerce, government, and social services. The Workshops on Logic Programming are the annual meeting of the Society for Logic Programming (GLP e.V.). They bring together researchers interested in logic programming, constraint programming, and related areas like databases and arti?cial intelligence. Previous workshops have been held in Germany, A- tria, and Switzerland. Thetopicsoftheselectedpapersofthisyear'sjointconferenceconcentrateon three currently important?elds: knowledge management and decision support, constraint programming and constraint solving, and declarative programming and Web-based systems.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Includes bibliographical references and index.

Knowledge management and decision support -- Constraint programming and constraint solving -- Declarative programming and web-based systems.

Print version record.

This volume contains a selection of papers presented at the 15th International Conference on Applications of Declarative Programming and Knowledge M- agement, INAP 2004, and the 18th Workshop on Logic Programming, WLP 2004, which were held jointly in Potsdam, Germany, from March 4th to 6th, 2004. Declarative programming is an advanced paradigm for the modeling and solving of complex problems. This speci?cation method has become more and more attractive in recent years, for example, in the domains of databases, for the processing of natural language, for the modeling and processing of combinatorial problems, and for establishing knowledge-based systems for the Web. The INAP conferences provide a forum for intensive discussions of appli- tions of important technologies around logic programming, constraint problem solving, and closely related advanced software. They comprehensively cover the impact of programmable logic solvers in the Internet society, its underlying te- nologies, and leading-edge applications in industry, commerce, government, and social services. The Workshops on Logic Programming are the annual meeting of the Society for Logic Programming (GLP e.V.). They bring together researchers interested in logic programming, constraint programming, and related areas like databases and arti?cial intelligence. Previous workshops have been held in Germany, A- tria, and Switzerland. Thetopicsoftheselectedpapersofthisyear'sjointconferenceconcentrateon three currently important?elds: knowledge management and decision support, constraint programming and constraint solving, and declarative programming and Web-based systems.

English.

Available to OhioLINK libraries.

Powered by Koha