Deakstadieđáhus: Advances in logic, artificial intelligence, and robotics