Some results on default logic

DOI10.1007/BF02939508zbMath0808.68096MaRDI QIDQ1333373

Mingyi Zhang

Publication date: 13 September 1994

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

zbMATH Keywords

auto-compatible default theory

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (1)

Characterizations and algorithms of extensions for CADL and QDL

Cites Work

• Unnamed Item
• A logic for default reasoning
• On extensions of general default theories

This page was built for publication: Some results on default logic