Higher-order logic programming: an expressive language for representing qualitative preferences

Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis. Higher-order logic programming: an expressive language for representing qualitative preferences. In James Cheney, Germán Vidal, editors, Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016. pages 24-37, ACM, 2016. [doi]

Abstract

Abstract is missing.