• Maude

  • Referenced in 672 articles [sw06233]
  • programming, Maude also supports rewriting logic computation...
  • NQTHM

  • Referenced in 149 articles [sw07543]
  • computational logic handbook. This book is a continuation of the same authors’ previous book entitled ... computational logic” (1979; Zbl 0448.68020). The truly important changes to the theorem prover since ... partial recursive functions. These changes in the logic were described completely in their “Metafunctions: proving ... quantification and partial functions to a computational logic and its theorem prover” [J. Autom. Reasoning...
  • REDLOG

  • Referenced in 160 articles [sw04250]
  • computer algebra system REDUCE to a computer logic system, i.e., a system that provides algorithms...
  • GitHub

  • Referenced in 1784 articles [sw23170]
  • GitHub (originally known as Logical Awesome LLC)[3] is a web-based hosting service ... using git. It is mostly used for computer code. It offers all of the distributed...
  • GraphBase

  • Referenced in 122 articles [sw01555]
  • economy, college football scores, computational logic circuits, the Mona Lisa, etc. Others are based...
  • Isabelle/HOL

  • Referenced in 978 articles [sw01569]
  • tools for proving those formulas in a logical calculus. The main application is the formalization ... verification, which includes proving the correctness of computer hardware or software and proving properties...
  • LCF

  • Referenced in 157 articles [sw08360]
  • Edinburgh LCF. A mechanized logic of computation. From LCF to HOL: a short history ... form a thriving paradigm in computer assisted reasoning. Many of the developments of the last ... proof assistant for higher order logic originally developed for reasoning about hardware.2 The multi-faceted...
  • Isabelle

  • Referenced in 622 articles [sw00454]
  • tools for proving those formulas in a logical calculus. The main application is the formalization ... verification, which includes proving the correctness of computer hardware or software and proving properties...
  • ASSAT

  • Referenced in 169 articles [sw02524]
  • system for computing answer sets of a logic program by using SAT solvers. Briefly speaking ... given a ground logic program P, ASSAT(X), depending on the SAT solver X used ... works as follows: Computes the completion of P and converts it into...
  • Datalog

  • Referenced in 283 articles [sw20023]
  • Datalog is a declarative logic programming language that syntactically is a subset of Prolog ... cloud computing.[1] Its origins date back to the beginning of logic programming...
  • CCalc

  • Referenced in 75 articles [sw09899]
  • related to default logic and logic programming. Computationally, CCalc uses ideas of satisfiability planning...
  • Leibniz

  • Referenced in 33 articles [sw12871]
  • such systems with modules for: - logic computation - learning logic formulas from data - discretization of data...
  • CESAR

  • Referenced in 159 articles [sw08510]
  • branching time logic, the temporal operators of which can be computed iteratively as fixed points...
  • PARAMESH

  • Referenced in 100 articles [sw00677]
  • important class of computational models, those using structured, logically Cartesian meshes. The package of Fortran...
  • Theorema

  • Referenced in 146 articles [sw00961]
  • software system Theorema provides a uniform logic and software technologic frame for proving, solving ... developed at the Research Institute for Symbolic Computation (RISC), Austria...
  • Mathpert

  • Referenced in 18 articles [sw24047]
  • Logic and computation in MATHPERT: An expert system for learning mathematics. MATHPERT (as in “Math ... connections arise at the borderline between logic and computation, which is to be found when ... computational “operators” have logical side conditions that must be satisfied before they are applicable...
  • Cmodels

  • Referenced in 67 articles [sw04435]
  • system that computes answer sets for either disjunctive logic programs or logic programs containing choice ... answer set and the completion semantics for logic programs. For big class of programs called ... loop formulas might be large, therefore computing all of them may become computationally expensive. This...
  • VESTA

  • Referenced in 24 articles [sw08425]
  • property specified in probabilistic computation tree logic (PCTL) [3] or continuous stochastic logic...
  • Gringo

  • Referenced in 98 articles [sw04630]
  • equivalent propositional logic programs. The answer sets of such programs can be computed by clasp...