ALPUK91

Duncan Tim Mellish Chris Wiggins Geraint A.

ISBN 10: 0387197346 / ISBN 13: 9780387197340

Verlag: Springer, 1992

pp. viii + 215. Bestandsnummer des Verkäufers 1845373007

Inhaltsangabe:

Seit seiner Konzeption vor fast 20 Jahren wurde Logic Programming – die Idee, Logik als Programmiersprache zu verwenden – so weit entwickelt, dass sie heute in Bereichen wie Datenbanktheorie, Künstliche Intelligenz und Software-Engineering eine wichtige Rolle spielt. Es gibt jedoch noch viele herausfordernde Forschungsfragen zu lösen, und der britische Zweig der Association for Logic Programming wurde gegründet, um ein Forum zu bieten, in dem die florierende Forschungsgemeinschaft wichtige Fragen der Logikprogrammierung diskutieren konnte, die auf den großen internationalen Konferenzen oft umgangen wurden. Dieser Band enthält die zwölf Papiere, die auf der 3. Konferenz von ALPUK präsentiert wurden, die am 10. bis 12. April 1991 in Edinburgh gehalten wurde. Ziel der Konferenz war es, einen breiten, aber detaillierten technischen Einblick in die derzeit auf diesem Gebiet geleistete Arbeit sowohl in Großbritannien als auch von Forschern bis hin zu Kanada und Bulgarien zu geben. Das breite Interesse in diesem Bereich der Informatik spiegelt sich in der Bandbreite der Arbeiten wider, die unter anderem massiv parallele Implementierung, Constraint Logic Programmierung, Schaltungsmodellierung, algebraische Nachweise von Programmeigenschaften, deduktive Datenbanken, spezialisierte Redakteure und Standardisierung abdecken. Das resultierende Band gibt einen guten Überblick über die aktuellen Fortschritte auf dem Gebiet und wird für Forscher und Studenten aller Aspekte der Logikprogrammierung, Parallelcomputing oder Datenbanktechniken und Management von Interesse sein.

Bibliografische Details

Titel: ALPUK91
Verlag: Springer
Erscheinungsdatum: 1992
Einband: Softcover
Zustand: New