Buch, Englisch, Band 636, 330 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1060 g
Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings
Buch, Englisch, Band 636, 330 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1060 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-55930-6
Verlag: Springer Berlin Heidelberg
Logic programming enjoys a privileged position. It is firmly
rooted in mathematical logic, yet it is also immensely
practical, as a growing number of users in universities,
research institutes, and industry are realizing. Logic
programming languages, specifically Prolog, have turned out
to be ideal as prototyping and application development
languages.
This volume presents the proceedings of the Second Logic
Programming Summer School, LPSS'92. The First Logic
Programming Summer School, LPSS '90, addressed the
theoretical foundations of logic programming. This volume
focuses onthe relationship between theory and practice, and
on practical applications.
The introduction to the volume is by R. Kowalski, one of the
pioneers in the field. The following papers are organized
into sections on constraint logic programming, deductive
databases and expert systems, processing of natural and
formal languages, software engineering, and education.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
- Mathematik | Informatik EDV | Informatik Business Application Unternehmenssoftware SAP
- Mathematik | Informatik EDV | Informatik Professionelle Anwendung Computer-Aided Design (CAD)
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Objektorientierte Softwareentwicklung
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmierung: Methoden und Allgemeines
- Technische Wissenschaften Elektronik | Nachrichtentechnik Elektronik Robotik
- Wirtschaftswissenschaften Betriebswirtschaft Wirtschaftsinformatik, SAP, IT-Management
- Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik
- Technische Wissenschaften Technik Allgemein Konstruktionslehre und -technik
- Mathematik | Informatik EDV | Informatik Angewandte Informatik Computeranwendungen in Wissenschaft & Technologie
- Geisteswissenschaften Design Produktdesign, Industriedesign
- Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz Wissensbasierte Systeme, Expertensysteme
- Technische Wissenschaften Technik Allgemein Computeranwendungen in der Technik
Weitere Infos & Material
Theory and practice in logic programming.- Constraint Logic Programming.- Scheduling and optimisation in the Automobile Industry.- Factory scheduling using finite domains.- The Prince project and its applications.- A (Gentle) introduction to deductive databases.- Knowledge based PPS applications in PROTOS-L.- The SECReTS banking expert system from phase 1 to phase 2.- Logic engineering and clinical dilemmas.- A knowledge-based approach to strategic planning.- Expert systems in mining.- Natural and formal language processing.- PUNDIT — Natural language interfaces.- The Esteam-316 dialogue manager.- Legislation as logic programs.- Knowledge representation for natural language processing.- A set of tools for VHDL design.- Tutorial notes: Reasoning about logic programs.- Software formal specification by logic programming: The example of standard Prolog.- The art of computer un-programming: Reverse engineering in Prolog.- Opium — An advanced debugging system.- Automatic theorem proving within the portable AI Lab.
