
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 webbased 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 multifaceted...

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 speciﬁed 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...