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

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

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

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

Mozart
 Referenced in 20 articles
[sw04759]
 applications in natural language understanding and knowledge representation, in scheduling and timetabling...

CPlogic
 Referenced in 14 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...

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

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

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

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

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

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

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

MBase
 Referenced in 16 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...

OMDoc
 Referenced in 72 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...

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

LeoPARD
 Referenced in 6 articles
[sw13554]
 reasoners. LeoPARD supports the implementation of knowledge representation and reasoning tools for higherorder logic...

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