Epistemic Foundation of Stable Model Semantics: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

24 December 2023

  • curprev 15:2915:29, 24 December 2023‎ SatoshiNakamoto talk contribs‎ 1,350 bytes +1,350‎ Created page with "Title: Epistemic Foundation of Stable Model Semantics Research Question: How can stable model semantics be defined and characterized in an epistemic framework, and what are the implications of this approach? Methodology: The authors propose an alternative and epistemic-based characterization of stable model semantics, which is based on monotone operators over bilattices. This approach is purely algebraic and can abstract from the particular formalism of choice. Result..."
Retrieved from "https://simplesci.org/wiki/Epistemic_Foundation_of_Stable_Model_Semantics"