Exploring the Space of Block Structured Scheduling Processes Using Constraint Logic Programming-Reference-Cited by-同舟云学术

Exploring the Space of Block Structured Scheduling Processes Using Constraint Logic Programming

Published:2019-10-02 Issue: Volume: Page:149-159
ISSN:1860-949X
Container-title:Intelligent Distributed Computing XIII
language:
Short-container-title:

Author:

Bădică Amelia,Bădică Costin,Ivanović Mirjana,Logofătu Doina

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-32258-8_17

Reference9 articles.

1. Bădică, A., Bădică, C., Dănciulescu, D., Logofătu, D.: Greedy heuristics for automatic synthesis of efficient block-structured scheduling processes from declarative specifications. In: Proceedings of the AIAI 2018. IFIP Advances in Information and Communication Technology, vol. 519, pp. 183–195 Springer, Cham (2018). https://doi.org/10.1007/978-3-319-92007-8_16

2. Bordini, R.H., Hübner, J.F.: Concurrency in Jason. https://github.com/jason-lang/jason/blob/master/doc/tech/concurrency.adoc . Accessed 19 June 2019

3. Kelley Jr., J.E.: Critical-path planning and scheduling: mathematical basis. Oper. Res. 9(3), 296–320 (1961). https://doi.org/10.1287/opre.9.3.296

4. Leemans, S.J.J., Fahland, D., van der Aalst, W.M.P.: Discovering block-structured process models from event logs - a constructive approach. In: Proceedings of the PETRI NETS 2013. LNCS, vol. 7927, pp. 311–329. Springer (2013). https://doi.org/10.1007/978-3-642-38697-8_17

5. Mrasek, R., Mülle, J., Böhm, K.: Process synthesis with sequential and parallel constraints. In: Proceedings of the OTM 2016. LNCS, vol. 10033, pp. 43–60. Springer (2016). https://doi.org/10.1007/978-3-319-48472-3_3

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Exact and approximation algorithms for synthesizing specific classes of optimal block-structured processes;Simulation Modelling Practice and Theory;2023-09

2. Fuzzy logic programs as hypergraphs. Termination results;Fuzzy Sets and Systems;2022-09

3. Polynomial Algorithms for Synthesizing Specific Classes of Optimal Block-Structured Processes;Computational Collective Intelligence;2021

4. Block structured scheduling using constraint logic programming;AI Communications;2020-08-05