%0 Conference Paper %1 conf/ecai/YangAAB16 %A Yang, Yifan %A de Aldama, Ricardo %A Atif, Jamal %A Bloch, Isabelle %B ECAI %D 2016 %E Kaminka, Gal A. %E Fox, Maria %E Bouquet, Paolo %E Hüllermeier, Eyke %E Dignum, Virginia %E Dignum, Frank %E van Harmelen, Frank %I IOS Press %K dblp %P 1756-1757 %T Efficient Semantic Tableau Generation for Abduction in Propositional Logic. %U http://dblp.uni-trier.de/db/conf/ecai/ecai2016.html#YangAAB16 %V 285 %@ 978-1-61499-672-9

@inproceedings{conf/ecai/YangAAB16, added-at = {2017-05-24T00:00:00.000+0200}, author = {Yang, Yifan and de Aldama, Ricardo and Atif, Jamal and Bloch, Isabelle}, biburl = {https://www.bibsonomy.org/bibtex/257abdbab2dd36cfc0e56e44913b56993/dblp}, booktitle = {ECAI}, crossref = {conf/ecai/2016}, editor = {Kaminka, Gal A. and Fox, Maria and Bouquet, Paolo and Hüllermeier, Eyke and Dignum, Virginia and Dignum, Frank and van Harmelen, Frank}, ee = {https://doi.org/10.3233/978-1-61499-672-9-1756}, interhash = {5802810dc1bd11d01fa96dbb8c55f197}, intrahash = {57abdbab2dd36cfc0e56e44913b56993}, isbn = {978-1-61499-672-9}, keywords = {dblp}, pages = {1756-1757}, publisher = {IOS Press}, series = {Frontiers in Artificial Intelligence and Applications}, timestamp = {2024-04-09T18:47:09.000+0200}, title = {Efficient Semantic Tableau Generation for Abduction in Propositional Logic.}, url = {http://dblp.uni-trier.de/db/conf/ecai/ecai2016.html#YangAAB16}, volume = 285, year = 2016 }