Fixed-parameter algorithms for closed world reasoning

MaRDI QIDQ3457256zbMATH OpenFDO

Authors Martin Lackner, Andreas Pfandler

Publication date 11 December 2015

Full work available at URL http://ebooks.iospress.nl/volumearticle/7021

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 1453052
• Fixed-parameter complexity in AI and nonmonotonic reasoning
• The complexity of propositional closed world reasoning and circumscription
• Knowledge compilation for closed world reasoning and circumscription
• On compact representations of propositional circumscription

Cited in

(3)

• Fixed-parameter complexity in AI and nonmonotonic reasoning
• A multiparametric view on answer set programming
• scientific article; zbMATH DE number 1453052 (Why is no real title available?)

This page was built for publication: Fixed-parameter algorithms for closed world reasoning

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