Logic Programming in Action : Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7 11, 1992 Proceedings

Logic Programming in Action : Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7 11, 1992 Proceedings

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...

Descrizione completa

Salvato in:
Dettagli Bibliografici
Altri autori: Comyn, Gérard, 19..- (Direttore editoriale), Fuchs, Norbert (Direttore editoriale), Ratcliffe, Michael (Direttore editoriale)
Natura: Livre numérique
Lingua:Anglais
Pubblicazione: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
Serie:Lecture notes in computer science. Lecture notes in artificial intelligence 636
Soggetti:
Génie logiciel
Informatique
Ordinateurs
Intelligence artificielle
Logique symbolique et mathématique
Programmation logique
Ingénierie assistée par ordinateur
Actes de congrès
Accesso online:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Nota: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Logic programming in action, Second international Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992, proceedings, G. Comyn, N.E. Fuchs, M. Ratcliffe (eds.), Berlin, Springer-Verlag, 1992, 1 vol. (X-324 p.), Lecture notes in computer science, 3-540-55930-2
• Logic Programming in Action, Texte imprimé, 9783662213575
Sommario:
  • 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.

Documenti analoghi