Efficient Semantic Tableau Generation for Abduction in Propositional Logic.
Y. Yang, R. de Aldama, J. Atif, und I. Bloch. ECAI, Volume 285 von Frontiers in Artificial Intelligence and Applications, Seite 1756-1757. IOS Press, (2016)
Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%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
}
