scientific article; zbMATH DE number 1876863

zbMATH Open1025.03022MaRDI QIDQ4796540FDOQ4796540

Authors: Xishun Zhao, Paolo Liberatore 

Publication date: 2 June 2003

Title of this publication is not available (Why is that?)

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

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)

Cited In (5)

• On the complexity of extension checking in default logic
• Title not available (Why is that?)
• Reasoning credulously and skeptically within a single extension
• Title not available (Why is that?)
• 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)