• Oz

  • Referenced in 117 articles [sw06799]
  • time tabling, placement and configuration, reasoning and knowledge representation, processing of natural language, simulations, multi...
  • DLV

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

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

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

  • Referenced in 10 articles [sw07080]
  • planning community benefits from the knowledge representation and reasoning capacities...
  • LeoPARD

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

  • Referenced in 66 articles [sw09837]
  • Racer is a knowledge representation system that implements a highly optimized tableau calculus ... download tab. Racer provides implementations of standard reasoning problems for T-boxes and A-boxes...
  • RacerPro

  • Referenced in 6 articles [sw17663]
  • RacerPro knowledge representation and reasoning system. RacerPro is a software system for building applications based ... logic reasoner. It provides inference services for terminological knowledge as well as for representations ... years, a mature architecture for typical-case reasoning tasks is provided. The system has been ... have also shaped the RacerPro knowledge representation and interface languages. With its query and rule...
  • REBA

  • Referenced in 4 articles [sw29435]
  • refinement-based architecture for knowledge representation and reasoning in robotics. This article describes REBA ... knowledge representation and reasoning architecture for robots that is based on tightly-coupled transition diagrams ... reason with non-monotonic logic-based and probabilistic descriptions of uncertainty and incomplete domain knowledge ... robot based on these knowledge representation and reasoning tools, and provide a path for proving...
  • ROSoClingo

  • Referenced in 5 articles [sw13474]
  • reasoning in robots. Knowledge representation and reasoning capacities are vital to cognitive robotics because they...
  • FRIL

  • Referenced in 44 articles [sw18490]
  • Fril - Fuzzy and Evidential Reasoning in Artificial Intelligence. Presents a theory of uncertainty, consistent with ... Extends the logic programming form of knowledge representation and method of inference to permit ... knowledge engineering including expert and decision-support systems, evidential and case-based reasoning, fuzzy control...
  • BEACON

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

  • Referenced in 5 articles [sw27501]
  • latest, substantially improved, version of NoHR, a reasoner designed to answer queries over hybrid theories ... distinctive features of these two knowledge representation and reasoning approaches stems from real world applications...
  • KnowLang

  • Referenced in 2 articles [sw12395]
  • KnowLang, a special framework for knowledge representation and reasoning. KnowLang provides for a special knowledge ... formal and demonstrates how knowledge representation and reasoning help to establish the vital connection between...
  • KL-ONE

  • Referenced in 41 articles [sw28891]
  • Description logics are a family of knowledge representation formalisms that are descended from semantic networks ... been shown that the important reasoning problems (like subsumption and satisfiability) in a great variety...
  • DeLorean

  • Referenced in 15 articles [sw22920]
  • DeLorean: A reasoner for fuzzy OWL 2. Today, there ... growing interest in the development of knowledge representations able to deal with uncertainty, which ... describe DeLorean 2, the first ontology reasoner that supports fuzzy extensions of the standard languages...
  • ILPME

  • Referenced in 2 articles [sw27486]
  • impacted the usability of knowledge representation and reasoning techniques in the development of AI systems ... recognition), which to the best of our knowledge was not previously possible. The system...
  • Asparagus

  • Referenced in 5 articles [sw08841]
  • Nonmonotonic Reasoning and a primary candidate for an effective knowledge representation tool. This view...
  • FPROLOG

  • Referenced in 14 articles [sw18491]
  • research is its failure of manipulating uncertain reasoning. The authors propose the elimination of this ... system, yielding a powerful language for knowledge representation...
  • F--MP

  • Referenced in 2 articles [sw02169]
  • databases fail to possess the fuzzy reasoning ability. Proposed in this paper is a framework ... semantics of its knowledge representation but also its reasoning style to those of the relational...