• Oz

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

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

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

  • Referenced in 13 articles [sw18491]
  • system, yielding a powerful language for knowledge representation...
  • CP-logic

  • Referenced in 10 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...
  • SPOOK

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

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

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

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

  • Referenced in 2 articles [sw12395]
  • with KnowLang, a special framework for knowledge representation and reasoning. KnowLang provides for a special ... approach is formal and demonstrates how knowledge representation and reasoning help to establish the vital...
  • PROLEG

  • Referenced in 2 articles [sw12125]
  • However, it turns out that the knowledge representation in logic programming is difficult for lawyers ... this paper, we change knowledge representation of rules in the JUF theory in PROLEG...
  • YAFOOL

  • Referenced in 3 articles [sw08975]
  • applications in the field of Knowledge Representation (Artificial Intelligence and Expert Systems). It is written...
  • Asparagus

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

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

  • Referenced in 3 articles [sw07991]
  • Tagger specifically formulated for the Semantic Knowledge Representation (SKR) work. MedPost/SKR has modified functionality...