• PAT

  • Referenced in 38 articles [sw13258]
  • contained framework for to support composing, simulating and reasoning of concurrent, real-time systems...
  • COROR

  • Referenced in 2 articles [sw12479]
  • COROR: a composable rule-entailment OWL reasoner for resource-constrained devices. OWL (Web Ontology Language ... This paper presents COROR a COmposable Rule-entailment Owl Reasoner for resource-constrained devices. What ... features of the particular semantic application. This reasoner is implemented and evaluated on a resource ... composition algorithms outperform the original non-composable reasoner while retaining the same level of reasoning...
  • HMC

  • Referenced in 7 articles [sw09867]
  • verify ocaml programs. By composing type-based reasoning grounded in program syntax and state-based...
  • Wendy

  • Referenced in 6 articles [sw01246]
  • blocks which can be composed to complex systems. To reason about the correctness...
  • Metatheory.jl

  • Referenced in 1 article [sw37953]
  • between symbolic mathematics, abstract interpretation, equational reasoning, optimization, composable compiler transforms, and advanced homoiconic pattern ... simple, algebraically composable interface to help scientists in implementing and reasoning about semantics...
  • NoHR

  • Referenced in 5 articles [sw27501]
  • NoHR, a reasoner designed to answer queries over hybrid theories composed of an OWL ontology ... features of these two knowledge representation and reasoning approaches stems from real world applications, their...
  • KARO

  • Referenced in 22 articles [sw03116]
  • KARO) framework that we proposed before to reason about Knowledge, Abilities, Results and Opportunities ... ability of the agent to perform sequentially composed actions. In this chapter, we reconsider these...
  • isl

  • Referenced in 12 articles [sw09841]
  • kernels of many compute-intensive applications are composed of loops with bounds that are affine ... rather than as individual iterations. A similar reasoning holds for the elements of an array...
  • SNARK

  • Referenced in 4 articles [sw19611]
  • code. SNARK has been used as the reasoning component of SRI’s High Performance Knowledge ... core of NASA’s Amphion system, which composes software from components to meet users’ specifications...
  • Fran

  • Referenced in 11 articles [sw21482]
  • collection of data types and functions for composing richly interactive, multimedia animations. The key ideas ... proper treatment of real time, to guide reasoning and implementation. A method to effectively...
  • VERL

  • Referenced in 8 articles [sw21959]
  • object starts moving. The ability to reason with events is a critical step toward video ... work is the modeling of events as composable, whereby complex events are constructed from simpler...
  • mural

  • Referenced in 9 articles [sw23627]
  • ability of the system to support reasoning in different logics. The chapter illustrates ... tactic language which allows the user to compose sequences of proof steps, and chapter...
  • PSOA2TPTP

  • Referenced in 1 article [sw07648]
  • reasoner, enabling query answering and entailment as well as consistency checking. The translator, currently composed...
  • BEHAVE

  • Referenced in 6 articles [sw09227]
  • behavior and fire effects. The system is composed of a collection of mathematical models that ... recognize whether their input values are reasonable and make appropriate adjustments...
  • Quantum++

  • Referenced in 2 articles [sw27766]
  • computing library written in C++11 and composed solely of header files. The library ... qubits in a mixed state reasonably fast. The library also includes support for classical reversible ... useful in testing quantum circuits composed solely of Toffoli gates, such as certain arithmetic circuits...
  • VIPR

  • Referenced in 4 articles [sw18034]
  • return incorrect results for a number of reasons, one being the use of inexact floating ... designed with simplicity in mind and is composed of a list of statements that...
  • KB-VISION

  • Referenced in 1 article [sw00483]
  • domain objects can be easily created and composed to a domain model. Using object sensitive ... knowledge-based graphical simulation environment for various reasoning components (e.g. planners, path generators...
  • mcci

  • Referenced in 1 article [sw12215]
  • with up to 20 correlated electrons. With reasonable sized basis set expansions, 99 per cent ... equally valid for any spin independent Hamiltonian composed of one- and two-body operators. Accurate...
  • Coq

  • Referenced in 1898 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 3190 articles [sw00320]
  • GAP is a system for computational discrete algebra...