On extensions of general default theories

zbMath0792.03015MaRDI QIDQ1312967

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)

Related Items (3)

Some results on default logic ⋮ Cumulative default logic: Finite characterization, algorithms, and complexity ⋮ Characterization of an auto-compatible default theory

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