Angelos Charalambidis, Panos Rondogiannis. Constructive Negation in Extensional Higher-Order Logic Programming. In Chitta Baral, Giuseppe De Giacomo, Thomas Eiter, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014. AAAI Press, 2014. [doi]
@inproceedings{CharalambidisR14,
title = {Constructive Negation in Extensional Higher-Order Logic Programming},
author = {Angelos Charalambidis and Panos Rondogiannis},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7995},
researchr = {https://researchr.org/publication/CharalambidisR14},
cites = {0},
citedby = {0},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014},
editor = {Chitta Baral and Giuseppe De Giacomo and Thomas Eiter},
publisher = {AAAI Press},
isbn = {978-1-57735-657-8},
}