Author of the publication

Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals.

, , and . IJCAI, page 1970-1976. ijcai.org, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals., , and . IJCAI, page 1970-1976. ijcai.org, (2018)Recurrent Graph Neural Networks and Their Connections to Bisimulation and Logic., , and . AAAI, page 14608-14616. AAAI Press, (2024)On the Correspondence Between Monotonic Max-Sum GNNs and Datalog., , , and . KR, page 658-667. (2023)15 Years of Consequence-Based Reasoning., , and . Description Logic, Theory Combination, and All That, volume 11560 of Lecture Notes in Computer Science, page 573-587. Springer, (2019)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)GNNQ: A Neuro-Symbolic Approach to Query Answering over Incomplete Knowledge Graphs., , and . ISWC, volume 13489 of Lecture Notes in Computer Science, page 481-497. Springer, (2022)Stratified Negation in Datalog with Metric Temporal Operators., , , and . AAAI, page 6488-6495. AAAI Press, (2021)