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 - Pasta blanda

Libro en la base de datos desde 2007-03-03T07:30:16+01:00 (Madrid)
Página de detalles modificada por última vez el 2022-10-14T07:06:11+02:00 (Madrid)
ISBN/EAN: 9783642208317

ISBN - escritura alterna:
3-642-20831-2, 978-3-642-20831-7
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: bald, son, balducci
Título del libro: dedicated, logic programming, representation, nonmonotonic logic, michael, birthday book, the knowledge book

Datos del la editorial

Autor: Marcello Balduccini; Tran Cao Son
Título: 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
Editorial: Springer; Springer Berlin
513 Páginas
Año de publicación: 2011-05-13
Berlin; Heidelberg; DE
Impreso en
Idioma: Inglés
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”.