scientific article; zbMATH DE number 4049119

MaRDI QIDQ3786006zbMATHFDO

Authors Paolo Atzeni, D. Stott Parker

Publication date 1986

zbMATH Keywords

binary containment inferenceknowledge representation schemes

Mathematics Subject Classification ID

Artificial intelligence (68T99)

Cited in

(3)

• A deductive database on Aristotelian logic
• Type data bases with incomplete information
• Foundations of entity-relationship modeling

This page was built for publication:

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