scientific article; zbMATH DE number 970711

zbMath0868.68016MaRDI QIDQ5688896

P. T. Cox, Emanuel Knill, Tomasz Pietrzykowski

Publication date: 23 January 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

logic programmingabductive reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17)

Related Items

Equality and abductive residua for Horn clauses, On the duality of abduction and model generation in a framework for model generation with equality