• SOLAR

  • Referenced in 16 articles [sw00888]
  • SOLAR (SOL for Advanced Reasoning) is a first-order clausal consequence finding system based ... theorem proving, query answering and nonmonotonic reasoning. SOL is a connection tableau calculus which...
  • KLMLean

  • Referenced in 4 articles [sw09988]
  • theorem prover for KLM logics of nonmonotonic reasoning. We present KLMLean 2.0, a theorem prover ... propositional KLM logics of nonmonotonic reasoning. KLMLean 2.0 implements some analytic tableaux calculi for these...
  • Asparagus

  • Referenced in 4 articles [sw08841]
  • programming paradigm, having its roots in Nonmonotonic Reasoning, Deductive Databases and Logic Programming with negation ... regarded as the computational embodiment of Nonmonotonic Reasoning and a primary candidate for an effective...
  • CCalc

  • Referenced in 56 articles [sw09899]
  • causal logic described in the paper ”Nonmonotonic causal theories” by Enrico Giunchiglia, Joohyung Lee, Vladimir ... Norman McCain’s dissertation, Causality in commonsense reasoning about actions (University of Texas...
  • CHABIS

  • Referenced in 15 articles [sw00119]
  • Algorithm 666. CHABIS: A mathematical software package for...
  • GNT

  • Referenced in 20 articles [sw00367]
  • GnT is an experimental implementation of the stable...
  • Matlab

  • Referenced in 7362 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 356 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • rbMIT

  • Referenced in 101 articles [sw00784]
  • The rbMIT © MIT Software package implements in Matlab...
  • TENSOLVE

  • Referenced in 24 articles [sw00956]
  • Algorithm 768: TENSOLVE: A software package for solving...
  • PERL

  • Referenced in 122 articles [sw01225]
  • Programming Perl. Perl is a language for easily...
  • CP-nets

  • Referenced in 107 articles [sw01374]
  • CP-nets (Condition Preference Nets) is a tool...
  • GraphBase

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

  • Referenced in 18 articles [sw02090]
  • AFRA: argumentation framework with recursive attacks The issue...
  • LAILA

  • Referenced in 10 articles [sw02266]
  • The last decade has seen the advent of...
  • ASSAT

  • Referenced in 141 articles [sw02524]
  • ASSAT (Answer Sets by SAT solvers) is a...
  • LUPS

  • Referenced in 35 articles [sw02579]
  • LUPS -- a language for updating logic programs. Most...
  • L-BFGS

  • Referenced in 521 articles [sw03229]
  • Algorithm 778: L-BFGS-B Fortran subroutines for...
  • RODAS

  • Referenced in 1056 articles [sw04112]
  • Rosenbrock method of order 4(3), for problems...
  • Walksat

  • Referenced in 185 articles [sw04328]
  • GSAT and WalkSat are local search algorithms to...