( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Generating Boolean mu-Expressions.

. Acta Inf., 32 (2): 171-187 (1995)

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.

Anna Eiter

Viktoria Eiter

Christoph Ludwig Eiter

Szilvia Eiterer

Karl Eiter

 

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

Computing discrete Fréchet distance, , , , и . (1994)Conjunctive query answering in the description logic SH using knots., , и . J. Comput. Syst. Sci., 78 (1): 47-85 (2012)Contextualized Knowledge Repositories with Justifiable Exceptions., , и . Description Logics, том 1193 из CEUR Workshop Proceedings, стр. 112-123. CEUR-WS.org, (2014)Hybrid Answer Set Programming: Opportunities and Challenges (Joint DL+NMR Invited Talk Abstract).. Description Logics, том 3263 из CEUR Workshop Proceedings, CEUR-WS.org, (2022)Data Complexity of Answering Unions of Conjunctive Queries in SHIQ., , и . Description Logics, том 189 из CEUR Workshop Proceedings, CEUR-WS.org, (2006)Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics., , и . IS/KI, том 777 из Lecture Notes in Computer Science, стр. 83-103. Springer, (1994)Complexity and Expressive Power of Logic Programming., , , и . CCC, стр. 82-101. IEEE Computer Society, (1997)Data Repair of Inconsistent DL-Programs., , и . IJCAI, стр. 869-876. IJCAI/AAAI, (2013)Forgetting in Managing Rules and Ontologies., , , , и . Web Intelligence, стр. 411-419. IEEE Computer Society, (2006)LPForget: A System of Forgetting in Answer Set Programming., , , , и . Australian Conference on Artificial Intelligence, том 4304 из Lecture Notes in Computer Science, стр. 1101-1105. Springer, (2006)