
Oz
 Referenced in 115 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...

KEGG
 Referenced in 265 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...

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

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

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

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

SPOOK
 Referenced in 13 articles
[sw12539]
 system for probabilistic objectoriented knowledge representation. In previous work, we pointed out the limitations...

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

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