( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Deciding Hyperproperties Combined with Functional Specifications.

, , , , и . LICS, стр. 56:1-56:13. ACM, (2022)

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.

Ellen David

Stephan David

Helga Davidowa

Jobst-Michael David

Anita Maria Dávid

 

Другие публикации лиц с тем же именем

Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules., и . IJCAI, стр. 1777-1783. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..Chasing Sets: How to Use Existential Rules for Expressive Reasoning., , , и . IJCAI, стр. 1624-1631. ijcai.org, (2019)VLog: A Rule Engine for Knowledge Graphs., , , , , и . ISWC (2), том 11779 из Lecture Notes in Computer Science, стр. 19-35. Springer, (2019)Modeling OWL with Rules: The ROWL Protege Plugin., , , и . ISWC (Posters & Demos), том 1690 из CEUR Workshop Proceedings, CEUR-WS.org, (2016)Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs., , , , , и . Description Logics, том 1193 из CEUR Workshop Proceedings, стр. 128-140. CEUR-WS.org, (2014)Rewriting ALCHIQ to Disjunctive Existential Rules (Extended Abstract)., и . Description Logics, том 2663 из CEUR Workshop Proceedings, CEUR-WS.org, (2020)SROIQ Syntax Approximation by Using Nominal Schemas., , и . Description Logics, том 1014 из CEUR Workshop Proceedings, стр. 988-999. CEUR-WS.org, (2013)EL-ifying Ontologies., , , , и . IJCAR, том 8562 из Lecture Notes in Computer Science, стр. 464-479. Springer, (2014)Reasoner = Logical Calculus + Rule Engine., , и . Künstliche Intell., 34 (4): 453-463 (2020)An Ontology Design Pattern for Data Integration in the Library Domain., , , и . WOP, том 1461 из CEUR Workshop Proceedings, CEUR-WS.org, (2015)