• PDDL

  • Referenced in 94 articles [sw07079]
  • meet the challenges of application. The International Planning Competitions have acted as an important motivating...
  • STAN

  • Referenced in 38 articles [sw03348]
  • Graphplan, competed in the first international planning competition at AIPS’98 and demonstrated interesting performance...
  • SHOP2

  • Referenced in 27 articles [sw17940]
  • distinguished performance in the 2002 International Planning Competition. This paper describes the features of SHOP2...
  • SAPA

  • Referenced in 16 articles [sw20683]
  • temporal constraints in the third International Planning Competition, held at AIPS-02. We describe...
  • FODD-Planner

  • Referenced in 14 articles [sw07747]
  • domains, including problems from the recent international planning competition, and shows competitive performance with...
  • FluCaP

  • Referenced in 11 articles [sw07748]
  • probabilistic track of the 2004 International Planning Competition (IPC’2004) and demonstrated an advantage over...
  • IPC-4

  • Referenced in 10 articles [sw03495]
  • International Planning Competition, IPC-4, will include a probabilistic planning track for the first time...
  • AltAlt

  • Referenced in 7 articles [sw20691]
  • AltAlt competed in the last international planning competition (AIPS-2000). Although that version...
  • TRAMP

  • Referenced in 5 articles [sw08968]
  • planning domains, including four International Planning Competition (IPC) domains and two synthetic domains...
  • NMRDPP

  • Referenced in 4 articles [sw10437]
  • special case. In the First International Probabilistic Planning Competition, NMRDPP was able to compete...
  • Optiplan

  • Referenced in 2 articles [sw20682]
  • planner that successfully participated in the international planning competition. This engineering note describes the architecture...
  • Soccer server

  • Referenced in 10 articles [sw20844]
  • learning the selection of soccer play plans. Other researchers using Soccer Server to investigate ... their progress at RoboCup-97, an international competition of robotic soccer to be held...
  • Quantor

  • Referenced in 22 articles [sw28381]
  • release of quantor we worked on minor internal improvements. The basic algorithm has not changed ... practically important problems, such as non-deterministic planning or symbolic model checking can be formulated ... submitted to the SAT’04 SAT Solver Competition. This application is described in more detail...
  • SAT competition

  • Referenced in 8 articles [sw04623]
  • international SAT Competitions web page. The purpose of the competition is to identify new challenging ... about SAT-based techniques in their area (planning, hardware or software verification, etc.) to submit...
  • Maple

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

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

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

  • Referenced in 120 articles [sw00707]
  • SETHEO: A high-performance theorem prover. The paper...
  • PROFIL/BIAS

  • Referenced in 133 articles [sw00733]
  • PROFIL (Programmer’s Runtime Optimized Fast Interval Library...
  • R

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