Finite Open-World Query Answering with Number Restrictions
From MaRDI portal
Publication:4635813
DOI10.1109/LICS.2015.37zbMath1401.68057MaRDI QIDQ4635813
Michael Benedikt, Antoine Amarilli
Publication date: 23 April 2018
Published in: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
This page was built for publication: Finite Open-World Query Answering with Number Restrictions