
SOLAR
 Referenced in 19 articles
[sw00888]
 SOLAR (SOL for Advanced Reasoning) is a firstorder 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 78 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 1 article
[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 12983 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MiniSat
 Referenced in 558 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

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

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

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

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

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

ML
 Referenced in 517 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...

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

CPnets
 Referenced in 137 articles
[sw01374]
 CPnets (Condition Preference Nets) is a tool...

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