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

  • Referenced in 3 articles [sw31027]
  • multi-company supply chain automation, direct and indirect procurement, planning, auctions, and invoicing and payment...
  • MPTP

  • Referenced in 23 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...
  • Tecton

  • Referenced in 9 articles [sw28905]
  • formats, graphical representations, and hypertext links; and automating substantial parts of proofs through rewriting, induction ... procedure. Further development of the system is planned as part of an overall framework aimed...
  • LOUI

  • Referenced in 10 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...
  • CoCLAM

  • Referenced in 2 articles [sw28719]
  • theorem proving. This automation is based on the idea of proof planning. Proof planning constructs...
  • 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...
  • SAT competition

  • Referenced in 8 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...
  • 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...
  • asprilo

  • Referenced in 1 article [sw27485]
  • typical scenarios in intra-logistics and warehouse automation with multiple mobile robots. It offers ... tools to generate benchmark instances, verify plans, as well as visualize both instances and plans...
  • FELIX

  • Referenced in 2 articles [sw28618]
  • rewriting rules and logical strategies for the automated generation of alternative functionally equivalent implementations from ... platform (XPP), with support for additional architectures planned in future versions...
  • MBC Toolbox

  • Referenced in 1 article [sw32112]
  • drilling equipment. You can define optimal test plans, automatically fit statistical models, and generate calibrations ... toolbox apps or MATLAB® functions, you can automate the model fitting and calibration process. Models...