Modular specifications with supernormal defaults

DOI10.1007/BF01530785MaRDI QIDQ1924749zbMATH OpenOpenAlexFDO

Authors Stefan Brass

Publication date 20 October 1996

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01530785

zbMATH Keywords

module systemsupernormal defaults

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• Composition of default specifications
• Exceptions for algebraic specifications: On the meaning of ``but
• scientific article; zbMATH DE number 408775
• scientific article; zbMATH DE number 1761422

Cites work

• scientific article; zbMATH DE number 4199656 (Why is no real title available?)
• scientific article; zbMATH DE number 4164169 (Why is no real title available?)
• scientific article; zbMATH DE number 44622 (Why is no real title available?)
• scientific article; zbMATH DE number 140378 (Why is no real title available?)
• scientific article; zbMATH DE number 408775 (Why is no real title available?)
• A calculus for the construction of modular prolog programs
• A circumscriptive theorem prover
• A logical framework for default reasoning
• An algorithm to compute circumscription
• Compiling a default reasoning system into Prolog
• Nonmonotonic logic and temporal projection

Cited in

(1)

• Composition of default specifications

This page was built for publication: Modular specifications with supernormal defaults

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1924749)