2920 search results - page 187 / 584 » Finite information logic |
164
click to vote
ICSM
1998
IEEE
15 years 11 months ago
1998
IEEE
Code-based metrics such as coupling and cohesion are used to measure a system's structural complexity. But dealing with large systems--those consisting of several millions of...
204
click to vote
AAAI
2007
15 years 9 months ago
2007
Generality or refinement relations between different theories have important applications to generalization in inductive logic programming, refinement of ontologies, and coordin...
193
click to vote
EKAW
2008
Springer
15 years 8 months ago
2008
Springer
Similarity measures play a key role in the Semantic Web perspective. Indeed, most of the ontology related operations such as ontology learning, ontology alignment, ontology ranking...
168
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We present an iterative algorithm for enforcing policies represented in a first-order logic, which can, in particular, express all transmission-related clauses in the HIPAA Priva...
167
click to vote
SARA
2009
Springer
16 years 1 months ago
2009
Springer
Real-world automated reasoning systems must contend with inconsistencies and the vast amount of information stored in relational databases. In this paper, we introduce compilation...