On extensions of general default theories

MaRDI QIDQ1312967zbMATH OpenFDO

Authors MingYi Zhang

Publication date 9 February 1994

Published in Science in China. Series A (Search for Journal in Brave)

zbMATH Keywords

default logicauto-compatible defaultcompatible subset of defaultsextensions of general default theories

Mathematics Subject Classification ID

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

Recommendations

• Some results on default logic
• A new research into default logic
• Publication:4934643
• Publication:4943322
• Characterization of an auto-compatible default theory

Cited in

(19)

• Extensions for open default theories via the domain closure assumption
• scientific article; zbMATH DE number 124281 (Why is no real title available?)
• Extensions for open default theories via the domain closure assumption
• Characterization of an auto-compatible default theory
• scientific article; zbMATH DE number 2197975 (Why is no real title available?)
• Ordered seminormal default theories and their extensions
• Cumulative default logic: Finite characterization, algorithms, and complexity
• Some results on default logic
• Skeptical rational extensions
• scientific article; zbMATH DE number 140413 (Why is no real title available?)
• A comparative study of open default theories
• Seminormalizing a default theory
• scientific article; zbMATH DE number 5198305 (Why is no real title available?)
• A new research into default logic
• scientific article; zbMATH DE number 1390351 (Why is no real title available?)
• Greedy default logic
• scientific article; zbMATH DE number 2079046 (Why is no real title available?)
• Proof of normal statistical default extensions
• scientific article; zbMATH DE number 611094 (Why is no real title available?)

This page was built for publication: On extensions of general default theories

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