Erschienen: 12.02.1993 Abbildung von Lamma / Mello | Extensions of Logic Programming | 1993

Lamma / Mello

Extensions of Logic Programming

Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings

lieferbar (3-5 Tage)

1993. Buch. x, 426 S. Bibliographien. Softcover

Springer. ISBN 978-3-540-56454-6

Format (B x L): 15,5 x 23,5 cm

Gewicht: 1340 g

In englischer Sprache

Produktbeschreibung

This book contains papers which investigate how to extend
logic programming toward the artificial intelligence and
software engineering areas, covering both theoretical and
practical aspects. Some papers investigate topics such as
abductive reasoning and negation. Some works discuss how to
enhance the expressive power of logic programming by
introducing constraints, sets, and integration with
functional programming. Other papers deal with the
structuring of knowledge into modules, taxonomies, and
objects, withthe aim of extending logic programming toward
software engineering applications. A section is devoted to
papers concentrating on proof theory and inspired by
Gentzen-style sequent or natural deduction systems. Topics
such as concurrency are considered to enhance the expressive
power of logic languages. Finally, some papers mainly
concernimplementation techniques for some of these logic
programming extensions.

Gesamtwerk

Die 8. Auflage ist wieder auf sechs Bände angelegt. Darin finden sich übersichtlich und in systematischer Gliederung Vertragsmuster aus der Feder erfahrener Experten. Jedem dieser Muster folgen Anmerkungen, mit denen der dem Vertragsentwurf zu Grunde liegende Sachverhalt und die Gründe für die Wahl des spezifischen Formulars erläutert werden.

Autoren

  • Dieses Set enthält folgende Produkte:
      Auch in folgendem Set erhältlich:
      • nach oben

        Ihre Daten werden geladen ...