• Aleph

  • Referenced in 53 articles [sw12108]
  • document provides reference information on A Learning Engine for Proposing Hypotheses (Aleph). Aleph ... purpose was to understand ideas of inverse entailment which eventually appeared in Stephen Muggleton...
  • DDDAS

  • Referenced in 30 articles [sw18325]
  • Measurements. Dynamic Data Driven Application Systems (DDDAS) entails the ability to incorporate additional data into ... potential to transform the way science and engineering are done, and induce a major impact...
  • cc(FD)

  • Referenced in 18 articles [sw21237]
  • with new constraint operations such as constraint entailment and generalization. These combinators significantly improve ... lines of C) includes a WAM-based engine [44], optimal arc-consistency algorithms based...
  • BaseVISor

  • Referenced in 1 article [sw22928]
  • Triples-Based Inference Engine Outfitted to Process RuleML & R-Entailment Rules...
  • TAEMS

  • Referenced in 7 articles [sw07177]
  • mental state of an agent entails that it perform particular actions put the agent ... organizations such as hospitals, managing software engineering projects, and distributed / multi-agent information retrieval...
  • ParSSSE

  • Referenced in 4 articles [sw17623]
  • ParSSSE: an adaptive parallel state space search engine. State space search problems abound ... work that state space search problems entail, it is desirable to solve them on large ... incorporating these techniques into a general search engine framework designed to solve a broad class...
  • EvoOnt

  • Referenced in 1 article [sw16434]
  • engine allows to derive additional assertions in the software project. These assertions are entailed from...
  • dlvhex-sparql

  • Referenced in 1 article [sw25698]
  • semantics by Perez et al. towards an engine which is fully compliant to the official ... graphs, or partially support of RDFS entailment. For such extensions a tight integration of SPARQL ... underlying logic programming formalism of our engine, turns out to be particularly useful...
  • QEPCAD

  • Referenced in 283 articles [sw00752]
  • QEPCAD B: A program for computing with semi...
  • QuBE++

  • Referenced in 27 articles [sw00766]
  • In this paper we describe QuBE++, an efficient...
  • WordNet

  • Referenced in 412 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • PVS

  • Referenced in 629 articles [sw03484]
  • PVS is a verification system: that is, a...
  • Eiffel

  • Referenced in 289 articles [sw03522]
  • Eiffel is an ISO-standardized, object-oriented programming...
  • CPLEX

  • Referenced in 2766 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • SMT-LIB

  • Referenced in 196 articles [sw04103]
  • SMT-LIB was created with the expectation that...
  • JML

  • Referenced in 189 articles [sw04597]
  • The Java Modeling Language (JML) is a behavioral...
  • Spec#

  • Referenced in 123 articles [sw04598]
  • The Spec# programming system is a new attempt...
  • SATIRE

  • Referenced in 39 articles [sw04648]
  • SATIRE: A new incremental satisfiability engine. We introduce...
  • MPT

  • Referenced in 230 articles [sw04732]
  • The Multi-Parametric Toolbox (MPT) is a free...