Seminormal stratified default theories

DOI10.1007/BF02127969zbMATH Open0887.03020OpenAlexW1982856725MaRDI QIDQ1380425FDOQ1380425

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) Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Cites Work

• Autoepistemic logic
• A logic for default reasoning
• General logical databases and programs: Default logic semantics and stratification
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (4)

• Ordered seminormal default theories and their extensions
• Seminormalizing a default theory
• Reasoning with stratified default theories
• Title not available (Why is that?)

This page was built for publication: Seminormal stratified default theories

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