scientific article; zbMATH DE number 1696843

MaRDI QIDQ2767115zbMATH OpenFDO

Authors Yves Moinard, Raymond Rolland

Publication date 28 January 2002

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Recommendations

• Some computational aspects of circumscription
• The expressive power of circumscription
• scientific article; zbMATH DE number 640290
• On compact representations of propositional circumscription
• Decidability and definability with circumscription

Cited in

(1)

• scientific article; zbMATH DE number 2102726 (Why is no real title available?)

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 Q2767115)