Publication:2915678

DOI10.4230/LIPIcs.CSL.2011.129zbMath1247.03013MaRDI QIDQ2915678

Domenico Cantone, Cristiano Longo, Marianna Nicolosi-Asmundo

Publication date: 18 September 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_488e.html

zbMATH Keywords

set theory; description logic; NP-complete decision procedures

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

68T27: Logic in artificial intelligence

03B25: Decidability of theories and sets of sentences

68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)

03E99: Set theory