scientific article; zbMATH DE number 1390351

MaRDI QIDQ4934643zbMATH OpenFDO

Authors Giovanni Criscuolo, Eliana Minicozzi

Publication date 22 March 2000

zbMATH Keywords

extensionsemantics of logic programsdefault theory

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic programming (68N17) Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Recommendations

• On extensions of general default theories
• scientific article; zbMATH DE number 6958
• Publication:4943322
• scientific article; zbMATH DE number 124281
• Constraints on extensions of a default theory

Cited in

(8)

• Extensions for open default theories via the domain closure assumption
• Extensions for open default theories via the domain closure assumption
• Consistency defaults
• scientific article; zbMATH DE number 2197975 (Why is no real title available?)
• Ordered seminormal default theories and their extensions
• On extensions of general default theories
• Proof of normal statistical default extensions
• scientific article; zbMATH DE number 611094 (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 Q4934643)