Conference Report: Abduction and Induction in AI; Logic, Proofs and Algorithms; Logic in Natural Language; Logic for Concurrency and Synchronisation (LOCUS).
Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Journal Article
%1 journals/igpl/QueirozG98
%A Flach, Peter A.
%A Kakas, Antonis C.
%A de Queiroz, Ruy J. G. B.
%A Guimaraes, Kátia Silva
%D 1998
%J Logic Journal of the IGPL
%K dblp
%N 4
%P 651-663
%T Conference Report: Abduction and Induction in AI; Logic, Proofs and Algorithms; Logic in Natural Language; Logic for Concurrency and Synchronisation (LOCUS).
%U http://dblp.uni-trier.de/db/journals/igpl/igpl6.html#QueirozG98
%V 6
@article{journals/igpl/QueirozG98,
added-at = {2017-03-13T00:00:00.000+0100},
author = {Flach, Peter A. and Kakas, Antonis C. and de Queiroz, Ruy J. G. B. and Guimaraes, Kátia Silva},
biburl = {https://www.bibsonomy.org/bibtex/285789270977cd0c27db303da86c86337/dblp},
ee = {https://doi.org/10.1093/jigpal/6.4.651},
interhash = {9b0f1f47ff99f37888f2abce73227e4c},
intrahash = {85789270977cd0c27db303da86c86337},
journal = {Logic Journal of the IGPL},
keywords = {dblp},
number = 4,
pages = {651-663},
timestamp = {2017-03-14T11:35:21.000+0100},
title = {Conference Report: Abduction and Induction in AI; Logic, Proofs and Algorithms; Logic in Natural Language; Logic for Concurrency and Synchronisation (LOCUS).},
url = {http://dblp.uni-trier.de/db/journals/igpl/igpl6.html#QueirozG98},
volume = 6,
year = 1998
}