• NoMoRe

  • Referenced in 22 articles [sw07094]
  • NoMoRe: A system for non-monotonic reasoning under answer set semantics NoMoRe implements answer...
  • ASPIDE

  • Referenced in 12 articles [sw06309]
  • paradigm proposed in the area of non-monotonic reasoning and logic programming. In the last...
  • DELORES

  • Referenced in 25 articles [sw05546]
  • chaining reasoning engine for defeasible logic, a less-expressive but more efficient non-monotonic logic...
  • cmMUS

  • Referenced in 1 article [sw09773]
  • known problem from the area of non-monotonic reasoning. The tool constantly outperforms other approaches...
  • REBA

  • Referenced in 2 articles [sw29435]
  • graphical models to represent and reason with non-monotonic logic-based 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 non-monotonic 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 non-monotonic (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 non-monotone 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 high-level 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...
  • L-BFGS

  • Referenced in 711 articles [sw03229]
  • Algorithm 778: L-BFGS-B Fortran subroutines for...
  • Haskell

  • Referenced in 842 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • UCI-ml

  • 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...