Sciweavers

3081 search results - page 200 / 617
» A Formal Ontology of Properties
Sort
View
JUCS
2002
132views more  JUCS 2002»
15 years 6 months ago
Managing User Focused Access to Distributed Knowledge
: Community web sites exhibit the property that multiple content providers exist. Of course, any portal is only as useful as the quality and amount of its content. Developing origi...
Rudi Studer, York Sure, Raphael Volz
VMCAI
2005
Springer
15 years 12 months ago
An Overview of Semantics for the Validation of Numerical Programs
Interval computations, stochastic arithmetic, automatic differentiation, etc.: much work is currently done to estimate and to improve the numerical accuracy of programs but few c...
Matthieu Martel
JAPLL
2011
92views more  JAPLL 2011»
15 years 1 months ago
Norms as ascriptions of violations: An analysis in modal logic
The paper proposes a formal analysis of a theory of norms resulting from pulling together Anderson’s reduction, the analysis of counts-as, and a novel approach to the formal rep...
Davide Grossi
SIN
2009
ACM
16 years 1 months ago
An information security ontology incorporating human-behavioural implications
Security managers often regard human behaviour as a security liability, but they should accommodate it within their organisation’s information security management procedures. To...
Simon Edward Parkin, Aad P. A. van Moorsel, Robert...
ATAL
2007
Springer
16 years 21 days ago
Argumentation over ontology correspondences in MAS
In order to support semantic interoperation in open environments, where agents can dynamically join or leave and no prior assumption can be made on the ontologies to align, the di...
Loredana Laera, Ian Blacoe, Valentina A. M. Tamma,...