( en | de | ru )

 

Disambiguierung von "Cucala, David Tena"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions.

, , , , , und . J. Artif. Intell. Res., (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Miguel Tena

Tena Frank

Tena Gabgue

Tena Culum

Retno Danar Tenardi

 

Weitere Publikationen von Autoren mit dem selben Namen

On the Correspondence Between Monotonic Max-Sum GNNs and Datalog., , , und . KR, Seite 658-667. (2023)Recurrent Graph Neural Networks and Their Connections to Bisimulation and Logic., , und . AAAI, Seite 14608-14616. AAAI Press, (2024)Pay-as-you-go consequence-based reasoning for the description logic SROIQ., , und . Artif. Intell., (2021)15 Years of Consequence-Based Reasoning., , und . Description Logic, Theory Combination, and All That, Volume 11560 von Lecture Notes in Computer Science, Seite 573-587. Springer, (2019)Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals., , und . IJCAI, Seite 1970-1976. ijcai.org, (2018)Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions., , , , , and . J. Artif. Intell. Res., (2018)Sequoia: A Consequence Based Reasoner for SROIQ., , and . Description Logics, volume 2373 of CEUR Workshop Proceedings, CEUR-WS.org, (2019)Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, and Nominals., , and . Description Logics, volume 1879 of CEUR Workshop Proceedings, CEUR-WS.org, (2017)DatalogMTL with Negation Under Stable Models Semantics., , , and . KR, page 609-618. (2021)The Stable Model Semantics of Datalog with Metric Temporal Operators., , , and . Theory Pract. Log. Program., 24 (1): 22-56 (Januar 2024)