scientific article; zbMATH DE number 140413

MaRDI QIDQ4028825zbMATH OpenFDO

Authors Torsten Schaub

Publication date 28 March 1993

zbMATH Keywords

commitmentcumulativitydefault logic

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic in artificial intelligence (68T27)

Recommendations

• Default logic and it's variants: A semantical view
• scientific article; zbMATH DE number 611093
• On extensions of general default theories
• On cumulative default logics
• Default logic about assertions

Cited in

(6)

• Cumulative default logic: Finite characterization, algorithms, and complexity
• Alternative approaches to default logic
• A new methodology for query answering in default logics via structure-oriented theorem proving
• Default logic and it's variants: A semantical view
• scientific article; zbMATH DE number 611093 (Why is no real title available?)
• The placeholder view of assumptions and the Curry-Howard correspondence

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