Efficient Semantic Tableau Generation for Abduction in Propositional Logic.
Y. Yang, R. de Aldama, J. Atif, and I. Bloch. ECAI, volume 285 of Frontiers in Artificial Intelligence and Applications, page 1756-1757. IOS Press, (2016)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}