Seminormal stratified default theories

DOI10.1007/BF02127969zbMath0887.03020OpenAlexW1982856725MaRDI QIDQ1380425

Paweł Cholewiński

Publication date: 4 March 1998

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

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

zbMATH Keywords

stratificationseminormal default theories

Mathematics Subject Classification ID

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

Related Items

Reasoning with stratified default theories

Cites Work

• A logic for default reasoning
• General logical databases and programs: Default logic semantics and stratification
• Autoepistemic logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item