As a guest user you are not logged in or recognized by your IP address. You have
access to the Front Matter, Abstracts, Author Index, Subject Index and the full
text of Open Access publications.
Due to a proliferation and diversity of approaches to reasoning with prioritized rules, ordinary properties have been introduced recently for characterization and evaluation of the proposed semantics. While ordinary properties are helpful, a fundamental question of whether they are sufficient to identify a common semantics underlining reasoning with priorities remains open. In this paper we address this question by introducing a new simple and intuitive property of inconsistency-resolving and slightly adapting other ordinary properties to show that they together indeed determine an unique canonical attack relation that could be viewed as defining an uniquely defined common semantics for reasoning with prioritized rules.
This website uses cookies
We use cookies to provide you with the best possible experience. They also allow us to analyze user behavior in order to constantly improve the website for you. Info about the privacy policy of IOS Press.
This website uses cookies
We use cookies to provide you with the best possible experience. They also allow us to analyze user behavior in order to constantly improve the website for you. Info about the privacy policy of IOS Press.