1419 search results - page 60 / 284 » Notes on Formalizing Context |
62
Voted
SCL
2008
15 years 16 days ago
2008
The objective of this note is to prove, under certain technical conditions, that the top-Lyapunov exponent of a strictly stationary random sequence of block-triangular matrices is...
214
click to vote
POPL
2007
ACM
16 years 27 days ago
2007
ACM
Separation Logic, Ambient Logic and Context Logic are based on a similar style of reasoning about structured data. They each consist of a structural (separating) composition for r...
105
Voted
JELIA
2010
Springer
14 years 11 months ago
2010
Springer
Multi-Context Systems (MCS) are formalisms that enable the interlinkage of single knowledge bases, called contexts, via bridge rules. Recently, the evaluation of heterogeneous, no...
105
click to vote
WISE
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Answering a query over a group of RDF data pages is a trivial process. However, in the Semantic Web, there is a need for ontology technology. Consequently, OWL, a family ...
91
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
An organizational modeling language can be used to specify an agent organization in terms of its roles, organizational structure, norms, etc. Such an organizational specification ...