• LeoPARD

  • Referenced in 6 articles [sw13554]
  • reasoners. LeoPARD supports the implementation of knowledge representation and reasoning tools for higher-order logic...
  • plasp

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

  • Referenced in 5 articles [sw16742]
  • ℰℒ + ontologies. Description Logics (DLs) are knowledge representation and reasoning formalisms used in many settings ... inference algorithms and its ability to represent knowledge from domains such as medical informatics. However...
  • FrameNet

  • Referenced in 5 articles [sw01965]
  • statistical or keyword based methods, deeper Knowledge Representation (KR) techniques along with “inference” are often...
  • PROLEG

  • Referenced in 3 articles [sw12125]
  • However, it turns out that the knowledge representation in logic programming is difficult for lawyers ... this paper, we change knowledge representation of rules in the JUF theory in PROLEG...
  • AROM

  • Referenced in 2 articles [sw06754]
  • approach in object-based knowledge representation: the AROM system This paper presents AROM ... object-based knowledge representation system. AROM is original in two ways. Firstly, in addition ... classes, knowledge representation in AROM uses associations for describing links between classes instances. Secondly, AROM ... AROM comes as a platform for knowledge representation and manipulation. It includes an interactive modeling...
  • Asparagus

  • Referenced in 4 articles [sw08841]
  • primary candidate for an effective knowledge representation tool. This view has been boosted...
  • NoHR

  • Referenced in 4 articles [sw27501]
  • distinctive features of these two knowledge representation and reasoning approaches stems from real world applications...
  • KnowLang

  • Referenced in 2 articles [sw12395]
  • with KnowLang, a special framework for knowledge representation and reasoning. KnowLang provides for a special ... approach is formal and demonstrates how knowledge representation and reasoning help to establish the vital...
  • YAFOOL

  • Referenced in 3 articles [sw08975]
  • applications in the field of Knowledge Representation (Artificial Intelligence and Expert Systems). It is written...
  • KnowledgeSeeker

  • Referenced in 3 articles [sw25440]
  • ontological components. First, it defines the knowledge representation model Ontology Graph. Second, it contains...
  • MedPost

  • Referenced in 3 articles [sw07991]
  • Tagger specifically formulated for the Semantic Knowledge Representation (SKR) work. MedPost/SKR has modified functionality...
  • BaRT

  • Referenced in 2 articles [sw01950]
  • knowledge-based approach to classificatory problem solving, examining the current capabilities of BaRT. As representation ... unit of representation is the knowledge group - a collection of production rules that map problem ... current version of BaRT supports three knowledge representations: Bayesian networks, influence diagrams, and taxonomic hierachies...
  • MEBN

  • Referenced in 15 articles [sw02784]
  • networks to allow representation of graphical models with repeated sub-structures. Knowledge is encoded...
  • VIRT

  • Referenced in 2 articles [sw02513]
  • methods, graph algorithms, symbolic processing and knowledge representation, automatic theorem proving. To test the possibilities ... construction of interpreters for functional languages, and knowledge processing. Of special interest...
  • SemanticVectors

  • Referenced in 2 articles [sw23980]
  • tasks such as automatic thesaurus generation, knowledge representation, and concept matching. These are described more...
  • ROSoClingo

  • Referenced in 2 articles [sw13474]
  • into ROS for reasoning in robots. Knowledge representation and reasoning capacities are vital to cognitive...
  • F--MP

  • Referenced in 2 articles [sw02169]
  • only the semantics of its knowledge representation but also its reasoning style to those...
  • PAGOdA

  • Referenced in 2 articles [sw17539]
  • approach is applicable to first-order knowledge representation languages that can be captured by rules...
  • Prodigy

  • Referenced in 35 articles [sw20686]
  • research in planning, machine learning, apprentice-type knowledge-refinement interfaces, and expert systems. This document ... PRODIGY4.0, and includes descriptions of the PRODIGY representation language, control structure, user interface, abstraction module...