• Oz

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

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

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

  • Referenced in 17 articles [sw04759]
  • applications in natural language understanding and knowledge representation, in scheduling and time-tabling...
  • 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...
  • CP-logic

  • Referenced in 12 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...
  • FPROLOG

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

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

  • Referenced in 127 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...
  • 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...
  • MMT

  • Referenced in 27 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...
  • Tweety

  • Referenced in 5 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...
  • E-KRHyper

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

  • Referenced in 7 articles [sw04640]
  • state of the art among Knowledge Representation and Reasoning (KRR) systems. Thanks to a long...
  • 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...
  • FrameNet

  • Referenced in 5 articles [sw01965]
  • statistical or keyword based methods, deeper Knowledge Representation (KR) techniques along with “inference” are often...
  • AROM

  • Referenced in 2 articles [sw06754]
  • approach in object-based knowledge representation: the AROM system This paper presents AROM ... object-based knowledge representation system. AROM is original in two ways. Firstly, in addition ... classes, knowledge representation in AROM uses associations for describing links between classes instances. Secondly, AROM ... AROM comes as a platform for knowledge representation and manipulation. It includes an interactive modeling...
  • Asparagus

  • Referenced in 4 articles [sw08841]
  • primary candidate for an effective knowledge representation tool. This view has been boosted...
  • GASP

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