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 - Livro de bolso

Livro na base de dados desde 2007-03-03T06:30:16+00:00 (Lisbon)
Página de detalhes modificada pela última vez em 2022-10-14T06:06:11+01:00 (Lisbon)
Número ISBN/EAN: 9783642208317

Número ISBN - Ortografia alternativa:
3-642-20831-2, 978-3-642-20831-7
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: bald, son, balducci
Título do livro: dedicated, logic programming, representation, nonmonotonic logic, michael, birthday book, the knowledge book

Dados da editora

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
Editora: Springer; Springer Berlin
513 Páginas
Ano de publicação: 2011-05-13
Berlin; Heidelberg; DE
Impresso / Feito em
Língua: 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”.