Accepting the natural order of rules in a logic program with preferences

DOI10.4230/LIPICS.ICLP.2011.284zbMath1245.68057OpenAlexW2241908223MaRDI QIDQ2909173

Alexander Šimko

Publication date: 29 August 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_4d62.html

zbMATH Keywords

knowledge representationnon-monotonic reasoninganswer set semanticspreference handlingpreferred answer set

Mathematics Subject Classification ID

Knowledge representation (68T30) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (1)

Simple contrapositive assumption-based argumentation. II: Reasoning with preferences

This page was built for publication: Accepting the natural order of rules in a logic program with preferences