Author:
Achille Fokoue, Ibrahim Abdelaziz, Maxwell Crouse, Shajith Ikbal, Akihiro Kishimoto, Guilherme Lima, Ndivhuwo Makondo, Radu Marinescu
Keyword:
Computer Science, Artificial Intelligence, Artificial Intelligence (cs.AI), Logic in Computer Science (cs.LO)