• RealPlan

  • Referenced in 9 articles [sw01619]
  • loosely coupled . For example, in project planning, the user comes up with a task list ... like Microsoft Project. One can view automated planning in a similar way in which there ... actions. On the other hand, most existing automated planners studied in Artificial Intelligence ... leveraging the loose coupling. Specifically, a novel planning framework called RealPlan is developed in which...
  • CAPP

  • Referenced in 9 articles [sw03233]
  • paperless manufacturing environments in which computer automated process planning (CAPP) will play a preeminent role ... manufacturing, the process planning part needed to be automated. The shop trained people who were ... unavailable in the future to do process planning. An alternative way of accomplishing this function...
  • Badger

  • Referenced in 1 article [sw06912]
  • artificial intelligence technique of automated planning for the purpose of resolving software model inconsistencies...
  • LAMP

  • Referenced in 2 articles [sw13377]
  • computation for mobile robot path planning. Motion planning for mobile robots is an arduous task ... LAMP and written in Mathematica, which automates motion planning based on this technique...
  • BARD

  • Referenced in 2 articles [sw08274]
  • BARD: Better automated redistricting. BARD is the first (and at time of writing, only) open ... automatically refine, evaluate, and profile political districting plans. BARD aims to provide a framework ... determined criteria. Furthermore, BARD supports automated generation of redistricting plans and profiling of plans...
  • Octave GTK

  • Referenced in 1 article [sw05636]
  • code generation, binding automation, and the niche we plan to fill in the absence...
  • ODEA

  • Referenced in 3 articles [sw07671]
  • automated vehicle routing. The main motivation typically is the desire to plan a structure which...
  • OnTrack

  • Referenced in 2 articles [sw11950]
  • OnTrack toolset automates workflows for railway verification, starting with graphical scheme plans and finishing with...
  • MPTP

  • Referenced in 14 articles [sw02489]
  • into untyped first order format suitable for automated theorem provers, and for generating theorem proving ... system, their solutions, current limitations, and planned future extensions. We present results of first experiments...
  • SAT competition

  • Referenced in 6 articles [sw04623]
  • about SAT-based techniques in their area (planning, hardware or software verification, etc.) to submit ... such approach. The competition will be completely automated using the SAT-Ex system...
  • LOUI

  • Referenced in 5 articles [sw19627]
  • ΩMEGA User Interface. The capabilities of a automated theorem prover’s interface are essential ... browser with hypertext facilities, proof and proof plan presentation in natural language, and an editor...
  • OntoPlant

  • Referenced in 0 articles [sw19011]
  • landscape level analysis and planning of forest ecosystems by automating the tasks of stand projection...
  • SCAIMO

  • Referenced in 1 article [sw02835]
  • automated composition of Web services. A number of approaches like AI-planning have been proposed...
  • OFBiz Neogia

  • Referenced in 1 article [sw11323]
  • open source product for the automation of enterprise processes that includes framework components and business ... applications for ERP (Enterprise Resource Planning), CRM (Customer Relationship Management), E-Business / E-Commerce...
  • MeVisLab

  • Referenced in 2 articles [sw18639]
  • with respect to diagnostic accuracy, robustness, speed, automation, workflow efficiency, broad availability, as well ... augmented-reality scenario for translating liver surgery planning data directly into the operating room through...
  • ARMS

  • Referenced in 49 articles [sw00048]
  • The paper describes new recursive multilevel method for...
  • Coq

  • Referenced in 1157 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 1803 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Isabelle

  • Referenced in 393 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • KNITRO

  • Referenced in 109 articles [sw00490]
  • KNITRO is a solver for nonlinear optimization. It...