%0 Conference Paper %1 reason:GoeFurPoo86a %A Goebel, R. %A Furukawa, K. %A Poole, D. %B Proc.\ Third International Conference on Logic Programming %C London %D 1986 %E Shapiro, E. %K imported ml %P 211--222 %T Using definite clauses and integrity constraints as the basis for a theory formation approach to diagnostic reasoning

@inproceedings{reason:GoeFurPoo86a, added-at = {2016-11-26T13:19:29.000+0100}, address = {London}, author = {Goebel, R. and Furukawa, K. and Poole, D.}, biburl = {https://www.bibsonomy.org/bibtex/2fa5cc15393799391df871bfabacc57da/machinelearning}, booktitle = {Proc.\ Third International Conference on Logic Programming}, editor = {Shapiro, E.}, interhash = {79dc54d9b8b2983a5ffcbca229099b39}, intrahash = {fa5cc15393799391df871bfabacc57da}, keywords = {imported ml}, month = jul, pages = {211--222}, serial = {GoeFurPoo86a}, timestamp = {2016-11-26T13:20:49.000+0100}, title = {Using definite clauses and integrity constraints as the basis for a theory formation approach to diagnostic reasoning}, year = 1986 }