scientific article; zbMATH DE number 4026858

zbMATH Open0631.68072MaRDI QIDQ3768427FDOQ3768427

Authors: Gerhard Jäger 

Publication date: 1986

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

proof theorylogic programmingnon-monotonic reasoningpredicate circumscription

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99)

Cited In (9)

• FDE circumscription
• Revisiting grounded circumscription in description logics
• Projection and scope-determined circumscription
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Circumscription within monotonic inferences
• Title not available (Why is that?)
• 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)