All public logs

Combined display of all available logs of Simple Sci Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 15:29, 24 December 2023 SatoshiNakamoto talk contribs created page Yann Loyer (Created page with "Title: Yann Loyer Research Question: How can we provide an alternative and epistemic-based characterization of the stable model semantics, which is a dominant approach for managing negation in logic programming? Methodology: The study proposes an alternative characterization of the stable model semantics, which does not rely on the classical management of negation and does not require any program transformation. It uses an algebraic approach based on monotone operators...")