David Tena Cucala : Publications
-
[1]
Faithful Rule Extraction for Differentiable Rule Learning Models
Ian Horrocks Xiaxia Wang David J. Tena Cucala Bernardo Cuenca Grau
In The Twelfth International Conference on Learning Representations. 2024.
Details about Faithful Rule Extraction for Differentiable Rule Learning Models | BibTeX data for Faithful Rule Extraction for Differentiable Rule Learning Models | Link to Faithful Rule Extraction for Differentiable Rule Learning Models
-
[2]
Pay−as−you−go consequence−based reasoning for the description logic SROIQ
David Tena Cucala‚ Bernardo Cuenca Grau and Ian Horrocks
In Artif. Intell.. Vol. 298. Pages 103518. 2021.
Details about Pay−as−you−go consequence−based reasoning for the description logic SROIQ | BibTeX data for Pay−as−you−go consequence−based reasoning for the description logic SROIQ | DOI (10.1016/j.artint.2021.103518) | Link to Pay−as−you−go consequence−based reasoning for the description logic SROIQ
-
[3]
DatalogMTL with Negation Under Stable Models Semantics
Przemyslaw Andrzej Walega‚ David J. Tena Cucala‚ Egor V. Kostylev and Bernardo Cuenca Grau
In Meghyn Bienvenu‚ Gerhard Lakemeyer and Esra Erdem, editors, Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning‚ KR 2021‚ Online event‚ November 3−12‚ 2021. Pages 609–618. 2021.
Details about DatalogMTL with Negation Under Stable Models Semantics | BibTeX data for DatalogMTL with Negation Under Stable Models Semantics | DOI (10.24963/kr.2021/58) | Link to DatalogMTL with Negation Under Stable Models Semantics
-
[4]
Stratified Negation in Datalog with Metric Temporal Operators
David J. Tena Cucala‚ Przemyslaw Andrzej Walega‚ Bernardo Cuenca Grau and Egor V. Kostylev
In 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. AAAI Press. 2021.
Details about Stratified Negation in Datalog with Metric Temporal Operators | BibTeX data for Stratified Negation in Datalog with Metric Temporal Operators | Link to Stratified Negation in Datalog with Metric Temporal Operators
-
[5]
Sequoia: A Consequence Based Reasoner for SROIQ
David Tena Cucala‚ Bernardo Cuenca Grau and Ian Horrocks
In Mantas Simkus and Grant E. Weddell, editors, Proceedings of the 32nd International Workshop on Description Logics‚ Oslo‚ Norway‚ June 18−21‚ 2019. Vol. 2373 of CEUR Workshop Proceedings. CEUR−WS.org. 2019.
Details about Sequoia: A Consequence Based Reasoner for SROIQ | BibTeX data for Sequoia: A Consequence Based Reasoner for SROIQ | Download (pdf) of Sequoia: A Consequence Based Reasoner for SROIQ
-
[6]
15 Years of Consequence−Based Reasoning
David Tena Cucala‚ Bernardo Cuenca Grau and Ian Horrocks
In Carsten Lutz‚ Uli Sattler‚ Cesare Tinelli‚ Anni−Yasmin Turhan and Frank Wolter, editors, Description Logic‚ Theory Combination‚ and All That − Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday. Vol. 11560 of Lecture Notes in Computer Science. Pages 573–587. Springer. 2019.
Details about 15 Years of Consequence−Based Reasoning | BibTeX data for 15 Years of Consequence−Based Reasoning | DOI (10.1007/978-3-030-22102-7\_27) | Link to 15 Years of Consequence−Based Reasoning
-
[7]
Consequence−based Reasoning for Description Logics with Disjunction‚ Inverse Roles‚ Number Restrictions‚ and Nominals
David Tena Cucala‚ Bernardo Cuenca Grau and Ian Horrocks
In CoRR. Vol. abs/1805.01396. 2018.
Details about Consequence−based Reasoning for Description Logics with Disjunction‚ Inverse Roles‚ Number Restrictions‚ and Nominals | BibTeX data for Consequence−based Reasoning for Description Logics with Disjunction‚ Inverse Roles‚ Number Restrictions‚ and Nominals | Link to Consequence−based Reasoning for Description Logics with Disjunction‚ Inverse Roles‚ Number Restrictions‚ and Nominals
-
[8]
Consequence−Based Reasoning for Description Logics with Disjunctions and Number Restrictions
Andrew Bate‚ Boris Motik‚ Bernardo Cuenca Grau‚ David Tena Cucala‚ Frantisek Simancik and Ian Horrocks
In J. Artif. Intell. Res.. Vol. 63. Pages 625–690. 2018.
Details about Consequence−Based Reasoning for Description Logics with Disjunctions and Number Restrictions | BibTeX data for Consequence−Based Reasoning for Description Logics with Disjunctions and Number Restrictions | DOI (10.1613/jair.1.11257) | Link to Consequence−Based Reasoning for Description Logics with Disjunctions and Number Restrictions
-
[9]
Consequence−based Reasoning for Description Logics with Disjunction‚ Inverse Roles‚ Number Restrictions‚ and Nominals
David Tena Cucala‚ Bernardo Cuenca Grau and Ian Horrocks
In Jérôme Lang, editor, Proceedings of the Twenty−Seventh International Joint Conference on Artificial Intelligence‚ IJCAI 2018‚ July 13−19‚ 2018‚ Stockholm‚ Sweden. Pages 1970–1976. ijcai.org. 2018.
Details about Consequence−based Reasoning for Description Logics with Disjunction‚ Inverse Roles‚ Number Restrictions‚ and Nominals | BibTeX data for Consequence−based Reasoning for Description Logics with Disjunction‚ Inverse Roles‚ Number Restrictions‚ and Nominals | DOI (10.24963/ijcai.2018/272) | Link to Consequence−based Reasoning for Description Logics with Disjunction‚ Inverse Roles‚ Number Restrictions‚ and Nominals
-
[10]
Consequence−based Reasoning for Description Logics with Disjunction‚ Inverse Roles‚ and Nominals
David Tena Cucala‚ Bernardo Cuenca Grau and Ian Horrocks
In Alessandro Artale‚ Birte Glimm and Roman Kontchakov, editors, Proceedings of the 30th International Workshop on Description Logics‚ Montpellier‚ France‚ July 18−21‚ 2017. Vol. 1879 of CEUR Workshop Proceedings. CEUR−WS.org. 2017.
Details about Consequence−based Reasoning for Description Logics with Disjunction‚ Inverse Roles‚ and Nominals | BibTeX data for Consequence−based Reasoning for Description Logics with Disjunction‚ Inverse Roles‚ and Nominals | Download (pdf) of Consequence−based Reasoning for Description Logics with Disjunction‚ Inverse Roles‚ and Nominals