A Case Study in Computer-Assisted Meta-reasoning

Asta Halkjær From, Simon Tobias Lund, Jørgen Villadsen. A Case Study in Computer-Assisted Meta-reasoning. In Sara Rodríguez-González, José Manuel F. Machado, Alfonso González-Briones, Jaroslaw Wikarek, Roussanka Loukanova, George Katranas, Roberto Casado-Vara, editors, Distributed Computing and Artificial Intelligence, Volume 2: Special Sessions 18th International Conference, DCAI 2021, Salamanca, Spain, 6-8 October 2021. Volume 332 of Lecture Notes in Networks and Systems, pages 53-63, Springer, 2021. [doi]

Authors

Asta Halkjær From

This author has not been identified. Look up 'Asta Halkjær From' in Google

Simon Tobias Lund

This author has not been identified. Look up 'Simon Tobias Lund' in Google

Jørgen Villadsen

This author has not been identified. Look up 'Jørgen Villadsen' in Google