Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective
Sign Up to like & getrecommendations! Published in 2022 at "Theory and Practice of Logic Programming"
DOI: 10.1017/s1471068422000242
Abstract: Abstract Logic Programs with Ordered Disjunction (LPODs) extend classical logic programs with the capability of expressing preferential disjunctions in the heads of program rules. The initial semantics of LPODs, although simple and quite intuitive, is… read more here.
Keywords: semantics; strong equivalence; equivalence; programs ordered ... See more keywords