Extending ALCQIO with Trees
From MaRDI portal
Publication:4635832
DOI10.1109/LICS.2015.54zbMath1394.68373MaRDI QIDQ4635832
Florian Zuleger, Helmut Veith, Mantas Šimkus, Tomer Kotek
Publication date: 23 April 2018
Published in: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Analysis of algorithms and problem complexity (68Q25) Logic in artificial intelligence (68T27) Decidability of theories and sets of sentences (03B25) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)