Intelligent orchestration of planning processes: Application of logic-based constraint solving in factory planning

被引：0
|
作者：
Graefenstein, Julian [1 ]
Scholz, David [1 ]
Henke, Michael [2 ]
Winkels, Jan [2 ]
Rehof, Jakob [3 ]
机构：
[1] Unternehmenslogistik (LFO), TU Dortmund, Fachbereich Fabrikplanung, Dortmund, Germany
[2] TU Dortmund, Dortmund, Germany
[3] TU Dortmund, Fraunhofer-Institut für Software- und Systemtechnik ISST, Dortmund, Germany
来源：
ZWF Zeitschrift fuer Wirtschaftlichen Fabrikbetrieb | 2017年 / 112卷 / 04期
关键词：
Constraint Solving - Dynamic nature - Factory planning - Modular designs - Planning process;
D O I：
10.3139/104.111696
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：209 / 214
相关论文
共 50 条
  • [21] On logic-based intelligent systems
    Cheng, DZ
    2005 INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION (ICCA), VOLS 1 AND 2, 2005, : 71 - 76
  • [22] LOGIC-BASED DECISION SUPPORT FOR COMPUTER-CAPACITY PLANNING
    BURD, SD
    KASSICIEH, SK
    INFORMATION & MANAGEMENT, 1987, 13 (03) : 125 - 133
  • [23] Logic-based Benders decomposition for planning and scheduling: a computational analysis
    Cire, Andre A.
    Coban, Elvin
    Hooker, John N.
    KNOWLEDGE ENGINEERING REVIEW, 2016, 31 (05): : 440 - 451
  • [24] A fuzzy logic-based approach in capacity-planning problems
    P.-F. Pai
    P.-T. Chang
    S.-S. Wang
    K.-P. Lin
    The International Journal of Advanced Manufacturing Technology, 2004, 23 : 806 - 811
  • [25] Planning as constraint satisfaction: Solving the planning graph by compiling it into CSP
    Do, MB
    Kambhampati, S
    ARTIFICIAL INTELLIGENCE, 2001, 132 (02) : 151 - 182
  • [26] Integrating constraint solving into proof planning
    Melis, E
    Zimmer, J
    Müller, T
    FRONTIERS OF COMBINING SYSTEMS, 2000, 1794 : 32 - 46
  • [27] Extensions of constraint solving for proof planning
    Melis, E
    Zimmer, J
    Müller, T
    ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2000, 54 : 229 - 233
  • [28] CONSTRAINT LOGIC PROGRAMMING FOR SCHEDULING AND PLANNING
    LEVER, J
    WALLACE, M
    RICHARDS, B
    BT TECHNOLOGY JOURNAL, 1995, 13 (01): : 73 - 80
  • [29] A Logic-Based Explanation Generation Framework for Classical and Hybrid Planning Problems
    Vasileiou, Stylianos Loukas
    Yeoh, William
    Son, Tran Cao
    Kumar, Ashwin
    Cashmore, Michael
    Magazzeni, Daniele
    Journal of Artificial Intelligence Research, 2022, 73 : 1473 - 1534
  • [30] A Logic-Based Explanation Generation Framework for Classical and Hybrid Planning Problems
    Vasileiou, Stylianos Loukas
    Yeoh, William
    Son, Tran Cao
    Kumar, Ashwin
    Cashmore, Michael
    Magazzeni, Dianele
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2022, 73 : 1473 - 1534
12345