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

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 3 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 54 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 6531 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

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

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

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

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

GraphBase
 Referenced in 78 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 34 articles
[sw02579]
 LUPS  a language for updating logic programs. Most...

LBFGS
 Referenced in 514 articles
[sw03229]
 Algorithm 778: LBFGSB Fortran subroutines for...

RODAS
 Referenced in 1027 articles
[sw04112]
 Rosenbrock method of order 4(3), for problems...

Walksat
 Referenced in 183 articles
[sw04328]
 GSAT and WalkSat are local search algorithms to...

Cmodels
 Referenced in 52 articles
[sw04435]
 Cmodels is a system that computes answer sets...