scientific article; zbMATH DE number 970711

From MaRDI portal

Revision as of 20:52, 13 March 2024 by Import240313080341 (talk | contribs) (Created automatically from import240313080341)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5688896

Jump to:navigation, search

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 programming abductive reasoning

Mathematics Subject Classification ID

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

Related Items (2)

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

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5688896&oldid=30856949"