( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Answer Set Programming.

, , , и . 25 Years GULP, том 6125 из Lecture Notes in Computer Science, Springer, (2010)

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.

Piero Kirchner

Multiplex-System für digitale Datenströme in multimedialen Anwendungen. TU Ilmenau, (2009)

Javier Bonatti

Christian Bonatti

Piero Zappi

Piero Domizi

 

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

A Sequent Calculus for Circumscription., и . CSL, том 1414 из Lecture Notes in Computer Science, стр. 98-114. Springer, (1997)Declarative Foundations of Secure Deductive Databases., , и . ICDT, том 646 из Lecture Notes in Computer Science, стр. 391-406. Springer, (1992)Reasoning with Infinite Stable Models II: Disjunctive Programs.. ICLP, том 2401 из Lecture Notes in Computer Science, стр. 333-346. Springer, (2002)On the Undecidability of Description and Dynamic Logics with Recursion and Counting.. IJCAI, стр. 331-336. Morgan Kaufmann, (2003)On optimal service selection., и . WWW, стр. 530-538. ACM, (2005)Optimality and Complexity of Inference-Proof Data Filtering and CQE., , , и . ESORICS (2), том 8713 из Lecture Notes in Computer Science, стр. 165-181. Springer, (2014)Query answering in circumscribed OWL2 profiles.. Ann. Math. Artif. Intell., 89 (12): 1155-1173 (2021)The SPECIAL-K Personal Data Processing Transparency and Compliance Platform., , , , , и . CoRR, (2020)Regulating service access and information release on the Web., и . ACM Conference on Computer and Communications Security, стр. 134-143. ACM, (2000)On the Decidability of Containment of Recursive Datalog Queries - Preliminary report.. PODS, стр. 297-306. ACM, (2004)