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

  • Referenced in 5 articles [sw40694]
  • plan: automated machine learning via hierarchical planning. Automated machine learning (AutoML) seeks to automatically select ... developed. In this paper, we present ML-Plan, a new approach to AutoML based...
  • 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...
  • BARD

  • Referenced in 4 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...
  • 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...
  • Smt-Switch

  • Referenced in 2 articles [sw41581]
  • applications in areas such as automated reasoning, planning, and formal verification. It defines an abstract...
  • xCBL

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

  • Referenced in 26 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...
  • GenericWrapper4AC

  • Referenced in 4 articles [sw38659]
  • solving, AI planning, scheduling, and machine learning (in particular deep learning). Automated algorithm configuration methods...
  • LOUI

  • Referenced in 11 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...
  • 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...
  • 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...
  • VerSe

  • Referenced in 1 article [sw39980]
  • segmentation are two fundamental tasks in an automated spine processing pipeline. Reliable and accurate processing ... surgery planning, and population-based analysis on spine and bone health. However, designing automated algorithms...
  • Olympus

  • Referenced in 1 article [sw38804]
  • benchmarking framework for noisy optimization and experiment planning. Research challenges encountered across science, engineering ... automation has sparked interest in optimization-guided autonomous discovery and closed-loop experimentation. Experiment planning...
  • OntoPlant

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