-
Oz
- Referenced in 117 articles
[sw06799]
- tabling, placement and configuration, reasoning and knowledge representation, processing of natural language, simulations, multi agent...
-
Racer
- Referenced in 66 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 41 articles
[sw28891]
- Description logics are a family of knowledge representation formalisms that are descended from semantic networks...
-
PRISM
- Referenced in 39 articles
[sw23359]
- learning algorithm. As a knowledge representation language appropriate for probabilistic reasoning, it can describe various...
-
DLV
- Referenced in 33 articles
[sw04640]
- state of the art among Knowledge Representation and Reasoning (KRR) systems. Thanks to a long...
-
CP-logic
- Referenced in 18 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 275 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...
-
GASP
- Referenced in 18 articles
[sw07096]
- viable paradigm for applications in knowledge representation and reasoning. This paper presents a novel methodology...
-
MMT
- Referenced in 49 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...
-
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...
-
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...
-
E-KRHyper
- Referenced in 13 articles
[sw21368]
- applications in the field of knowledge representation. In contrast to most first order theorem provers...
-
SPOOK
- Referenced in 13 articles
[sw12539]
- system for probabilistic object-oriented knowledge representation. In previous work, we pointed out the limitations...
-
Tweety
- Referenced in 9 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 89 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...
-
plasp
- Referenced in 10 articles
[sw07080]
- available ASP grounders to obtain propositional representations. Third, we can harness ASP solvers providing incremental ... planning community benefits from the knowledge representation and reasoning capacities...