551 search results - page 27 / 111 » Realizability of Real-Time Logics |
ECSQARU
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We consider a realization of Reiter-style default logic on top of description logic knowledge bases (DL-KBs). To this end, we present elegant transformations from default...
IJCSS
2000
13 years 9 months ago
2000
A new control strategy of self-optimization combined with fuzzy logic control for ball mill is proposed in the paper. This new control strategy is implemented in a Thermal Power Pl...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
Researchers demand much from their embodied conversational agents (ECAs), requiring them to be both life-like, as well as responsive to events in an interactive setting. We find t...
TCS
2011
13 years 4 months ago
2011
New, simple, proofs of soundness (every representable function lies in a given complexity class) for Elementary Affine Logic, LFPL and Soft Affine Logic are presented. The proofs ...
LCTRTS
2005
Springer
14 years 3 months ago
2005
Springer
This paper introduces the notion of transparent distribution of real time software components. Transparent distribution means that (1) the functional and temporal behavior of a sy...