• 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]
  • algorithm. As a knowledge representation language appropriate for probabilistic reasoning, it can describe various types...
  • GASP

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

  • Referenced in 173 articles [sw02159]
  • GOLOG whose interpreter automatically maintains an explicit representation of the dynamic world being modeled ... world. This allows programs to reason about the state of the world and consider...
  • DeLorean

  • Referenced in 15 articles [sw22920]
  • DeLorean: A reasoner for fuzzy OWL 2. Today, there is a growing interest ... development of knowledge representations able to deal with uncertainty, which is a very common requirement ... describe DeLorean 2, the first ontology reasoner that supports fuzzy extensions of the standard languages ... Description Logic inference engines to reason with the representation resulting from the transformation. We describe...
  • 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...
  • PR-OWL

  • Referenced in 9 articles [sw22024]
  • with uncertainty. Several approaches to uncertainty representation and reasoning in the SW have emerged. Among...
  • 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 ... fine-resolution system description, and a probabilistic representation of the uncertainty in sensing and actuation ... robot based on these knowledge representation and reasoning tools, and provide a path for proving...
  • 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...
  • cheney-kincaid

  • Referenced in 25 articles [sw11656]
  • logical and pedagogical reasons. The discussion of floating-point number representation has been revised...
  • ROSoClingo

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

  • Referenced in 11 articles [sw28547]
  • formalise in theorem provers. The reason is that natural representations for automata are graphs, matrices ... straightforwardly as a datatype and a corresponding reasoning infrastructure comes for free in theorem provers...
  • WebODE

  • Referenced in 4 articles [sw17519]
  • WebODE: An integrated workbench for ontology representation, reasoning, and exchange. We present WebODE...
  • 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 ... decision-support systems, evidential and case-based reasoning, fuzzy control and databases. An accompanying disk...
  • PITA

  • Referenced in 22 articles [sw06950]
  • subsumption for reasoning under uncertainty. Many real world domains require the representation of a measure...
  • 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...
  • BEACON

  • Referenced in 5 articles [sw16742]
  • ontologies. Description Logics (DLs) are knowledge representation and reasoning formalisms used in many settings. Among...