%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 }