• Oz

  • Referenced in 105 articles [sw06799]
  • tabling, placement and configuration, reasoning and knowledge representation, processing of natural language, simulations, multi agent...
  • Racer

  • Referenced in 58 articles [sw09837]
  • Racer is a knowledge representation system that implements a highly optimized tableau calculus...
  • FRIL

  • Referenced in 38 articles [sw18490]
  • Extends the logic programming form of knowledge representation and method of inference to permit...
  • PRISM

  • Referenced in 25 articles [sw23359]
  • learning algorithm. As a knowledge representation language appropriate for probabilistic reasoning, it can describe various...
  • Mozart

  • Referenced in 17 articles [sw04759]
  • applications in natural language understanding and knowledge representation, in scheduling and time-tabling...
  • CP-logic

  • Referenced in 14 articles [sw06947]
  • fundamental study of the representation of causal knowledge. Causality has an inherent dynamic aspect, which ... Shafer’s by offering a convenient logical representation for his semantical objects. Second, this language ... completely self-contained way as a representation of probabilistic causal laws, this provides ... also obtain an additional piece of knowledge representation methodology for probabilistic logic programs, by showing...
  • DeLorean

  • Referenced in 15 articles [sw22920]
  • growing interest in the development of knowledge representations able to deal with uncertainty, which...
  • MultiNet

  • Referenced in 10 articles [sw01583]
  • This short presentation describes the knowledge representation paradigm of multi-layered extended semantic networks ... version). The essential components of this knowledge representation system and their relation to natural language...
  • FPROLOG

  • Referenced in 14 articles [sw18491]
  • system, yielding a powerful language for knowledge representation...
  • DLV

  • Referenced in 13 articles [sw04640]
  • state of the art among Knowledge Representation and Reasoning (KRR) systems. Thanks to a long...
  • SPOOK

  • Referenced in 11 articles [sw12539]
  • system for probabilistic object-oriented knowledge representation. In previous work, we pointed out the limitations...
  • KEGG

  • Referenced in 138 articles [sw13866]
  • molecular-level information. It is a computer representation of the biological system, consisting of molecular ... chemical information) that are integrated with the knowledge on molecular wiring diagrams of interaction, reaction...
  • MMT

  • Referenced in 32 articles [sw07136]
  • permits to encode mathematical knowledge in a logic-neutral representation format that can represent ... logical systems together with the represented knowledge itself and interlink the foundations at the meta...
  • GASP

  • Referenced in 9 articles [sw07096]
  • viable paradigm for applications in knowledge representation and reasoning. This paper presents a novel methodology...
  • Tweety

  • Referenced in 6 articles [sw22090]
  • logical aspects of artificial intelligence and knowledge representation. Tweety is a collection of various Java ... doing research and working with different knowledge representation formalisms such as classical logics, conditional logics...
  • MBase

  • Referenced in 16 articles [sw08724]
  • MBase system, a web-based, distributed mathematical knowledge base. This system is a mathematical service ... repository of formalized mathematics where the formal representation allows semantics-based retrieval of distributed mathematical ... 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...
  • OMDoc

  • Referenced in 69 articles [sw07138]
  • administration, distribution, and teaching of mathematical knowledge. In this paper we present an extension OMDOC ... OPENMATH standard that allows the representation of the semantics and structure of various kinds...
  • E-KRHyper

  • Referenced in 7 articles [sw21368]
  • applications in the field of knowledge representation. In contrast to most first order theorem provers...
  • KnowRob

  • Referenced in 9 articles [sw21530]
  • Representations for robot knowledge in the KnowRob framework. In order to robustly perform tasks based ... discuss why the requirements of a robot knowledge processing system differ from what is commonly ... then introduce representational structures and a common vocabulary for representing knowledge about robot actions, events ... inference procedures that operate on this common representation. The {sc KnowRob} system has been released...
  • LeoPARD

  • Referenced in 5 articles [sw13554]
  • reasoners. LeoPARD supports the implementation of knowledge representation and reasoning tools for higher-order logic...