• KL-ONE

  • Referenced in 41 articles [sw28891]
  • Description logics are a family of knowledge representation formalisms that are descended from semantic networks...
  • MBase

  • Referenced in 17 articles [sw08724]
  • MBase system, a web-based, distributed mathematical knowledge base. This system is a mathematical service ... universal repository of formalized mathematics where the formal representation allows semantics-based retrieval of distributed ... classify the data necessary to represent mathematical knowledge and analyze its structure. For the logical ... propose a methodology for developing representation formalisms for mathematical knowledge bases. We propose to concretely...
  • Tweety

  • Referenced in 9 articles [sw22090]
  • doing research and working with different knowledge representation formalisms such as classical logics, conditional logics...
  • PRISM

  • Referenced in 39 articles [sw23359]
  • learning algorithm. As a knowledge representation language appropriate for probabilistic reasoning, it can describe various ... types of symbolic-statistical modeling formalism known but unrelated so far in a single framework...
  • BEACON

  • Referenced in 5 articles [sw16742]
  • ontologies. Description Logics (DLs) are knowledge representation and reasoning formalisms used in many settings. Among ... inference algorithms and its ability to represent knowledge from domains such as medical informatics. However...
  • MMT

  • Referenced in 49 articles [sw07136]
  • encode mathematical knowledge in a logic-neutral representation format that can represent the meta-theoretic ... logical systems together with the represented knowledge itself and interlink the foundations at the meta ... system behaviors as well as their represented knowledge interoperable and thus comparable. Furthermore, MMT defines ... Thus, it provides an interface layer between formally rigorous mathematical systems, and knowledge management services...
  • STRAMS

  • Referenced in 1 article [sw00918]
  • issues related to the suggested knowledge representation formalism, the structure and the contents...
  • KB-VISION

  • Referenced in 1 article [sw00483]
  • each graphical action in the underlying knowledge representation formalism, the system ensures a consistent domain ... also be used as a knowledge-based graphical simulation environment for various reasoning components...
  • KAM

  • Referenced in 1 article [sw00480]
  • architecture of KAM and the knowledge representation formalisms supported by the tool transformation rules, frames...
  • QMT

  • Referenced in 20 articles [sw07137]
  • most promising applications of mathematical knowledge management is search: Even if we restrict attention ... formalized, the amount exceeds the comprehension of an individual human.par Based on the generic representation ... avoiding a commitment to a particular logical formalism. QMT can integrate various search paradigms such ... readily applied to any library of mathematical knowledge. While our focus here is on libraries...
  • CP-logic

  • Referenced in 18 articles [sw06947]
  • fundamental study of the representation of causal knowledge. Causality has an inherent dynamic aspect, which ... this evolution is quite natural. In our formalization, a set of probabilistic causal laws ... Shafer’s by offering a convenient logical representation for his semantical objects. Second, this language ... models of certain logic programs, rendering it formally quite similar to existing languages such...
  • DLV

  • Referenced in 33 articles [sw04640]
  • supports a language based on a logical formalisms with a very high expressive power ... problems in presence of incomplete or contradictory knowledge. The first release of the system became ... state of the art among Knowledge Representation and Reasoning (KRR) systems. Thanks to a long...
  • KnowLang

  • Referenced in 2 articles [sw12395]
  • framework for knowledge representation and reasoning. KnowLang provides for a special knowledge context ... context. The approach is formal and demonstrates how knowledge representation and reasoning help to establish...
  • QAPD

  • Referenced in 0 articles [sw23486]
  • between users’ expressiveness and formal knowledge representation. This system has been developed and tested...
  • DeLorean

  • Referenced in 15 articles [sw22920]
  • growing interest in the development of knowledge representations able to deal with uncertainty, which ... fuzzy logic and rough logic, among other formalisms, have been proposed. In this article...
  • IKRAFT

  • Referenced in 1 article [sw02352]
  • knowledge representation and acquisition from text. We propose a new approach to develop knowledge bases ... that captures at different levels of formality and specificity how each piece of knowledge...
  • ALM

  • Referenced in 8 articles [sw29436]
  • programming system description. The resulting logic programming representation is used to perform various computational tasks ... structuring of knowledge. ALM is meant to remedy this problem. Structuring of knowledge ... module (a formal description of a specific piece of knowledge packaged as a unit), module ... knowledge base, as well as the creation of knowledge representation libraries. To appear in Theory...
  • OntoDebug

  • Referenced in 2 articles [sw24974]
  • users to design ontologies that correctly formalize knowledge about a domain. In many cases factors ... such as insufficient understanding of a knowledge representation language, problems concerning modeling techniques and granularity...
  • NetLSD

  • Referenced in 5 articles [sw32341]
  • knowledge, permutation- and size-invariant, scale-adaptive, and efficiently computable graph representation method that allows ... extracts a compact signature that inherits the formal properties of the Laplacian spectrum, specifically...
  • FooCA

  • Referenced in 2 articles [sw11688]
  • FooCA: web information retrieval with formal concept analysis. ... A generalization of Web search results ... Conceptual Knowledge Processing and supports the idea of a holistic representation of Web Information Retrieval ... description, and the URL to build a formal context and an appropriate concept lattice...