Logic Programming and Nonmonotonic Reasoning, Fachbücher von Esra Erdem

Das Buch "Logic Programming and Nonmonotonic Reasoning" dokumentiert die Proceedings der 10. Internationalen Konferenz zu diesem Thema, die vom 14. bis 18. September 2009 in Potsdam, Deutschland, stattfand. Diese Konferenz diente als Plattform für den Austausch von Ideen zu deklarativer Logikprogrammierung, nichtmonotonem Schliessen und Wissensrepräsentation. Ziel war es, die Interaktion zwischen Forschenden zu fördern, die sich mit der Gestaltung und Implementierung logikbasierter Programmiersprachen und Datenbanksysteme beschäftigen, sowie jenen, die in den Bereichen Wissensrepräsentation und nichtmonotonem Schliessen tätig sind. Der Schwerpunkt der Konferenz lag auf den Anwendungen der Logikprogrammierung und des nichtmonotonen Schliessens, insbesondere auf der Antwortmengenprogrammierung (ASP). Die Konferenz bot eine umfassende Übersicht über den aktuellen Stand der ASP/LPNMR-Anwendungen und beinhaltete spezielle Sitzungen sowie Diskussionsrunden zu bestehenden und zukünftigen Anwendungen.