1 citations · 1 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2014
A Family of Descriptive Approaches To Preferred Answer Sets
Alexander Šimko
In logic programming under the answer set semantics, preferences on rules are used to choose which of the conflicting rules are applied. Many interesting semantics have been propos…
cs.LO2011★ 1 cited
Warranted Derivations of Preferred Answer
Jan Sefranek, Alexander Simko
We are aiming at a semantics of logic programs with preferences defined on rules, which always selects a preferred answer set, if there is a non-empty set of (standard) answer sets…