A Framework for Compiling Preferences in Logic Programs: 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 04:1504:15, 24 December 2023‎ SatoshiNakamoto talk contribs‎ 2,280 bytes +67‎ No edit summary undo
  • curprev 04:1504:15, 24 December 2023‎ SatoshiNakamoto talk contribs‎ 2,213 bytes +2,213‎ Created page with "Title: A Framework for Compiling Preferences in Logic Programs Abstract: This research proposes a methodology and framework for expressing general preference information in logic programming under the answer set semantics. The authors introduce an ordered logic program, an extended logic program that includes named rules and preferences specified by a set of atoms. They develop a specific approach to reasoning with preferences, where the preference ordering specifies th..."
Retrieved from "https://simplesci.org/wiki/A_Framework_for_Compiling_Preferences_in_Logic_Programs"