Characterizations and algorithms of extensions for CADL and QDL

DOI10.1007/BF02946520zbMath0919.03022MaRDI QIDQ1288432

Mingyi Zhang, Ying Zhang

Publication date: 11 May 1999

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

zbMATH Keywords

complexityalgorithmsextensionsreasoningdefault logiccumulativitycompatibilityassumption

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• A logic for default reasoning
• Cumulative default logic: In defense of nonmonotonic inference rules
• On cumulative default logics
• Some results on default logic
• Cumulative default logic: Finite characterization, algorithms, and complexity
• A new research into default logic

This page was built for publication: Characterizations and algorithms of extensions for CADL and QDL