scientific article

zbMath0974.68205MaRDI QIDQ2729669

Zhao, Xishun, Ding, Decheng

Publication date: 23 July 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

complexity of default reasoning

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in artificial intelligence (68T27)

Related Items (2)

Redundancy in logic. II: 2CNF and Horn propositional formulae ⋮ Fixed-parameter tractability of disjunction-free default reasoning

This page was built for publication: