Motik, Boris
Reasoning in Description Logics using Resolution and Deductive Databases
Universität Karlsruhe, Fak. f. Wirtschaftswissenschaften. Diss. v. 09.01.2006.
We extend the description logic EL++ with reflexive roles
and range restrictions, and show that subsumption remains tractable if
a certain syntactic restriction is adopted. We also show that subsumption
becomes PSpace-hard (resp. undecidable) if this restriction is weakened
(resp. dropped). Additionally, we prove that tractability is lost when
symmetric roles are added: in this case, subsumption becomes ExpTime-
hard
O. Yadan, K. Adams, Y. Taigman, and M. Ranzato. (2013)cite arxiv:1312.5853Comment: Machine Learning, Deep Learning, Convolutional Networks, Computer Vision, GPU, CUDA.
B. Baker, O. Gupta, R. Raskar, and N. Naik. (2017)cite arxiv:1705.10823Comment: Submitted to International Conference on Learning Representations, (2018).
D. Povey, X. Zhang, and S. Khudanpur. (2014)cite arxiv:1410.7455Comment: Accepted as workshop contribution to ICLR 2015. 12 pages plus 16 pages of appendices, International Conference on Learning Representations (ICLR): Workshop track, 2015. 2 sets of minor fixes post-publication..
C. Ma, V. Smith, M. Jaggi, M. Jordan, P. Richtárik, and M. Takáč. (2015)cite arxiv:1502.03508Comment: ICML 2015: JMLR W&CP volume37, Proceedings of The 32nd International Conference on Machine Learning, pp. 1973-1982.
J. Yosinski, J. Clune, Y. Bengio, and H. Lipson. (2014)cite arxiv:1411.1792Comment: To appear in Advances in Neural Information Processing Systems 27 (NIPS 2014).
H. Spieker, A. Gotlieb, D. Marijan, and M. Mossige. (2018)cite arxiv:1811.04122Comment: Spieker, H., Gotlieb, A., Marijan, D., & Mossige, M. (2017). Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration. In Proceedings of 26th International Symposium on Software Testing and Analysis (ISSTA'17) (pp. 12--22). ACM.
D. Kingma, and J. Ba. (2014)cite arxiv:1412.6980Comment: Published as a conference paper at the 3rd International Conference for Learning Representations, San Diego, 2015.
H. Zhang, Y. Dauphin, and T. Ma. (2019)cite arxiv:1901.09321Comment: Accepted for publication at ICLR 2019; see https://openreview.net/forum?id=H1gsz30cKX.
H. Li, Z. Xu, G. Taylor, C. Studer, and T. Goldstein. (2017)cite arxiv:1712.09913Comment: NIPS 2018 (extended version, 10.5 pages), code is available at https://github.com/tomgoldstein/loss-landscape.
W. Cohen, and H. Hirsh. Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94), May 24-27, 1994, Bonn, Germany, page 121--133. Morgan-Kauffman Publishers, San Francisco, CA, USA, (1994)
C. d'Amato, N. Fanizzi, and F. Esposito. Proceedings of the 2006 ACM Symposium on Applied Computing (SAC 2006), April 23-27, 2006, Dijon, France, page 1695--1699. ACM, New York, NY, USA, (2006)
R. Straeten, T. Mens, J. Simmonds, and V. Jonckers. UML 2003 – The Unified Modeling Language, volume 2863 of Lecture Notes in Computer Science, page 326--340. Springer, (2003)
S. Grimm, B. Motik, and C. Preist. Proc. of the 3rd European Semantic Web Conference (ESWC 2006), volume 4011 of LNCS, page 575--589. Budva, Montenegro, Springer, (June 2006)
S. Arora, A. May, J. Zhang, and C. Ré. Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, page 2650--2663. Online, Association for Computational Linguistics, (July 2020)
D. Calvanese, G. Giacomo, and M. Lenzerini. Computational Logic: Logic Programming and Beyond, volume 2408 of Lecture Notes in Computer Science, page 41--60. Springer Berlin / Heidelberg, (2002)
F. Baader, B. Ganter, B. Sertkaya, and U. Sattler. Proceedings of the 20th international joint conference on Artifical intelligence, page 230--235. San Francisco, CA, USA, Morgan Kaufmann Publishers Inc., (2007)
N. Fanizzi, and C. d'Amato. Proceedings of the 11th International Conference on Knowledge-Based Intelligent Information and Engineering Systems (KES 2007), XVII Italian Workshop on Neural Networks,, 4692, page 148--155. Springer, Berlin--Heidelberg, Germany, (2007)