3005 search results - page 191 / 601 » Logical Information Systems: from Taxonomies to Logics |
158
click to vote
DEON
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we investigate the specification and verification of information systems with an organizational structure. Such systems are modelled as a normative multia...
169
click to vote
DIS
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. In this paper we explore a topic which is at the intersection of two areas of Machine Learning: namely Support Vector Machines (SVMs) and Inductive Logic Programming (ILP...
171
click to vote
ICDCS
2000
IEEE
15 years 11 months ago
2000
IEEE
Despite increasingly distributed internet information sources with diverse storage formats and access-control constraints, most of the end applications (e.g., filters and media p...
154
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
In this paper, we study unsatisfiable queries posed to a mediator in an information integration system and expressed in the logical formalism of the information integration system...
176
click to vote
FSKD
2006
Springer
15 years 10 months ago
2006
Springer
Information security evaluation of software-intensive systems typically relies heavily on the experience of the security professionals. Obviously, automated approaches are needed ...