Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.
E-BookPDF1 - PDF WatermarkE-Book
394 Seiten
Englisch
Springer International Publishingerschienen am16.06.20231st ed. 2023
Verfügbare Formate
BuchKartoniert, Paperback
EUR80,24
E-BookPDF1 - PDF WatermarkE-Book
EUR80,24

Produkt

Details
Weitere ISBN/GTIN9783031352546
ProduktartE-Book
EinbandartE-Book
FormatPDF
Format Hinweis1 - PDF Watermark
FormatE107
Erscheinungsjahr2023
Erscheinungsdatum16.06.2023
Auflage1st ed. 2023
ReiheLecture Notes in Artificial Intelligence
Seiten394 Seiten
SpracheEnglisch
IllustrationenXVI, 394 p. 129 illus., 99 illus. in color.
Artikel-Nr.11681961
Rubriken
Genre9200

Inhalt/Kritik

Inhaltsverzeichnis
Background.- Introduction to Prolog.- About Prolog, present and future.- Types, modes and so much more - the Prolog way.- Manuel Carro Prolog as a Knowledge Representation Language.- Prolog: Past, Present, and Future.- Writing Correct Prolog Programs.- Demonstrating Multiple Prolog Programming Techniques through a Single Operation.- Logical Semantics for Prolog.- The Janus System: A Bridge to New Prolog Applications.- Teaching Prolog.- Some Thoughts on How to Teach Prolog.- Simultaneously Teaching Mathematics and Prolog in School Curricula: A Mutual Benefit.- Logic Programming at Elementary School: Why, what and how should we teach Logic Programming to children.- Prolog Education in Selected High Schools in Bulgaria.-Introducing Prolog in Language-Informed Ways.- Tools for teaching Prolog.- Teaching Prolog with Active Logic Documents.- Simply Logical - The First Three Decades.- Prolog-based languages and systems Dynamic Logic Programming.- Combining Prolog and Imperative Computing in LPS.- Quintero Ergo: A Quest for Declarativity in Logic Programming.- Prolog applications: finalists for the Colmerauer prize ProB: Harnessing the Power of Prolog to Bring Formal Models and Mathematics to Life.- Pacioli: a PROLOG system for financial report validation.- Logic Model Processing.- Symbium: Using logic programming to streamline citizen-to-government interactions.- PROLEG: Practical Legal Reasoning System.- Contributed Prolog applications.- Logical English for Law and Education.- Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives.- Prolog meets Biology.- Prolog in Automated Reasoning in Geometry.- Logic-based Explainable and Incremental Machine Learning.- Reflections on Automation, Learnability and Expressiveness in Logic-based Programming Languages.- Prolog for Scientific Explanation.- Machines as Thought Partners: Reflections on 50 Years of Prolog.mehr

Autor