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

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

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

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

REBA
 Referenced in 2 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...

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 1 article
[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...

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

R
 Referenced in 8180 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 168 articles
[sw02524]
 ASSAT (Answer Sets by SAT solvers) is a...

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

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

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

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

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

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

DLV
 Referenced in 30 articles
[sw04640]
 DLV is a deductive database system, based on...

LIBSVM
 Referenced in 1085 articles
[sw04879]
 LIBSVM is a library for Support Vector Machines...