528 search results - page 37 / 106 » Transition Logic Revisited |
119
Voted
DLOG
2003
15 years 3 months ago
2003
In a previous paper we have investigated subsumption in the presence of terminological cycles for the description logic EL, which allows conjunctions, existential restrictions, an...
113
click to vote
APAL
2006
15 years 1 months ago
2006
This paper studies the complexity of behavior of multi-agent systems. Behavior properties are formulated using classical temporal logic languages and are checked with respect to t...
84
Voted
FUZZIEEE
2007
IEEE
15 years 8 months ago
2007
IEEE
— The consistency of reciprocal preference relations is studied. Consistency is related with rationality, which is associated with the transitivity property. For fuzzy preference...
106
click to vote
AMAST
1997
Springer
15 years 6 months ago
1997
Springer
A symbolic semantics for Full LOTOS in terms of symbolic transition systems is de ned, following the approach taken for message passing CCS in HL95a], altered to take account of th...
159
Voted
LPAR
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Ex...