
CCalc
 Referenced in 75 articles
[sw09899]
 implements a fragment of the causal logic described in the paper ”Nonmonotonic causal theories ... language of CCalc is related to default logic and logic programming. Computationally, CCalc uses ideas...

AUTODYN3D
 Referenced in 7 articles
[sw03363]
 minimizing input requirements using safe logical defaults...

dl2asp
 Referenced in 2 articles
[sw00208]
 dl2asp: implementing default logic via answer set programming. In this paper, we show that Reiter ... default logic in the propositional case can be translated into answer set programming by identifying ... internal relationships among formulas in a default theory. Based ... this idea, we implement a new default logic solver – dl2asp. We report some experimental results...

DeReS
 Referenced in 3 articles
[sw32312]
 reasoning system, called DeReS. DeReS implements default logic of Reiter by supporting several basic reasoning...

DARR
 Referenced in 1 article
[sw25431]
 theorem prover for constrained and rational default logics. Default logics represent an important class ... simple by powerful inference rules, called defaults, these logic systems model reasoning patterns ... contrary of dots”, and thus formalize the default reasoning, a special type of nonmonotonic reasoning ... prover for constrained and rational propositional default logics. A modified version of semantic tableaux method...

Racer
 Referenced in 65 articles
[sw09837]
 highly optimized tableau calculus for the description logic SRIQ(D). Racer is the successor ... Lispworks, for which also (setf asdf::*defaultencoding* :default) should be evaluated. Racer is distributed ... inference services are provided, such as, e.g., logical abduction. Racer also provides the powerful...

CITP
 Referenced in 7 articles
[sw25269]
 specified with constructorbased logics. CITP is equipped with a default proof strategy...

BL2DV2
 Referenced in 31 articles
[sw10378]
 internal point generation follows a frontal logic, and their connection is realised ... abscissa. The internal middle nodes are, by default, at the middle of the corresponding edges...

ESBMC
 Referenced in 7 articles
[sw09946]
 output verification conditions using the SMT logics QF_AUFBV and QF_AUFLIRA. ESBMC is built ... framework. ESBMC uses the SMT solvers Z3 (default) and Boolector, which are also included...

DISPMODULE
 Referenced in 2 articles
[sw20178]
 variables of default kind of all intrinsic types (integer, real, complex, logical, and character...

FPL
 Referenced in 2 articles
[sw21298]
 Value can be, by the default, of the following data types: Integer (kinds ... Real (kinds 4, 8); Logical; String. Value can be a scalar or an array...

AMG2013
 Referenced in 5 articles
[sw13861]
 benchmark can build various test problems. The default problem is a Laplace type problem ... decomposition by simply subdividing the grid into logical...

REBA
 Referenced in 2 articles
[sw29435]
 description, and a history that includes prioritized defaults, are translated into an Answer Set Prolog ... represent and reason with nonmonotonic logicbased and probabilistic descriptions of uncertainty and incomplete ... reliable and efficient reasoning with violation of defaults, noisy observations and unreliable actions, in complex...

Mathematica
 Referenced in 6041 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 12477 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

SETHEO
 Referenced in 119 articles
[sw00707]
 SETHEO: A highperformance theorem prover. The paper...

R
 Referenced in 8728 articles
[sw00771]
 R is a language and environment for statistical...

SOLAR
 Referenced in 19 articles
[sw00888]
 SOLAR (SOL for Advanced Reasoning) is a first...

PowerForms
 Referenced in 4 articles
[sw01540]
 PowerForms: Declarative clientside form field validation All...

GraphBase
 Referenced in 122 articles
[sw01555]
 The Stanford GraphBase is a freely available collection...