• 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...
  • AUTODYN-3D

  • 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::*default-encoding* :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 constructor-based logics. CITP is equipped with a default proof strategy...
  • BL2D-V2

  • 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 non-monotonic logic-based 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 high-level language and interactive...
  • SETHEO

  • Referenced in 119 articles [sw00707]
  • SETHEO: A high-performance 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 client-side form field validation All...
  • GraphBase

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