Modular specifications with supernormal defaults

DOI10.1007/BF01530785zbMath0858.68109OpenAlexW1988929586MaRDI QIDQ1924749

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)

Cites Work

• Compiling a default reasoning system into Prolog
• A logical framework for default reasoning
• Nonmonotonic logic and temporal projection
• An algorithm to compute circumscription
• A circumscriptive theorem prover
• A calculus for the construction of modular prolog programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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