3005 search results - page 81 / 601 » Logical Information Systems: from Taxonomies to Logics |
102
click to vote
DALT
2004
Springer
15 years 5 months ago
2004
Springer
In 1992, Moss and Parikh studied a bimodal logic of knowledge and effort called Topologic. In this current paper, Topologic is extended to the case of many agents who are assumed...
VLDB
1998
ACM
15 years 4 months ago
1998
ACM
It is today widely acceptedthat "Business Rules Independence" is required for information systemsto better and more rapidly adjust to changesin thebusinessenvironment,Th...
115
click to vote
SOCO
2002
Springer
14 years 11 months ago
2002
Springer
In recent years, available audio corpora are rapidly increasing from fast growing Internet and digital libraries. How to classify and retrieve sound files relevant to the user'...
109
click to vote
LOGCOM
2010
14 years 6 months ago
2010
When monitoring a system wrt. a property defined in a temporal logic such as LTL, a major concern is to settle with an adequate interpretation of observable system events; that is,...
101
click to vote
TCS
2008
14 years 11 months ago
2008
Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensu...