579 search results - page 54 / 116 » On a Temporal Logic for Object-Based Systems |
128
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
In the last few years, argumentation frameworks have been successfully applied to multi agent systems. Recently, argumentation has been used to provide a framework for reasoning a...
130
click to vote
LCTRTS
2005
Springer
15 years 9 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...
140
click to vote
DLOG
2003
15 years 5 months ago
2003
This chapter considers, on the one hand, extensions of Description Logics by features not available in the basic framework, but considered important for using Description Logics a...
144
click to vote
IJCAI
1989
15 years 5 months ago
1989
Mechanical systems, of the kinds which are of interest for qualitative reasoning, are characterized by a set of real-valued parameters, each of which is a piecewise continuous fun...
119
click to vote
ENTCS
2006
15 years 4 months ago
2006
We consider a first-order property specification language for run-time monitoring of dynamic systems. The language is based on a linear-time temporal logic and offers two kinds of...