• Nuprl

  • Referenced in 366 articles [sw06751]
  • distributed architecture centered around a flexible knowledge base and supports the cooperation of independent formal...
  • ANFIS

  • Referenced in 232 articles [sw08730]
  • construct an input-output mapping based on both human knowledge (in the form of fuzzy...
  • Knot Atlas

  • Referenced in 64 articles [sw11550]
  • atlas (collection of maps), theory database, knowledge base, and ”a home for some computer programs...
  • MPTP 0.2

  • Referenced in 39 articles [sw02589]
  • boost the development of domain-based, knowledge-based, and generally AI-based ATP methods. This...
  • YAGO

  • Referenced in 32 articles [sw11909]
  • YAGO: a core of semantic knowledge. We present YAGO, a light-weight and extensible ontology ... using a carefully designed combination of rule-based and heuristic methods ... described in this paper. The resulting knowledge base is a major step beyond WordNet ... quality by adding knowledge about individuals like persons, organizations, products, etc. with their semantic relationships...
  • KQML

  • Referenced in 31 articles [sw29718]
  • methodology for building large-scale knowledge bases which are sharable and reusable. KQML is both ... message-handling protocol to support run-time knowledge sharing among agents. KQML can be used...
  • MBase

  • Referenced in 17 articles [sw08724]
  • system, a web-based, distributed mathematical knowledge base. This system is a mathematical service ... based retrieval of distributed mathematical facts. We classify the data necessary to represent mathematical knowledge ... developing representation formalisms for mathematical knowledge bases. We propose to concretely equip knowledge bases with ... means to found the whole knowledge base in axiomatic set theory. The viability of this...
  • ConceptNet

  • Referenced in 19 articles [sw10660]
  • ConceptNet is a freely available commonsense knowledge base and natural-language-processing tool-kit which ... other context oriented inferences. The knowledge base is a semantic network presently consisting of over ... million assertions of commonsense knowledge encompassing the spatial, physical, social, temporal, and psychological aspects ... Common Sense Project — a World Wide Web based collaboration with over 14 000 authors...
  • NESTOR

  • Referenced in 25 articles [sw22096]
  • Computer-Based Medical Diagnostic Aid that Integrates Causal and Probabilistic Knowledge. n order to address ... addressing them is the use of knowledge-based methods within a formal probability theory framework...
  • RRIA

  • Referenced in 15 articles [sw02558]
  • rough set and rule tree based incremental knowledge acquisition algorithm. As a special ... algorithm that can learn new knowledge quickly, based on original knowledge learned before ... more quickly than classical rough set based knowledge acquisition algorithms, and the performance of knowledge ... even better than classical rough set based knowledge acquisition algorithms. Besides, the simulation results also...
  • CommonKADS

  • Referenced in 26 articles [sw01531]
  • towards cost effective and quality assured knowledge based system (KBS) development. To enhance flexible reuse...
  • LUBM

  • Referenced in 17 articles [sw14975]
  • LUBM: A benchmark for OWL knowledge base systems. We describe our method for benchmarking Semantic ... knowledge base systems with respect to use in large OWL applications. We present the Lehigh...
  • Cyc

  • Referenced in 20 articles [sw16452]
  • unparalleled common sense ontology and knowledge base with a powerful reasoning engine and natural language ... interfaces to enable the development of novel knowledge-intensive applications...
  • OMRS

  • Referenced in 39 articles [sw03359]
  • communication protocol for mathematical services based on KQML (Knowledge Query and Manipulation Language) and OMRS ... level in OMRS, supplies a concrete syntax based on the OPENMATH standard, and gives...
  • GOLEM

  • Referenced in 50 articles [sw24695]
  • relative to the available background knowledge. The principle is based on the relative least general...
  • MEBN

  • Referenced in 15 articles [sw02784]
  • uses Bayesian learning to refine a knowledge base as observations accrue. MEBN provides a logical...
  • SemiPar

  • Referenced in 585 articles [sw07116]
  • regression. The approach to semiparametric regression is based on penalized regression splines and mixed models ... oriented scientists who have a good working knowledge of linear models and the desire...
  • MUSCADET

  • Referenced in 9 articles [sw06859]
  • expert system using a modular knowledge base expressed in a user-friedly language. { More detailed ... based on natural reduction, the knowledge base is adapted to prove theorems in point...
  • KnowRob

  • Referenced in 10 articles [sw21530]
  • robustly perform tasks based on abstract instructions, robots need sophisticated knowledge processing methods. These methods ... different structure into a coherent knowledge base. To this end we propose the {sc KnowRob...