Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - neues Buch

Buch in der Datenbank seit 2015-12-25T15:08:15+01:00 (Vienna)
Detailseite zuletzt geändert am 2021-10-28T22:11:42+02:00 (Vienna)
ISBN/EAN: 9783642208324

ISBN - alternative Schreibweisen:
978-3-642-20832-4
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: springer
Titel des Buches: logic programming

Daten vom Verlag:

Autor/in: Marcello Balduccini; Tran Cao Son
Titel: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
Verlag: Springer; Springer Berlin
513 Seiten
Erscheinungsjahr: 2011-04-28
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XIII, 513 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; AI logics; answer set programming; constraint programming; knowledge management; temporal reasoning; C; Artificial Intelligence; Formal Languages and Automata Theory; Programming Techniques; Computer Science; Theoretische Informatik; Computerprogrammierung und Softwareentwicklung; BC

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”.