Sciweavers

478 search results - page 67 / 96
» Knowledge modeling directed by situation-specific models
Sort
View
IMPERIAL
1993
15 years 1 months ago
Deriving Category Theory from Type Theory
This work expounds the notion that (structured) categories are syntax free presentations of type theories, and shows some of the ideas involved in deriving categorical semantics f...
Roy L. Crole
RIAO
2004
14 years 11 months ago
Group Memory Based on the Task Information
A group memory of a project is an information space storing the documents produced and exchanged by members of the group, which may include the electronic discussions that took pl...
Jonathan Yu, James A. Thom, Leila Alem
WSC
2000
14 years 11 months ago
Interactive Web-based animations for teaching and learning
Web-based study resources can be viewed as a basic requirement in order to remain a competitive player on a more and more globalised educational market. For that reason it is gett...
Michael Syrjakow, Jörg Berdux, Helena Szczerb...
BIRTHDAY
2010
Springer
14 years 10 months ago
DKAL and Z3: A Logic Embedding Experiment
Yuri Gurevich and Itay Neeman proposed the Distributed Knowledge Authorization Language, DKAL, as an expressive, yet very succinctly expressible logic for distributed authorization...
Sergio Mera, Nikolaj Bjørner
IJSWIS
2006
83views more  IJSWIS 2006»
14 years 9 months ago
Semantic Enrichment in Ontologies for Matching
Ontology matching (or mapping)--finding correspondences between semantically related entities of heterogeneous ontologies--becomes crucial for interoperability in distributed and ...
Nwe Ni Tun, Satoshi Tojo