Results 1 to 20 of 48
Sort by:

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