• ASPIDE

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

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

  • Referenced in 22 articles [sw07094]
  • non-monotonic 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 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 ... 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 3 articles [sw18512]
  • both an uncertainty reasoning and machine learning software and a probabilistic logic programming language based ... 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 ... many-sorted first-order logic than in unsorted logic, but most existing highly-efficient 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 high-level 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...
  • L-BFGS

  • Referenced in 852 articles [sw03229]
  • Algorithm 778: L-BFGS-B 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, general-purpose purely functional...
  • UCI-ml

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