2021
P.A. Walega, D.J. Tena Cucala, E.V. Kostylev, B. Cuenca Grau: DatalogMTL with Negation Under Stable Models Semantics In 18th International Conference on Principles of Knowledge Representation and Reasoning. Pages 609-618. (BibTex)
D.J. Tena Cucala‚ B. Cuenca Grau, I. Horrocks: Pay−As−You−Go Consequence−Based Reasoning for the Description Logic SROIQ In Artif. Intell.. Vol. 298. Article 103518. (BibTeX)
D.J. Tena Cucala‚ P. A. Walega‚ B. Cuenca Grau, E. V. Kostylev Stratified Negation in Datalog with Metric Temporal Operators In Thirty−Fifth AAAI Conference on Artificial Intelligence. Pages 6488–6495. (BibTeX)
2020
D.J. Tena Cucala, Consequence-Based Reasoning for the Description Logic SROIQ DPhil Thesis, University of Oxford.
2019
D.J. Tena Cucala‚ B. Cuenca Grau, I. Horrocks: Sequoia: A Consequence Based Reasoner for SROIQ In 32nd International Workshop on Description Logics. Vol. 2373 of CEUR Workshop Proceedings. (BibTeX)
D.J. Tena Cucala‚ B. Cuenca Grau, I. Horrocks: 15 Years of Consequence−Based Reasoning In Description Logic‚ Theory Combination‚ and All That. Vol. 11560 of Lecture Notes in Computer Science. Pages 573–587. Springer. (BibTeX)
2018
A. Bate‚ B. Motik‚ B. Cuenca Grau‚ D.J. Tena Cucala‚ F. Simancik, I. Horrocks Consequence−Based Reasoning for Description Logics with Disjunctions and Number Restrictions In J. Artif. Intell. Res.. Vol. 63. Pages 625–690. (BibTeX)
D.J. Tena Cucala‚ B. Cuenca Grau, I. Horrocks: Consequence−based Reasoning for Description Logics with Disjunction‚ Inverse Roles‚ Number Restrictions‚ and Nominals In Twenty−Seventh International Joint Conference on Artificial Intelligence. Pages 1970–1976. (BibTeX)
2017
D.J. Tena Cucala‚ B. Cuenca Grau, I. Horrocks: Consequence−based Reasoning for Description Logics with Disjunction‚ Inverse Roles‚ and Nominals In 30th International Workshop on Description Logics. Vol. 1879 of CEUR Workshop Proceedings. (BibTeX)