2293 search results - page 61 / 459 » Temporal Logic in Information Systems |
DLOG
1996
14 years 11 months ago
1996
ESWA
2008
14 years 10 months ago
2008
ENTCS
2006
14 years 9 months ago
2006
One of the central aspects in an Information System is the meaning of data in the external world and the information carried by them. We propose a Constructive Object Oriented Mod...
ECSQARU
2003
Springer
15 years 3 months ago
2003
Springer
In this paper, we propose some extensions of epistemic logic for reasoning about information fusion. The fusion operators considered in this paper include majority merging, arbitra...
CONCUR
1999
Springer
15 years 2 months ago
1999
Springer
In order to check whether an open system satisfies a desired property, we need to check the behavior of the system with respect to an arbitrary environment. In the most general se...