Results 1 to 20 of 138
Sort by:

  • SOLAR
  • Referenced in 20 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...

  • Asparagus
  • Referenced in 5 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...

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

  • CCalc
  • Referenced in 79 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...

  • MiniTab
  • Referenced in 2 articles [sw26324]
  • Domain minimization is a form of nonmonotonic reasoning that, roughly speaking, expresses the conjecture that...

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

  • ILPME
  • Referenced in 2 articles [sw27486]
  • ILPME is a nonmonotonic ILP (Inductive Logic Programming) system that learns from multiple distinct examples ... impacted the usability of knowledge representation and reasoning techniques in the development of AI systems...

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

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

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

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

  • NEWUOA
  • Referenced in 96 articles [sw00618]
  • NEWUOA is a software developped by M.J.D. Powell...

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

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

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

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

  • ML

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

  • PERL
  • Referenced in 270 articles [sw01225]
  • Programming Perl. Perl is a language for easily...

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

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