scientific article; zbMATH DE number 2079046

MaRDI QIDQ4474859zbMATH OpenFDO

Authors Paweł Cholewiński

Publication date 21 July 2004

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:

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