Using inductive reasoning for completing OCF-networks

From MaRDI portal
Publication:901145

DOI10.1016/J.JAL.2015.03.006zbMATH Open1409.68290OpenAlexW1979910121MaRDI QIDQ901145FDOQ901145


Authors: Christian Eichhorn, Gabriele Kern-Isberner Edit this on Wikidata


Publication date: 23 December 2015

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2015.03.006




Recommendations




Cites Work


Cited In (4)





This page was built for publication: Using inductive reasoning for completing OCF-networks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q901145)