
ASPIDE
 Referenced in 14 articles
[sw06309]
 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...

NoMoRe
 Referenced in 22 articles
[sw07094]
 nonmonotonic reasoning under answer set semantics NoMoRe implements answer set semantics for normal 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...

NoHR
 Referenced in 5 articles
[sw27501]
 latest, substantially improved, version of NoHR, a reasoner designed to answer queries over hybrid theories ... 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 3 articles
[sw18512]
 both an uncertainty reasoning and machine learning software and a probabilistic logic programming language based ... 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 ... manysorted firstorder logic than in unsorted logic, but most existing highlyefficient automated ... solve problems only in unsorted logic. Conversely, some reasoning tools, for example model finders...

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

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

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

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

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

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

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

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

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

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

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

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

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