Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Logic Programming in Action: Second International Logic Programming Summer School, LPSS ' 92, Zurich, Switzerland, September 7-11, 1992. Proceedings > Constraint Logic Programming
Logic Programming in Action: Second International Logic Programming Summer School, LPSS ' 92, Zurich, Switzerland, September 7-11, 1992. Proceedings |
Gerard Comyn; Norbert E. Fuchs; Michael J. Ratcliffe
Springer Berlin Heidelberg
Logic Programming in Action: Second International Logic Programming Summer School, LPSS ' 92, Zurich, Switzerland, September 7-11, 1992. Proceedings
Constraint Logic Programming
Authors

Thom Frühwirth; Alexander Herold; Volker Küchenhoff; Thierry Le Provost; Pierre Lim; Eric Monfroy et al.

ARI Id

1664806901834_3302439

Access

Not Available Free

Pages

3-35

DOI

10.1007/3-540-55930-2_2

Chapter URL

https://rd.springer.com/chapter/10.1007/3-540-55930-2_2

Table of Contents of Book
Showing 1 to 20 of 24 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Theory and practice in logic programming
Robert Kowalski
1-2
Constraint Logic Programming
Thom Frühwirth; Alexander Herold; Volker Küchenhoff; Thierry Le Provost; Pierre Lim; Eric Monfroy et al.
3-35
Scheduling and optimisation in the Automobile Industry
Michel d'; Andrea
36-44
Factory scheduling using finite domains
Owen V. Evans
45-53
The Prince project and its applications
Pierre -Joseph Gailly; Wolfgang Krautter; Christophe Bisière; Sylvie Bescos
54-63
A (Gentle) introduction to deductive databases
Shalom Tsur
64-79
Knowledge based PPS applications in PROTOS-L
Christoph Beierle
80-90
The SECReTS banking expert system from phase 1 to phase 2
Carlo Chiopris
91-99
Logic engineering and clinical dilemmas
John Fox
100-108
A knowledge-based approach to strategic planning
Edward H. Freeman
109-117
Expert systems in mining
Lutz Plümer
118-126
Natural and formal language processing
Michael Hess
127-175
PUNDIT — Natural language interfaces
Deborah A. Dahl
176-185
The Esteam-316 dialogue manager
Thomas Grossi; Didier Bronisz; François Jean-Marie
186-202
Legislation as logic programs
Robert A. Kowalski
203-230
Knowledge representation for natural language processing
Udo Pletat
231-241
A set of tools for VHDL design
Peter Reintjes
242-251
Tutorial notes: Reasoning about logic programs
Alan Bundy
252-277
Software formal specification by logic programming: The example of standard Prolog
AbdelAli Ed-Dbali; Pierre Deransart
278-289
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 24 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings