scientific article; zbMATH DE number 1876863

MaRDI QIDQ4796540zbMATH OpenFDO

Authors Xishun Zhao, Paolo Liberatore

Publication date 2 June 2003

zbMATH Keywords

complexitynonmonotonic inferenceentailmentdefault logicunique extension existence problem

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 52991
• scientific article; zbMATH DE number 4106303
• scientific article; zbMATH DE number 408811
• Hard problems for simple default logics
• Publication:3493327

Cited in

(5)

• scientific article; zbMATH DE number 1123617 (Why is no real title available?)
• scientific article; zbMATH DE number 52991 (Why is no real title available?)
• Reasoning credulously and skeptically within a single extension
• On the complexity of extension checking in default logic
• The complexity of predicate default logic over a countable domain

This page was built for publication:

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