Yann Loyer: 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,563 bytes +1,563‎ 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..."
Retrieved from "https://simplesci.org/wiki/Yann_Loyer"