A Multi-shot ASP Encoding for the Aircraft Routing and Maintenance Planning Problem-Reference-Cited by-同舟云学术

A Multi-shot ASP Encoding for the Aircraft Routing and Maintenance Planning Problem

Published:2021 Issue: Volume: Page:442-457
ISSN:0302-9743
Container-title:Logics in Artificial Intelligence
language:
Short-container-title:

Author:

Tassel Pierre,Rbaia Mohamed

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-75775-5_30

Reference21 articles.

1. https://github.com/prosysscience/Aircraft_Scheduling

2. Abseher, M., Gebser, M., Musliu, N., Schaub, T., Woltran, S.: Shift design with answer set programming. Fundam. Inform. 147(1), 1–25 (2016)

3. Brewka, G., Delgrande, J., Romero, J., Schaub, T.: asprin: customizing answer set preferences without a headache. In: Proceedings of the AAAI Conference on Artificial Intelligence, pp. 1467–1474. AAAI Press (2015)

4. Brewka, G., Eiter, T., Truszczyński, M.: Answer set programming at a glance. Commun. ACM 54(12), 92–103 (2011)

5. Calimeri, F., Dodaro, C., Fuscà, D., Perri, S., Zangari, J.: Efficiently coupling the I-DLV grounder with ASP solvers. Theory Pract. Logic Program. 20(2), 205–224 (2020)

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

1. Proceedings 39th International Conference on Logic Programming;Electronic Proceedings in Theoretical Computer Science;2023-09-12

2. Flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid Answer Set Programming (Application Paper);Practical Aspects of Declarative Languages;2023

3. Hybrid ASP-Based Multi-objective Scheduling of Semiconductor Manufacturing Processes;Logics in Artificial Intelligence;2023

4. Proceedings 38th International Conference on Logic Programming;Electronic Proceedings in Theoretical Computer Science;2022-08-04