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 - pocketboek

Boek bevindt zich in het datenbestand sinds 2007-03-03T07:30:16+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2022-10-14T07:06:11+02:00 (Amsterdam)
ISBN/EAN: 9783642208317

ISBN - alternatieve schrijfwijzen:
3-642-20831-2, 978-3-642-20831-7
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: bald, son, balducci
Titel van het boek: dedicated, logic programming, representation, nonmonotonic logic, michael, birthday book, the knowledge book

Gegevens van de uitgever

Auteur: Marcello Balduccini; Tran Cao Son
Titel: 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
Uitgeverij: Springer; Springer Berlin
513 Bladzijden
Verschijningsjaar: 2011-05-13
Berlin; Heidelberg; DE
Gedrukt / Gemaakt in
Taal: Engels
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”.