A Gentle Introduction to the Stable Model Semantics for Logic Programs
Автор: KR conference series
Загружено: 2024-11-02
Просмотров: 1176
Описание:
Matti Berthold (University of Leipzig)
Quentin Manière (Leipzig University)
We present a short introduction to the stable model semantics in the context of logic programming. Our contribution uses enlightening animations to guide the spectator through the definition and basic properties of stable models. We then highlight the fundamental differences with classical semantics of propositional logic. We further explore the relation between the stable model semantics and the here-and-there semantics, a connection that allows to characterize strong equivalence in the former.
Target audience: We aim to provide an introduction to the stable models semantics, typically for undergraduate students or KR-enthusiasts who are unfamiliar with this non-monotonic semantics. We assume familiarity with the classical semantics of propositional logic and with the complexity class NP.
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
![[Logic] Entailment](https://imager.clipsaver.ru/PBYCOgjkcMU/max.jpg)
