Piero A. Bonatti Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
c71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti: Defaults in Description Logics: So Simple, So Difficult. Description Logics 2012
2011
j28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti: On the decidability of FDNC programs. Intelligenza Artificiale 5(1): 89-93 (2011)
j27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Marco Faella, Luigi Sauro: Defeasible Inclusions in Low-Complexity DLs. J. Artif. Intell. Res. (JAIR) 42: 719-764 (2011)
j26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Aidan Hogan, Axel Polleres, Luigi Sauro: Robust and scalable Linked Data reasoning incorporating provenance and trust annotations. J. Web Sem. 9(2): 165-201 (2011)
c70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Marco Faella, Luigi Sauro: Adding Default Attributes to EL++. AAAI 2011
c69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Marco Faella, Clemente Galdi, Luigi Sauro: Towards a Mechanism for Incentivating Privacy. ESORICS 2011: 472-488
c68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Marco Faella, Luigi Sauro: On the Complexity of EL with Defeasible Inclusions. IJCAI 2011: 762-767
r1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti: Logic-Based Authorization Languages. Encyclopedia of Cryptography and Security (2nd Ed.) 2011: 734-736
2010
j25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Juri Luca De Coi, Daniel Olmedilla, Luigi Sauro: A Rule-Based Trust Negotiation System. IEEE Trans. Knowl. Data Eng. 22(11): 1507-1520 (2010)
j24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sabrina Baselice, Piero A. Bonatti: A decidable subclass of finitary programs. TPLP 10(4-6): 481-496 (2010)
c67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Francesco Calimeri, Nicola Leone, Francesco Ricca: Answer Set Programming. 25 Years GULP 2010: 159-182
c66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti: Datalog for Security, Privacy and Trust. Datalog 2010: 21-36
c65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Philipp Kärger, Daniel Olmedilla: Reactive Policies for the Semantic Web. ESWC (1) 2010: 76-90
c64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Marco Faella, Luigi Sauro: EL\mathcal{EL} with Default Attributes and Overriding. International Semantic Web Conference (1) 2010: 64-79
i4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sabrina Baselice, Piero A. Bonatti: A decidable subclass of finitary programs. CoRR abs/1007.3663 (2010)
2009
j23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Carsten Lutz, Frank Wolter: The Complexity of Circumscription in DLs. J. Artif. Intell. Res. (JAIR) 35: 717-773 (2009)
j22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sabrina Baselice, Piero A. Bonatti, Giovanni Criscuolo: On finitely recursive programs. TPLP 9(2): 213-238 (2009)
c63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Marco Faella, Luigi Sauro: Defeasible Inclusions in Low-Complexity DLs: Preliminary Notes. IJCAI 2009: 696-701
c62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sergej Zerr, Daniel Olmedilla, Juri Luca De Coi, Wolfgang Nejdl, Piero A. Bonatti, Luigi Sauro: Policy Based Protection and Personalized Generation of Web Content. LA-WEB/CLIHC 2009: 112-119
p2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Juri Luca De Coi, Daniel Olmedilla, Luigi Sauro: Rule-Based Policy Representations and Reasoning. REWERSE 2009: 201-232
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sabrina Baselice, Piero A. Bonatti, Giovanni Criscuolo: On finitely recursive programs. CoRR abs/0901.2850 (2009)
2008
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti: Erratum to: Reasoning with infinite stable models [Artificial Intelligence 156 (1) (2004) 75-111]. Artif. Intell. 172(15): 1833-1835 (2008)
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi: The Complexity of Enriched Mu-Calculi. Logical Methods in Computer Science 4(3) (2008)
c61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Enrico Pontelli, Tran Cao Son: Credulous Resolution for Answer Set Programming. AAAI 2008: 418-423
c60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sabrina Baselice, Piero A. Bonatti: Composing Normal Programs with Function Symbols. ICLP 2008: 425-439
c59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Juri Luca De Coi, Daniel Olmedilla, Luigi Sauro: Policy-Driven Negotiations and Explanations: Exploiting Logic-Programming for Trust Management, Privacy & Security. ICLP 2008: 779-784
c58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Fabio Mogavero: Comparing Rule-Based Policies. POLICY 2008: 11-18
c57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Juri Luca De Coi, Daniel Olmedilla, Sergej Zerr, Piero A. Bonatti, Luigi Sauro: A Trust Management Package for Policy-Driven Protection & Personalization of Web Content. POLICY 2008: 228-230
c56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Juri Luca De Coi, Daniel Olmedilla, Piero A. Bonatti, Luigi Sauro: Protune: A Framework for Semantic Web Policies. International Semantic Web Conference (Posters & Demos) 2008
e2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Cristina Baroglio, Piero A. Bonatti, Jan Maluszynski, Massimo Marchiori, Axel Polleres, Sebastian Schaffert (Eds.): Reasoning Web, 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures. Lecture Notes in Computer Science 5224, Springer 2008, isbn 978-3-540-85656-6
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi: The Complexity of Enriched Mu-Calculi. CoRR abs/0809.0360 (2008)
2007
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joachim Biskup, Piero A. Bonatti: Controlled query evaluation with open queries for a decidable relational submodel. Ann. Math. Artif. Intell. 50(1-2): 39-77 (2007)
c55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sabrina Baselice, Piero A. Bonatti, Giovanni Criscuolo: On Finitely Recursive Programs. ICLP 2007: 89-103
c54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sabrina Baselice, Piero A. Bonatti, Marco Faella: On Interoperable Trust Negotiation Strategies. POLICY 2007: 39-50
c53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Daniel Olmedilla: Rule-Based Policy Representation and Reasoning for the Semantic Web. Reasoning Web 2007: 240-268
c52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti: Nonmonotonic Description Logics - Requirements, Theory, and Implementations. TABLEAUX 2007: 1
p1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
2006
c51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Daniel Olmedilla, Joachim Peer: Advanced Policy Explanations on the Web. ECAI 2006: 200-204
c50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Claudiu Duma, Norbert E. Fuchs, Wolfgang Nejdl, Daniel Olmedilla, Joachim Peer, Nahid Shahmehri: Semantic Web Policies - A Discussion of Requirements and Research Issues. ESWC 2006: 712-724
c49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joachim Biskup, Piero A. Bonatti: Controlled Query Evaluation with Open Queries for a Decidable Relational Submodel. FoIKS 2006: 43-62
c48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi: The Complexity of Enriched µ-Calculi. ICALP (2) 2006: 540-551
c47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Carsten Lutz, Frank Wolter: Description Logics with Circumscription. KR 2006: 400-410
2005
c46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sabrina Baselice, Piero A. Bonatti, Michael Gelfond: A Preliminary Report on Integrating of Answer Set and Constraint Solving. Answer Set Programming 2005
c45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marianne Winslett, Charles C. Zhang, Piero A. Bonatti: PeerAccess: a logic for distributed authorization. ACM Conference on Computer and Communications Security 2005: 168-179
c44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti: Rule Languages for Security and Privacy in Cooperative Systems. COMPSAC (1) 2005: 268-269
c43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sabrina Baselice, Piero A. Bonatti, Michael Gelfond: Towards an Integration of Answer Set and Constraint Solving. ICLP 2005: 52-66
c42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Daniel Olmedilla: Driving and Monitoring Provisional Trust Negotiation with Metapolicies. POLICY 2005: 14-23
c41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, P. Festa: On optimal service selection. WWW 2005: 530-538
2004
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti: Reasoning with infinite stable models. Artif. Intell. 156(1): 75-111 (2004)
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Adriano Peron: On the undecidability of logics with converse, nominals, recursion and counting. Artif. Intell. 158(1): 75-96 (2004)
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joachim Biskup, Piero A. Bonatti: Controlled Query Evaluation for Known Policies by Combining Lying and Refusal. Ann. Math. Artif. Intell. 40(1-2): 37-62 (2004)
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joachim Biskup, Piero A. Bonatti: Controlled query evaluation for enforcing confidentiality in complete information systems. Int. J. Inf. Sec. 3(1): 14-27 (2004)
c40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti: Abduction over Unbounded Domains via ASP. ECAI 2004: 288-292
c39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti: On the Decidability of Containment of Recursive Datalog Queries - Preliminary report. PODS 2004: 297-306
e1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jennifer Golbeck, Piero A. Bonatti, Wolfgang Nejdl, Daniel Olmedilla, Marianne Winslett (Eds.): Proceedings of the ISWC*04 Workshop on Trust, Security, and Reputation on the Semantic Web, Hiroshima, Japan, November 7, 2004. CEUR Workshop Proceedings 127, CEUR-WS.org 2004
2003
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Sarit Kraus, V. S. Subrahmanian: Secure Agents. Ann. Math. Artif. Intell. 37(1-2): 169-235 (2003)
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti: Finitary Open Logic Program. Answer Set Programming 2003
c37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Pierangela Samarati: Logics for Authorization and Security. Logics for Emerging Applications of Databases 2003: 277-323
c36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti: On the Undecidability of Description and Dynamic Logics with Recursion and Counting. IJCAI 2003: 331-336
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Yu Deng, V. S. Subrahmanian: An Ontology-Extended Relational Algebra. IRI 2003: 192-199
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Sabrina De Capitani di Vimercati, Pierangela Samarati: Towards Flexible Credential Negotiation Protocols. Security Protocols Workshop 2003: 19-23
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Andrea Tettamanzi: Some Complexity Results on Fuzzy Description Logics. WILF 2003: 19-24
2002
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Pierangela Samarati: A Uniform Framework for Regulating Service Access and Information Release on the Web. Journal of Computer Security 10(3): 241-272 (2002)
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Sabrina De Capitani di Vimercati, Pierangela Samarati: An algebra for composing access control policies. ACM Trans. Inf. Syst. Secur. 5(1): 1-35 (2002)
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Nicola Olivetti: Sequent calculi for propositional nonmonotonic logics. ACM Trans. Comput. Log. 3(2): 226-278 (2002)
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joachim Biskup, Piero A. Bonatti: Confidentiality Policies and Their Enforcement for Controlled Query Evaluation. ESORICS 2002: 39-54
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joachim Biskup, Piero A. Bonatti: Controlled Query Evaluation for Known Policies by Combining Lying and Refusal. FoIKS 2002: 49-66
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti: Reasoning with Infinite Stable Models II: Disjunctive Programs. ICLP 2002: 333-346
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti: Towards Service Description Logics. JELIA 2002: 74-85
c28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti: Abduction, ASP and open logic programs. NMR 2002: 184-190
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti: Abduction, ASP and Open Logic Programs. CoRR cs.AI/0207021 (2002)
2001
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joachim Biskup, Piero A. Bonatti: Lying versus refusal for known potential secrets. Data Knowl. Eng. 38(2): 199-222 (2001)
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti: Resolution for Skeptical Stable Model Semantics. J. Autom. Reasoning 27(4): 391-421 (2001)
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Elisa Bertino, Piero A. Bonatti, Elena Ferrari: TRBAC: A temporal role-based access control model. ACM Trans. Inf. Syst. Secur. 4(3): 191-233 (2001)
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Ernesto Damiani, Sabrina De Capitani di Vimercati, Pierangela Samarati: A Component-Based Architecture for Secure Data Publication. ACSAC 2001: 309-318
c26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti: Reasoning with infinite stable models. IJCAI 2001: 603-610
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti: Reasoning with Open Logic Programs. LPNMR 2001: 147-159
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti: Prototypes for Reasoning with Infinite Stable Models and Function Symbols. LPNMR 2001: 416-419
c23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Ernesto Damiani, Sabrina De Capitani di Vimercati, Pierangela Samarati: An Access Control Model for Data Archives. SEC 2001: 261-276
2000
b1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
V. S. Subrahmanian, Piero A. Bonatti, Jürgen Dix, Thomas Eiter, Sarit Kraus, Fatma Ozcan, Robert B. Ross: Heterogenous Active Agents. MIT Press 2000, isbn 0-262-19436-8
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Elisa Bertino, Piero A. Bonatti, Elena Ferrari, Maria Luisa Sapino: Temporal Authorization Bases: From Specification to Integration. Journal of Computer Security 8(4): 309-353 (2000)
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Pierangela Samarati: Regulating service access and information release on the Web. ACM Conference on Computer and Communications Security 2000: 134-143
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Sabrina De Capitani di Vimercati, Pierangela Samarati: A modular approach to composing access control policies. ACM Conference on Computer and Communications Security 2000: 164-173
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Elisa Bertino, Piero A. Bonatti, Elena Ferrari: TRBAC: a temporal role-based access control model. ACM Workshop on Role-Based Access Control 2000: 21-30
1999
c19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Elisa Bertino, Piero A. Bonatti, Elena Ferrari, Maria Luisa Sapino: Specifying and computing hierarchies of temporal authorizations. APPIA-GULP-PRODE 1999: 243-258
c18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Elisa Bertino, Piero A. Bonatti, Elena Ferrari, Maria Luisa Sapino: Specifying and Computing Hierarchies of Temporal Authorizations. DBSec 1999: 285-300
1998
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Sarit Kraus, José Salinas, V. S. Subrahmanian: Data-Security in Heterogeneous Agent Systems. CIA 1998: 290-305
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sibel Adali, Piero A. Bonatti, Maria Luisa Sapino, V. S. Subrahmanian: A Multi-Similarity Algebra. SIGMOD Conference 1998: 402-413
1997
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Maria Luisa Sapino, V. S. Subrahmanian: Merging Heterogeneous Security Orderings. Journal of Computer Security 5(1): 3-30 (1997)
c15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti: A Constructive Negation for Transition System Specifications. APPIA-GULP-PRODE 1997: 283-294
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Nicola Olivetti: A Sequent Calculus for Circumscription. CSL 1997: 98-114
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti: Resolution for Skeptical Stable Semantics. LPNMR 1997: 185-197
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Nicola Olivetti: A Sequent Calculus for Skeptical Default Logic. TABLEAUX 1997: 107-121
1996
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Thomas Eiter: Querying Disjunctive Databases Through Nonmonotonic Logics. Theor. Comput. Sci. 160(1&2): 321-363 (1996)
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Maria Luisa Sapino, V. S. Subrahmanian: Merging Heterogeneous Security Orderings. ESORICS 1996: 183-197
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti: Sequent Calculi for Default and Autoepistemic Logics. TABLEAUX 1996: 127-142
1995
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti: Autoepistemic Logics as a Unifying Framework for the Semantics of Logic Programs. J. Log. Program. 22(2): 91-149 (1995)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti: A Three-Valued Formalization of Provability. J. Log. Comput. 5(2): 173-201 (1995)
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Sarit Kraus, V. S. Subrahmanian: Foundations of Secure Deductive Databases. IEEE Trans. Knowl. Data Eng. 7(3): 406-422 (1995)
c9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Laura Giordano: Three-Valued Semantics for Extended Logic Programs. GULP-PRODE 1995: 295-306
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Thomas Eiter: Querying Disjunctive Database Through Nonmonotonic Logics. ICDT 1995: 68-81
1994
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti: Autoepistemic Logic Programming. J. Autom. Reasoning 13(1): 35-67 (1994)
1993
c7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti: Autoepistemic Logic Programming. LPNMR 1993: 151-167
1992
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti, Sarit Kraus, V. S. Subrahmanian: Declarative Foundations of Secure Deductive Databases. ICDT 1992: 391-406
c5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti: Autoepistemic Logics as a Unifying Framework for the Semantics of Logic Programs. JICSLP 1992: 417-430
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti: Model Theoretic Semantics for Demo. META 1992: 220-234
1991
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti: A Family of Three-Valued Autoepistemic Logics. AI*IA 1991: 28-37
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti: Beliefs as Stable Conjectures. LPNMR 1991: 53-68
1990
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Piero A. Bonatti: A More General Solution to the Multiple Expansion Problem. LPNMR 1990: 10-18

Coauthor Index

1Sibel Adali
[c16]
2Grigoris Antoniou
[p1]
3Matteo Baldoni
[p1]
4Cristina Baroglio
[e2]
5Sabrina Baselice
[j24] [i4] [j22] [i3] [c60] [c55] [c54] [c46] [c43]
6Elisa Bertino
[j8] [j7] [c20] [c19] [c18]
7Joachim Biskup
[j19] [c49] [j16] [j15] [c32] [c31] [j10]
8Francesco Calimeri
[c67]
9Juri Luca De Coi
[j25] [c62] [p2] [c59] [c57] [c56]
10Giovanni Criscuolo
[j22] [i3] [c55]
11Ernesto Damiani
[c27] [c23]
12Yu Deng
[c35]
13Jürgen Dix
[b1]
14Claudiu Duma
[c50]
15Thomas Eiter
[b1] [j5] [c8]
16Marco Faella
[j27] [c70] [c69] [c68] [c64] [c63] [c54]
17Elena Ferrari
[j8] [j7] [c20] [c19] [c18]
18P. Festa
[c41]
19Norbert E. Fuchs
[c50]
20Clemente Galdi
[c69]
21Michael Gelfond
[c46] [c43]
22Laura Giordano
[c9]
23Jennifer Golbeck
[e1]
24Aidan Hogan
[j26]
25Sarit Kraus
[j14] [b1] [c17] [j2] [c6]
26Philipp Kärger
[c65]
27Nicola Leone
[c67]
28Carsten Lutz
[j23] [j20] [i2] [c48] [c47]
29Jan Maluszynski
[e2]
30Massimo Marchiori
[e2]
31Fabio Mogavero
[c58]
32Aniello Murano
[j20] [i2] [c48]
33Wolfgang Nejdl
[c62] [p1] [c50] [e1]
34Nicola Olivetti
[j11] [c14] [c12]
35Daniel Olmedilla
[j25] [c65] [c62] [p2] [c59] [c57] [c56] [c53] [p1] [c51] [c50] [c42] [e1]
36Joachim Peer
[c51] [c50]
37Adriano Peron
[j17]
38Axel Polleres
[j26] [e2]
39Enrico Pontelli
[c61]
40Francesco Ricca
[c67]
41Robert B. Ross
[b1]
42José Salinas
[c17]
43Pierangela Samarati
[c37] [c34] [j13] [j12] [c27] [c23] [c22] [c21]
44Maria Luisa Sapino
[j7] [c19] [c18] [c16] [j6] [c11]
45Luigi Sauro
[j27] [j26] [c70] [c69] [c68] [j25] [c64] [c63] [c62] [p2] [c59] [c57] [c56]
46Sebastian Schaffert
[e2]
47Nahid Shahmehri
[c50]
48Tran Cao Son
[c61]
49V. S. Subrahmanian
[j14] [c35] [b1] [c17] [c16] [j6] [c11] [j2] [c6]
50Andrea Tettamanzi
[c33]
51Moshe Y. Vardi
[j20] [i2] [c48]
52Sabrina De Capitani di Vimercati
[c34] [j12] [c27] [c23] [c21]
53Marianne Winslett
[c45] [e1]
54Frank Wolter
[j23] [c47]
55Sergej Zerr
[c62] [c57]
56Charles C. Zhang
[c45]
57Fatma Özcan (Fatma Ozcan)
[b1]
Last update Sun May 19 23:36:37 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page