• Oz

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

• Racer

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

• FRIL

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

• KL-ONE

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

• PRISM

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

• DLV

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

• CP-logic

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

• KEGG

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

• Mozart

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

• RESUME

• Referenced in 14 articles [sw36118]
• RESUME system using the CLIPS knowledge-representation shell. The RÉSUMÉ system emphasizes the need ... explicit representation of temporal-abstraction knowledge, and the advantages of modular, task-specific but domain...

• DeLorean

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

• MMT

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

• 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...

• GASP

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

• E-KRHyper

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

• SPOOK

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

• Tweety

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

• OMDoc

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

• MBase

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