On extensions of general default theories

zbMATH Open0792.03015MaRDI QIDQ1312967FDOQ1312967

Authors: MingYi Zhang 

Publication date: 9 February 1994

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

Recommendations

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

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)

Cited In (19)

• Extensions for open default theories via the domain closure assumption
• Title not available (Why is that?)
• Extensions for open default theories via the domain closure assumption
• Title not available (Why is that?)
• Characterization of an auto-compatible default theory
• Ordered seminormal default theories and their extensions
• Cumulative default logic: Finite characterization, algorithms, and complexity
• Some results on default logic
• Skeptical rational extensions
• Title not available (Why is that?)
• A comparative study of open default theories
• Seminormalizing a default theory
• Title not available (Why is that?)
• A new research into default logic
• Title not available (Why is that?)
• Greedy default logic
• Title not available (Why is that?)
• Proof of normal statistical default extensions
• Title not available (Why is that?)

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)