Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning / Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday / Marcello Balduccini (u. a.) / Taschenbuch / Book - edizione con copertina flessibile

Libro nella banca dati dal 2007-03-03T07:30:16+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2022-10-14T07:06:11+02:00 (Zurich)
ISBN/EAN: 9783642208317

ISBN - Stili di scrittura alternativi:
3-642-20831-2, 978-3-642-20831-7
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : bald, son, balducci
Titolo del libro: dedicated, logic programming, representation, nonmonotonic logic, michael, birthday book, the knowledge book

Dati dell'editore

Autore: Marcello Balduccini; Tran Cao Son
Titolo: Lecture Notes in Artificial Intelligence; Lecture Notes in Computer Science; Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
Editore: Springer; Springer Berlin
513 Pagine
Anno di pubblicazione: 2011-05-13
Berlin; Heidelberg; DE
Stampato / Fatto in
Lingua: Inglese
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XIII, 513 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Informatik; AI logics; answer set programming; constraint programming; knowledge management; temporal reasoning; Artificial Intelligence; Formal Languages and Automata Theory; Programming Techniques; Theoretische Informatik; Computerprogrammierung und Softwareentwicklung; EA

This Festschrift volume, published in honor of Michael Gelfond on the occasion of his 65th birthday, contains a collection of papers written by his closest friends and colleagues. Several of these papers were presented during the Symposium on Constructive Mathematics in Computer Science, held in Lexington, KY, USA on October 25-26, 2010.

The 27 scientific papers included in the book focus on answer set programming. The papers are organized in sections named “Foundations: ASP and Theories of LP, KR, and NMR”, “ASP and Dynamic Domains”, and “ASP – Applications and Tools”.

PLINI: A Probabilistic Logic Program Framework for Inconsistent News Information.- ASP as a Cognitive Modeling Tool: Short-Term Memory and Long-Term Memor.- A Temporally Expressive Planner Based on Answer Set Programming with Constraints: Preliminary Design.- Applications of Answer Set Programming in Phylogenetic Systematics.- ASP at Work: Spin-off and Applications of the DLV System.- Combining Answer Set Programming and Prolog: The ASP–PROLOG System.- On the Practical Side of Answer Set Programming.-ASTREA: Answer Sets for a Trusted Reasoning Environment for Agents.- Ending: Tea Times with Gelfond

This Festschrift volume, published in honor of Michael Gelfond on the occasion of his 65th birthday, contains a collection of papers written by his closest friends and colleagues. Several of these papers were presented during the Symposium on Constructive Mathematics in Computer Science, held in Lexington, KY, USA on October 25-26, 2010.

The 27 scientific papers included in the book focus on answer set programming. The papers are organized in sections named “Foundations: ASP and Theories of LP, KR, and NMR”, “ASP and Dynamic Domains”, and “ASP – Applications and Tools”.