9145 search results - page 204 / 1829 » Description Logic Systems |
159
click to vote
JFLP
2002
15 years 6 months ago
2002
We consider prescriptive type systems for logic programs (as in G
177
click to vote
IANDC
2007
15 years 6 months ago
2007
We consider an extension of linear-time temporal logic (LTL) with constraints interpreted over a concrete domain. We use a new automata-theoretic technique to show pspace decidabi...
209
click to vote
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
Abstract—For many tasks, such as the integration of knowledge bases in the semantic web, one must not only handle the knowledge itself, but also characterizations of this knowled...
195
click to vote
ADHOCNETS
2010
Springer
15 years 4 months ago
2010
Springer
Event detection is a central component in numerous wireless sensor network (WSN) applications. In spite of this, the area of event description has not received enough attention. Th...