Stratified default theories

DOI10.1007/BFB0022275MaRDI QIDQ4474859zbMATH OpenFDO

Authors Paweł Cholewiński

Publication date 21 July 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Seminormal stratified default theories
• Reasoning with stratified default theories
• Splitting finite default theories: A comparison of two approaches
• Credit default prediction and parabolic potential theory
• Constraints on extensions of a default theory
• Alternative defaultable term structure models
• Model-preference default theories
• Structural default model with mutual obligations
• On extensions of general default theories

Cited in

(11)

• Stratification and knowledge base management
• Prolog technology for default reasoning: proof theory and compilation techniques
• Splitting finite default theories: A comparison of two approaches
• Seminormal stratified default theories
• Computing with default logic
• On the impact of stratification on the complexity of nonmonotonic reasoning
• scientific article; zbMATH DE number 1466316 (Why is no real title available?)
• scientific article; zbMATH DE number 6958 (Why is no real title available?)
• Reasoning with stratified default theories
• A system for computing constrained default logic extensions
• Logic programming with infinite sets

This page was built for publication: Stratified default theories

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