Yifan Yang, Ricardo de Aldama, Jamal Atif, Isabelle Bloch. Efficient Semantic Tableau Generation for Abduction in Propositional Logic. In Gal A. Kaminka, Maria Fox, Paolo Bouquet, Eyke Hüllermeier, Virginia Dignum, Frank Dignum, Frank van Harmelen, editors, ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016). Volume 285 of Frontiers in Artificial Intelligence and Applications, pages 1756-1757, IOS Press, 2016. [doi]
@inproceedings{YangAAB16,
title = {Efficient Semantic Tableau Generation for Abduction in Propositional Logic},
author = {Yifan Yang and Ricardo de Aldama and Jamal Atif and Isabelle Bloch},
year = {2016},
doi = {10.3233/978-1-61499-672-9-1756},
url = {http://dx.doi.org/10.3233/978-1-61499-672-9-1756},
researchr = {https://researchr.org/publication/YangAAB16},
cites = {0},
citedby = {0},
pages = {1756-1757},
booktitle = {ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016)},
editor = {Gal A. Kaminka and Maria Fox and Paolo Bouquet and Eyke Hüllermeier and Virginia Dignum and Frank Dignum and Frank van Harmelen},
volume = {285},
series = {Frontiers in Artificial Intelligence and Applications},
publisher = {IOS Press},
isbn = {978-1-61499-672-9},
}