3032 search results - page 41 / 607 » Description Logic Rules |
108
click to vote
LPAR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We provide uniform and invertible logical rules in a framework of relational hypersequents for the three fundamental t-norm based fuzzy logics i.e., Łukasiewicz logic, G...
141
click to vote
LPNMR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper, we present a logic R for rule bases by introducing a set of rule connectives. We define both the models and extensions of a rule base. The semantics of ex...
125
click to vote
TIME
2007
IEEE
15 years 8 months ago
2007
IEEE
It is known that for temporal languages, such as firstorder LT L, reasoning about constant (time-independent) relations is almost always undecidable. This applies to temporal des...
108
click to vote
ENTCS
2010
15 years 2 months ago
2010
Rules that are admissible can be used in any derivations in any axiomatic system of a logic. In this paper we introduce a method for checking the admissibility of rules in the mod...
115
click to vote
EUSFLAT
2009
14 years 11 months ago
2009
Abstract-- Choquet-integral-based evaluation models are proposed. The evaluation parameters