
Nuprl
 Referenced in 389 articles
[sw06751]
 release, features an open, distributed architecture centered around a flexible knowledge base and supports...

OMDoc
 Referenced in 87 articles
[sw07138]
 standard for the administration, distribution, and teaching of mathematical knowledge. In this paper we present...

DKAL
 Referenced in 18 articles
[sw20094]
 DKAL (Distributed Knowledge Authorization Language) is a distributed authorization policy language. This project contains...

MBase
 Referenced in 17 articles
[sw08724]
 MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems. We describe ... MBase system, a webbased, distributed mathematical knowledge base. This system is a mathematical service ... distributed mathematical facts. We classify the data necessary to represent mathematical knowledge and analyze...

SUNDIALS
 Referenced in 220 articles
[sw00927]
 defined operation implementations for both serial and distributed memory parallel environments in case a user ... other operations within the solvers require knowledge of parallelism. Thus, using a solver in parallel...

DISCOUNT
 Referenced in 14 articles
[sw19613]
 based on the teamwork method for knowledgebased distribution. It uses an extended version...

rbMIT
 Referenced in 140 articles
[sw00784]
 Requirements are (i) some but not extensive knowledge of both FE methods and RB methods ... agreement to rbMIT © MIT usage, distribution, and citation terms and conditions upon download...

ExpertGuide
 Referenced in 5 articles
[sw01589]
 Reasoning (CBR) has been used to improve knowledge management in corporate activities. It was initially ... solving and then for facilitating the distribution of knowledge and experiences. Since conversational CBR appeared...

CCSP
 Referenced in 14 articles
[sw00111]
 CCSP: A formal system for distributed program debugging. One of the major problems with programming ... appear random, but when given a complete knowledge of the specific runtime bahavior ... Unfortunately, this complete knowledge is not generally atainable in a distributed system. In order...

MAFRA
 Referenced in 15 articles
[sw02353]
 FRAmework for distributed ontologies. Ontologies as means for conceptualizing and structuring domain knowledge within ... consensus across communities difficult, thus, hampering efficient knowledge sharing between them. In order to balance ... need for interoperability, mapping mechanisms between distributed ontologies in the Semantic Web are required...

ZEUS
 Referenced in 7 articles
[sw07744]
 toolkit for building distributed multiagent systems. The multiagent systems approach of knowledge level cooperation between...

MEBN
 Referenced in 15 articles
[sw02784]
 graphical models with repeated substructures. Knowledge is encoded as a collection of Bayesian network ... distribution over possibly unbounded numbers of hypotheses, and uses Bayesian learning to refine a knowledge...

DNest4
 Referenced in 3 articles
[sw25767]
 compute properties of the posterior distribution, describing knowledge of unknown quantities in the context ... complex problems including many where the posterior distribution is multimodal or has strong dependencies between...

PaQuBE
 Referenced in 5 articles
[sw06998]
 PaQuBE: Distributed QBF solving with advanced knowledge sharing. n this paper we present the parallel ... distributed processes. Furthermore, PaQuBE’s progressive parallel framework is the first to support advanced knowledge...

Orange4WS
 Referenced in 4 articles
[sw27294]
 science involve mining of distributed, highly heterogeneous data and knowledge sources. However, standard data mining ... data mining algorithms in the process of knowledge discovery from local data sources. In contrast ... data mining technologies should enable processing of distributed data sources, the use of data mining ... formal descriptions of data sources and knowledge discovery tools in the form of ontologies, enabling...

OMRS
 Referenced in 39 articles
[sw03359]
 protocol for mathematical services based on KQML (Knowledge Query and Manipulation Language) and OMRS (Open ... semantics to communication of mathematical services in distributed theorem proving and symbolic computation environments...

ROCK
 Referenced in 68 articles
[sw37720]
 data mining, is useful to discover distribution patterns in the underlying data. Clustering algorithms usually ... expert/similarity table is the only source of knowledge. In addition to presenting detailed complexity results...

Mozart
 Referenced in 20 articles
[sw04759]
 ideal platform for both generalpurpose distributed applications as well as for hard problems requiring ... applications in natural language understanding and knowledge representation, in scheduling and timetabling...

Racer
 Referenced in 65 articles
[sw09837]
 Racer is a knowledge representation system that implements a highly optimized tableau calculus ... encoding* :default) should be evaluated. Racer is distributed under the following BSD 3clause license...

BayesOpt
 Referenced in 6 articles
[sw12003]
 builds a posterior distribution to capture the evidence and prior knowledge of the target function...