@conference{iclr2024,
  title = "Faithful Rule Extraction for Differentiable Rule Learning Models",
  author = "Xiaxia Wang, David J. Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks",
  year = "2024",
  booktitle = "The Twelfth International Conference on Learning Representations",
  url = "https://openreview.net/pdf?id=kBTzlxM2J1",
}
@inproceedings{10.24963/kr.2021/58,
  title = "DatalogMTL with Negation Under Stable Models Semantics",
  author = "Przemyslaw Andrzej Walega and David J. Tena Cucala and Egor V. Kostylev and Bernardo Cuenca Grau",
  year = "2021",
  booktitle = "Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2021, Online event, November 3-12, 2021",
  editor = "Meghyn Bienvenu and Gerhard Lakemeyer and Esra Erdem",
  pages = "609--618",
  url = "https://doi.org/10.24963/kr.2021/58",
  doi = "10.24963/kr.2021/58",
}
@inproceedings{DBLP:conf/aaai/CucalaWGK21,
  title = "Stratified Negation in Datalog with Metric Temporal Operators",
  author = "David J. Tena Cucala and Przemyslaw Andrzej Walega and Bernardo Cuenca Grau and Egor V. Kostylev",
  year = "2021",
  booktitle = "Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI} 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9, 2021",
  pages = "6488--6495",
  publisher = "{AAAI} Press",
  url = "https://ojs.aaai.org/index.php/AAAI/article/view/16804",
}
@article{DBLP:journals/ai/CucalaGH21,
  title = "Pay-as-you-go consequence-based reasoning for the description logic {SROIQ}",
  author = "David Tena Cucala and Bernardo Cuenca Grau and Ian Horrocks",
  year = "2021",
  journal = "Artif. Intell.",
  pages = "103518",
  url = "https://doi.org/10.1016/j.artint.2021.103518",
  volume = "298",
  doi = "10.1016/j.artint.2021.103518",
}
@inproceedings{DBLP:conf/dlog/CucalaGH19,
  title = "Sequoia: {A} Consequence Based Reasoner for {SROIQ}",
  author = "David Tena Cucala and Bernardo Cuenca Grau and Ian Horrocks",
  year = "2019",
  booktitle = "Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019",
  editor = "Mantas Simkus and Grant E. Weddell",
  publisher = "CEUR-WS.org",
  series = "{CEUR} Workshop Proceedings",
  url = "http://ceur-ws.org/Vol-2373/paper-27.pdf",
  volume = "2373",
}
@inproceedings{DBLP:conf/birthday/CucalaGH19,
  title = "15 Years of Consequence-Based Reasoning",
  author = "David Tena Cucala and Bernardo Cuenca Grau and Ian Horrocks",
  year = "2019",
  booktitle = "Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday",
  editor = "Carsten Lutz and Uli Sattler and Cesare Tinelli and Anni{-}Yasmin Turhan and Frank Wolter",
  pages = "573--587",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "https://doi.org/10.1007/978-3-030-22102-7\_27",
  volume = "11560",
  doi = "10.1007/978-3-030-22102-7\_27",
}
@article{DBLP:journals/corr/abs-1805-01396,
  title = "Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals",
  author = "David Tena Cucala and Bernardo Cuenca Grau and Ian Horrocks",
  year = "2018",
  journal = "CoRR",
  url = "http://arxiv.org/abs/1805.01396",
  volume = "abs/1805.01396",
}
@article{DBLP:journals/jair/BateMGCSH18,
  title = "Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions",
  author = "Andrew Bate and Boris Motik and Bernardo Cuenca Grau and David Tena Cucala and Frantisek Simancik and Ian Horrocks",
  year = "2018",
  journal = "J. Artif. Intell. Res.",
  pages = "625--690",
  url = "https://doi.org/10.1613/jair.1.11257",
  volume = "63",
  doi = "10.1613/jair.1.11257",
}
@inproceedings{DBLP:conf/ijcai/CucalaGH18,
  title = "Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals",
  author = "David Tena Cucala and Bernardo Cuenca Grau and Ian Horrocks",
  year = "2018",
  booktitle = "Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm, Sweden",
  editor = "J{\'{e}}r{\^{o}}me Lang",
  pages = "1970--1976",
  publisher = "ijcai.org",
  url = "https://doi.org/10.24963/ijcai.2018/272",
  doi = "10.24963/ijcai.2018/272",
}
@inproceedings{DBLP:conf/dlog/CucalaGH17,
  title = "Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, and Nominals",
  author = "David Tena Cucala and Bernardo Cuenca Grau and Ian Horrocks",
  year = "2017",
  booktitle = "Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017",
  editor = "Alessandro Artale and Birte Glimm and Roman Kontchakov",
  publisher = "CEUR-WS.org",
  series = "{CEUR} Workshop Proceedings",
  url = "http://ceur-ws.org/Vol-1879/paper35.pdf",
  volume = "1879",
}