Extensions of Logic Programming Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings
-
- Englisch ausgewählt
49,99 €
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
12.02.1993
Abbildungen
X, 426 p.
Herausgeber
Evelina Lamma + weitereVerlag
Springer BerlinSeitenzahl
426
Maße (L/B/H)
23,5/15,5/2,4 cm
Gewicht
657 g
Auflage
1993
Sprache
Englisch
ISBN
978-3-540-56454-6
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.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.
Kurze Frage zu unserer Seite
Vielen Dank für dein Feedback
Wir nutzen dein Feedback, um unsere Produktseiten zu verbessern. Bitte habe Verständnis, dass wir dir keine Rückmeldung geben können. Falls du Kontakt mit uns aufnehmen möchtest, kannst du dich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice