( en | de | ru )

 

Disambiguation of "Bonatti, Piero A."

Author of the publication

copydeleteadd this publication to your clipboard
Answer Set Programming.

, , , and . 25 Years GULP, volume 6125 of 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. You can also use the button next to the name to display some publications already assigned to the person.

Piero Kirchner

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

Javier Bonatti

Christian Bonatti

Piero Zappi

Piero Domizi

 

Other publications of authors with the same name

Specifying and Computing Hierarchies of Temporal Authorizations., , , and . DBSec, volume 171 of IFIP Conference Proceedings, page 285-300. Kluwer, (1999)Three-Valued Semantics for Extended Logic Programs., and . GULP-PRODE, page 295-306. (1995)Defeasible Inclusions in Low-Complexity DLs., , and . J. Artif. Intell. Res., (2011)A component-based architecture for secure data publication, , , , and . Seventeenth Annual Computer Security Applications Conference, Institute of Electrical and Electronics Engineers (IEEE), (2001)An Access Control Model for Data Archives, , , and . page 261-276. Kluwer, New York, (2001)On the Decidability of Containment of Recursive Datalog Queries - Preliminary report.. PODS, page 297-306. ACM, (2004)A Sequent Calculus for Circumscription., and . CSL, volume 1414 of Lecture Notes in Computer Science, page 98-114. Springer, (1997)Optimality and Complexity of Inference-Proof Data Filtering and CQE., , , and . ESORICS (2), volume 8713 of Lecture Notes in Computer Science, page 165-181. Springer, (2014)Secure Agents., , and . Ann. Math. Artif. Intell., 37 (1-2): 169-235 (2003)Erratum to: Reasoning with infinite stable models Artificial Intelligence 156 (1) (2004) 75-111.. Artif. Intell., 172 (15): 1833-1835 (2008)