
NoMoRe
 Referenced in 22 articles
[sw07094]
 NoMoRe: A system for nonmonotonic reasoning under answer set semantics NoMoRe implements answer...

ASPIDE
 Referenced in 13 articles
[sw06309]
 paradigm proposed in the area of nonmonotonic reasoning and logic programming. In the last...

DELORES
 Referenced in 26 articles
[sw05546]
 chaining reasoning engine for defeasible logic, a lessexpressive but more efficient nonmonotonic logic...

REBA
 Referenced in 4 articles
[sw29435]
 graphical models to represent and reason with nonmonotonic logicbased and probabilistic descriptions ... robot based on these knowledge representation and reasoning tools, and provide a path for proving...

cmMUS
 Referenced in 1 article
[sw09773]
 known problem from the area of nonmonotonic reasoning. The tool constantly outperforms other approaches...

NoHR
 Referenced in 5 articles
[sw27501]
 latest, substantially improved, version of NoHR, a reasoner designed to answer queries over hybrid theories ... description logics and a set of nonmonotonic rules in logic programming. Whereas the need ... features of these two knowledge representation and reasoning approaches stems from real world applications, their...

PrASP
 Referenced in 2 articles
[sw18512]
 programming”). PrASP is both an uncertainty reasoning and machine learning software and a probabilistic logic ... research software platform for nonmonotonic (inductive) probabilistic logic programming, our framework mainly targets applications ... area of uncertainty stream reasoning. PrASP programs can consist of ASP (AnsProlog) as well...

Monotonox
 Referenced in 4 articles
[sw10406]
 cheaper to translate monotone sorts than nonmonotone sorts. Many interesting problems are more naturally ... problems only in unsorted logic. Conversely, some reasoning tools, for example model finders, can make...

dl2asp
 Referenced in 3 articles
[sw00208]
 dl2asp: implementing default logic via answer set programming...

Matlab
 Referenced in 13100 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

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

TopLog
 Referenced in 9 articles
[sw02010]
 TopLog: ILP using a logic program declarative bias...

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

OTTER
 Referenced in 316 articles
[sw02904]
 Our current automated deduction system Otter is designed...

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

CUDA
 Referenced in 1288 articles
[sw03258]
 The NVIDIA® CUDA® Toolkit provides a comprehensive development...

Haskell
 Referenced in 870 articles
[sw03521]
 Haskell is a standardized, generalpurpose purely functional...

UCIml
 Referenced in 3266 articles
[sw04074]
 UC Irvine Machine Learning Repository. We currently maintain...

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

Smodels
 Referenced in 239 articles
[sw04631]
 The Smodels system is an Answer Set Programming...