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

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

CPlogic
 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 selfcontained 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]
 molecularlevel 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 timetabling...

RESUME
 Referenced in 14 articles
[sw36118]
 RESUME system using the CLIPS knowledgerepresentation shell. The RÉSUMÉ system emphasizes the need ... explicit representation of temporalabstraction knowledge, and the advantages of modular, taskspecific 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 logicneutral 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 multilayered 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...

EKRHyper
 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 objectoriented 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 webbased, distributed mathematical knowledge base. This system is a mathematical service ... repository of formalized mathematics where the formal representation allows semanticsbased 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...