• PREGO

  • Referenced in 5 articles [sw16793]
  • action language for belief-based cognitive robotics in continuous domains. The area of cognitive robotics ... noise seen in actual real-world robotics. This paper proposes a new language ... bridge between logic and probability for cognitive robotics applications...
  • ROSoClingo

  • Referenced in 3 articles [sw13474]
  • reasoning capacities are vital to cognitive robotics because they provide higher level functionalities for reasoning...
  • CRAM

  • Referenced in 1 article [sw20263]
  • CRAM (Cognitive Robot Abstract Machine) is a software toolbox for the design, the implementation ... deployment of cognition-enabled autonomous robots performing everyday manipulation activities. CRAM equips autonomous robots with ... robots are much more flexible, reliable, and general than control programs that lack such cognitive...
  • QSRlib

  • Referenced in 1 article [sw32966]
  • interface to allow use in cognitive robotic systems; provide a flexible and easy...
  • IKBT

  • Referenced in 1 article [sw29772]
  • effector positions, which is critical to any robot arm design and implementations of control algorithms ... using Behavior Trees to solve high-cognitive problems...
  • FAtiMA

  • Referenced in 1 article [sw37739]
  • years across different virtual environments and human-robot interaction scenarios. As a result, this work ... integrate it with other frameworks, its meta-cognitive model affords different internal reasoners and affective...
  • Maple

  • Referenced in 5124 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 5957 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 12309 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • R

  • Referenced in 8601 articles [sw00771]
  • R is a language and environment for statistical...
  • ML

  • Referenced in 517 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • pGOLOG

  • Referenced in 3 articles [sw01479]
  • Belief update in the pGOLOG framework. High-level...
  • WordNet

  • Referenced in 393 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • ConGolog

  • Referenced in 48 articles [sw01801]
  • ConGolog, a concurrent programming language based on the...
  • SOAR

  • Referenced in 22 articles [sw02109]
  • SOAR: a cognitive architecture in perspective. A tribute...
  • GOLOG

  • Referenced in 170 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains...
  • OTTER

  • Referenced in 314 articles [sw02904]
  • Our current automated deduction system Otter is designed...
  • NEURON

  • Referenced in 179 articles [sw03059]
  • Parallel network simulations with NEURON. The NEURON simulation...
  • SPIN

  • Referenced in 712 articles [sw03455]
  • Spin is a popular open-source software tool...
  • AMPL

  • Referenced in 590 articles [sw04001]
  • AMPL is a comprehensive and powerful algebraic modeling...