Not too Big, Not too Small ... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Contributors

Original language	English
Title of host publication	Progress in Artificial Intelligence
Editors	Oliveira Eugénio, Gama João, Vale Zita, Lopes Cardoso Henrique
Publisher	Springer, Berlin [u. a.]
Pages	695-708
Number of pages	14
Publication status	Published - 1 Sept 2017
Peer-reviewed	Yes

Series	Lecture Notes in Computer Science, Volume 10423
ISSN	0302-9743

Scopus	85028973780