scientific article
From MaRDI portal
zbMath0742.68009MaRDI QIDQ4012259
Publication date: 27 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Logic programming (68N17) General topics in artificial intelligence (68T01)
Related Items
IDNAF Prolog, On the duality of abduction and model generation in a framework for model generation with equality