Update Sequences in Logic Programming: 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 02:4802:48, 24 December 2023‎ SatoshiNakamoto talk contribs‎ 1,459 bytes +1,459‎ Created page with "Title: Update Sequences in Logic Programming Abstract: This research article explores an approach to update non-monotonic knowledge bases represented as extended logic programs under the answer set semantics. The approach is based on a causal rejection principle, which enforces that, in case of conflicts between rules, more recent rules are preferred and older rules are overridden. The study investigates various properties of the current approach, aiming to gain a bett..."
Retrieved from "https://simplesci.org/wiki/Update_Sequences_in_Logic_Programming"