Add to ORKGThe paper offers a first order axiom-atization of priority based logic that can handle prioritized symbols. Pro-posed axiomatization is closely con-nected to the generalized prioritized fuzzy constraint satisfaction prob-lem (GPFCSP). Developed formal-ism is decidable, due to the existence of a quantifier elimination procedure for it
Mathematics Subject Classifications (2010): 68P15; 03B52An Erratum to this article was published on ...
. Conflict resolution is an important issue in knowledge representation and reasoning. A common idea...
The paper presents a new approach to database preferences queries, where preferences are represented...
This paper identifies a generic axiom framework for prioritised fuzzy constraint satisfaction proble...
Abstract. The aim of this paper is to interpret Generalized Priority Constraint Satisfaction Problem...
van Gelder's alternating fixpoint theory has proven to be a very useful tool for unifying and charac...
Many knowledge-based systems use some kind of priorities for controlling their reasoning. In this wo...
Many application fields need evaluation tools and ranking techniques of several alternatives. The mu...
Rule based knowledge representation and reasoning often face a problem of conflict with rules. One c...
AbstractRepresenting and reasoning with priorities are important in commonsense reasoning. This pape...
This book presents a unifying framework for using priority arguments to prove theorems in computabil...
It is important to derive priority weights from interval-valued fuzzy preferences when a pairwise co...
This paper gives a logical analysis in semantic terms of reasoning about preference relations. A met...
Priority inversion is a serious problem that can make real-time systems unpredictable in subtle ways...
Conflict resolution is an important issue in knowledge representation and reasoning. A common idea o...
Mathematics Subject Classifications (2010): 68P15; 03B52An Erratum to this article was published on ...
. Conflict resolution is an important issue in knowledge representation and reasoning. A common idea...
The paper presents a new approach to database preferences queries, where preferences are represented...
This paper identifies a generic axiom framework for prioritised fuzzy constraint satisfaction proble...
Abstract. The aim of this paper is to interpret Generalized Priority Constraint Satisfaction Problem...
van Gelder's alternating fixpoint theory has proven to be a very useful tool for unifying and charac...
Many knowledge-based systems use some kind of priorities for controlling their reasoning. In this wo...
Many application fields need evaluation tools and ranking techniques of several alternatives. The mu...
Rule based knowledge representation and reasoning often face a problem of conflict with rules. One c...
AbstractRepresenting and reasoning with priorities are important in commonsense reasoning. This pape...
This book presents a unifying framework for using priority arguments to prove theorems in computabil...
It is important to derive priority weights from interval-valued fuzzy preferences when a pairwise co...
This paper gives a logical analysis in semantic terms of reasoning about preference relations. A met...
Priority inversion is a serious problem that can make real-time systems unpredictable in subtle ways...
Conflict resolution is an important issue in knowledge representation and reasoning. A common idea o...
Mathematics Subject Classifications (2010): 68P15; 03B52An Erratum to this article was published on ...
. Conflict resolution is an important issue in knowledge representation and reasoning. A common idea...
The paper presents a new approach to database preferences queries, where preferences are represented...