Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato. Automated Deduction for Logics of Default Reasoning. In Gerhard Brewka, Silvia Coradeschi, Anna Perini, Paolo Traverso, editors, ECAI 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings. Volume 141 of Frontiers in Artificial Intelligence and Applications, pages 757-758, IOS Press, 2006.
@inproceedings{GiordanoGOP06,
title = {Automated Deduction for Logics of Default Reasoning},
author = {Laura Giordano and Valentina Gliozzi and Nicola Olivetti and Gian Luca Pozzato},
year = {2006},
tags = {logic},
researchr = {https://researchr.org/publication/GiordanoGOP06},
cites = {0},
citedby = {0},
pages = {757-758},
booktitle = {ECAI 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings},
editor = {Gerhard Brewka and Silvia Coradeschi and Anna Perini and Paolo Traverso},
volume = {141},
series = {Frontiers in Artificial Intelligence and Applications},
publisher = {IOS Press},
isbn = {1-58603-642-4},
}