scientific article; zbMATH DE number 4026858

MaRDI QIDQ3768427zbMATH OpenFDO

Authors Gerhard Jäger

Publication date 1986

zbMATH Keywords

proof theorylogic programmingnon-monotonic reasoningpredicate circumscription

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99)

Recommendations

• The expressive power of circumscription
• scientific article; zbMATH DE number 67498
• Publication:4729762
• Circumscription within monotonic inferences
• A theorem on the consistency of circumscription

Cited in

(9)

• FDE circumscription
• Projection and scope-determined circumscription
• scientific article; zbMATH DE number 67498 (Why is no real title available?)
• Revisiting grounded circumscription in description logics
• scientific article; zbMATH DE number 4114596 (Why is no real title available?)
• scientific article; zbMATH DE number 4137749 (Why is no real title available?)
• Circumscription within monotonic inferences
• scientific article; zbMATH DE number 1761408 (Why is no real title available?)
• A theorem on the consistency of circumscription

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