Sciweavers

7960 search results - page 239 / 1592
» Systems for Knowledge and Beliefs
Sort
View
MKM
2005
Springer
14 years 4 months ago
A Tough Nut for Mathematical Knowledge Management
In this contribution we address two related questions. Firstly, we want to shed light on the question how to use a representation formalism to represent a given problem. Secondly, ...
Manfred Kerber, Martin Pollet
KES
2004
Springer
14 years 4 months ago
Representing Knowledge in Controlled Natural Language: A Case Study
In this case study I argue for the usage of a machine-oriented controlled natural language as interface language to knowledge systems. Instead of using formal languages that are di...
Rolf Schwitter
IV
1998
IEEE
114views Visualization» more  IV 1998»
14 years 3 months ago
Level of Data - A Concept for Knowledge Discovery in Information Spaces
alization of large volumes of abstract information requires mechanisms to support the user by knowledge discovering. Therefore we developed the level of data Therein the abstract ...
Miriam Lux
VLDB
1998
ACM
95views Database» more  VLDB 1998»
14 years 3 months ago
The National Medical Knowledge Bank
This paper describes a massively parallel object relational (O/R) database used in an advanced development program to create a comprehensive medical information system called the ...
Warren Sterling
WDAG
1990
Springer
72views Algorithms» more  WDAG 1990»
14 years 2 months ago
Common Knowledge and Consistent Simultaneous Coordination
Traditional problems in distributed systems include the Reliable Broadcast, Distributed Consensus, and Distributed Firing Squad problems. These problems require coordination only ...
Gil Neiger, Mark R. Tuttle