• NuSMV

  • Referenced in 312 articles [sw04131]
  • Checking group at Carnegie Mellon University , the Mechanized Reasoning Group at University of Genova ... Mechanized Reasoning Group at University of Trento. NuSMV is a reimplementation and extension...
  • CCalc

  • Referenced in 79 articles [sw09899]
  • dissertation, Causality in commonsense reasoning about actions (University of Texas, 1997). Now the system...
  • UG

  • Referenced in 191 articles [sw04596]
  • university research codes and only very few commercial codes use them. There are two reasons...
  • LCF

  • Referenced in 158 articles [sw08360]
  • proof-checking program developed at Stanford University by Robin Milner in 1972. Descendents ... form a thriving paradigm in computer assisted reasoning. Many of the developments of the last...
  • ELK

  • Referenced in 19 articles [sw22930]
  • source reasoner for the lightweight ontology language OWL 2 EL, developed by the University...
  • FOL_Harrison

  • Referenced in 2 articles [sw32220]
  • Handbook of Practical Logic and Automated Reasoning, Cambridge University Press, 2009. ML code reflection...
  • LUBM

  • Referenced in 23 articles [sw14975]
  • LUBM features an ontology for the university domain, synthetic OWL data scalable to an arbitrary ... used to evaluate systems with different reasoning capabilities and storage mechanisms. We demonstrate this with...
  • PLM

  • Referenced in 3 articles [sw38031]
  • provides an axiomatic framework that allows to reason about these objects. It thereby serves ... systems in HOL as a universal tool for logical reasoning as promoted by Christoph Benzmüller...
  • Plastic

  • Referenced in 18 articles [sw07403]
  • defined (Luo, 1994). Extensions include Inductive Types, Universes, and Coercive Subtyping. It may be regarded ... platform for implementing domain-specific reasoning tools. Plastic is implemented in the higher-order...
  • C-CoRN

  • Referenced in 36 articles [sw06752]
  • manage it (document, update, keep consistent). The reason for working constructively is partly historical, partly ... NIII (Computer Science Department) of the University of Nijmegen, but everybody is cordially invited...
  • DLV

  • Referenced in 33 articles [sw04640]
  • University of Calabria and the Vienna University of Technology). The system supports a language based ... among Knowledge Representation and Reasoning (KRR) systems. Thanks to a long lasting theoretical and implementation...
  • ABAKO/RAPCAL

  • Referenced in 4 articles [sw20547]
  • conditions are universal in laboratory and astrophysical plasmas and, for this reason, the theory...
  • Fortran-GA

  • Referenced in 8 articles [sw05064]
  • same time!” For some odd reason, it took me another month and an observation ... Illinois and the chap from the University of Alabama who wrote a marvelous GA textbook ... anymore, but still versatile and usable). The reason for this particular web page is twofold...
  • Ecosim

  • Referenced in 16 articles [sw10699]
  • years. The development is centered at the University of British Columbia’s Fishery Centre, while ... questions in marine science. For all these reasons, Ecopath software was recently recognized...
  • clpfd

  • Referenced in 9 articles [sw06308]
  • features, which we describe in this paper: Reasoning over arbitrarily large integers, always terminating propagation ... already being used in courses at several universities in France, Germany, Italy, Austria and other...
  • FRI

  • Referenced in 9 articles [sw07389]
  • covered (at level α), if all input universes are covered by rules at level ... base, i.e. containing gaps. The classical fuzzy reasoning techniques like Zadeh’s, Mamdani’s, Larsen...
  • UVKRIG

  • Referenced in 1 article [sw22236]
  • application of universal kriging to weakly stationary data is difficult for three reasons ... modeled; and (3) equation solution differs for universal kriging from that for simple or ordinary...
  • Aligators

  • Referenced in 1 article [sw09779]
  • Aligators, a tool for the generation of universally quantified array invariants. Aligators leverages recurrence solving ... algebraic techniques to carry out inductive reasoning over array content. The Aligators’ loop extraction module...
  • Vadalog

  • Referenced in 3 articles [sw33095]
  • Datalog-based system for performing complex logic reasoning tasks, such as those required in advanced ... research programme, a joint effort of the universities of Oxford, Manchester and Edinburgh and around...
  • Cascade

  • Referenced in 3 articles [sw34344]
  • static analysis tool developed at New York University. Cascade takes as input a program ... precision for scalability) and its ability to reason about linked data structures...