A Comparison of Declarative AI Techniques for Computer Automated Design of Elevator Systems
Published in Intelligenza Artificiale 16 (1), 131-150, 2022, 2022
Recommended citation: G. Cicala, S. Demarchi, M. Menapace, L. Annunziata and A. Tacchella (2022), "A Comparison of Declarative AI Techniques for Computer Automated Design of Elevator Systems." in Intelligenza Artificiale 16 (1), 131-150, 2022.
We present several declarative encodings for the automated design of elevator systems.