480 search results - page 32 / 96 » Introducing Temporal Description Logics |
168
click to vote
LFCS
2009
Springer
15 years 10 months ago
2009
Springer
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
121
Voted
FIW
1998
15 years 4 months ago
1998
The phases of the ANISE project (Architectural Notions In Service Engineering) are briefly explained with reference to the work reported here. An outline strategy is given for tra...
128
click to vote
STACS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of ω-regular languages. The class has two equivalent desc...
111
click to vote
CSL
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of -regular languages. The class has two equivalent descrip...
106
Voted
COLING
2002
15 years 3 months ago
2002
: Motivated by a systematic representation of the Chinese aspect forms that explores their intrinsic semantics and temporal logical relations, we are constructing a Chinese aspect ...