scientific article; zbMATH DE number 517023

MaRDI QIDQ4282550zbMATH OpenFDO

Authors Gerhard Brewka, David Makinson, K. Schlechta

Publication date 17 March 1994

zbMATH Keywords

cumulativityfloating conclusionsGelfond-Lifschitz semanticsjustification-based truth maintenance systemlogic program with negationnonmonotonic reasoning

Mathematics Subject Classification ID

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

Recommendations

• Cumulative default logic: In defense of nonmonotonic inference rules
• scientific article; zbMATH DE number 757641
• scientific article; zbMATH DE number 517024
• Publication:5750427
• scientific article; zbMATH DE number 140412

Cited in

(6)

• Cumulative default logic: In defense of nonmonotonic inference rules
• Cumulative default logic: Finite characterization, algorithms, and complexity
• Alternative approaches to default logic
• Inference engine based on closure and join operators over truth table binary relations
• Cumulativity Tailored for Nonmonotonic Reasoning
• Skepticism and floating conclusions

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