• 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 71 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...
  • DARR

  • Referenced in 1 article [sw25431]
  • nonmonotonic formalism. Using simple by powerful inference rules, called defaults, these logic systems model reasoning ... default reasoning, a special type of nonmonotonic reasoning. In this paper we propose an automated...
  • MiniTab

  • Referenced in 1 article [sw26324]
  • Domain minimization is a form of nonmonotonic reasoning that, roughly speaking, expresses the conjecture that...
  • CHABIS

  • Referenced in 16 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 9329 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

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

  • Referenced in 256 articles [sw00752]
  • QEPCAD B: A program for computing with semi...
  • R

  • Referenced in 5842 articles [sw00771]
  • R is a language and environment for statistical...
  • rbMIT

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

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

  • Referenced in 460 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • PERL

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

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

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

  • Referenced in 47 articles [sw01801]
  • ConGolog, a concurrent programming language based on the...
  • AFRA

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