3032 search results - page 41 / 607 » Description Logic Rules |
LPAR
2004
Springer
14 years 3 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...
LPNMR
2007
Springer
14 years 4 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...
TIME
2007
IEEE
14 years 4 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...
ENTCS
2010
13 years 10 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...
EUSFLAT
2009
13 years 7 months ago
2009
Abstract-- Choquet-integral-based evaluation models are proposed. The evaluation parameters