BONATTI, PIERO ANDREA
BONATTI, PIERO ANDREA
DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE
Policy-driven negotiations and explanations: exploiting logic-programming for trust management, privacy & security
2008 Bonatti, PIERO ANDREA; J., de Coi; D., Olmedilla; Sauro, Luigi
Defeasible inclusions in low-complexity DLs: preliminary notes
2009 Bonatti, PIERO ANDREA; Faella, Marco; Sauro, Luigi
Policy based protection and personalized generation of web content
2009 Bonatti, PIERO ANDREA; J., de Coi; D., Olmedilla; Sauro, Luigi
Rule-based policy representations and reasoning
2009 Bonatti, PIERO ANDREA; J., De Coi; D., Olmedilla; Sauro, Luigi
The complexity of circumscription in DLs
2009 Bonatti, PIERO ANDREA; C., Lutz; F., Wolter
On the undecidability of logics with nominals, recursion and counting
2004 Bonatti, PIERO ANDREA; Peron, Adriano
Nonmonotonic Description Logics - Requirements, Theory, and Implementations
2007 Bonatti, PIERO ANDREA
A Comparison of Terminological and Rule-based Policy Languages
2009 Bonatti, PIERO ANDREA
An ontology-extended relational algebra
2003 Bonatti, PIERO ANDREA; Deng, Y; Subrahmanian, V. S.
Resolution for Skeptical Stable Semantics
1997 Bonatti, PIERO ANDREA
Reasoning with Infinite Stable Models II: Disjunctive Programs
2002 Bonatti, PIERO ANDREA
Reasoning with infinite stable models.
2004 Bonatti, PIERO ANDREA
A Component-based Architecture for Secure Data Publication
2001 Bonatti, PIERO ANDREA; Damiani, E.; DE CAPITANI DI VIMERCATI, S.; Samarati, P.
Confidentiality Policies and Their Enforcement for Controlled Query Evaluation
2002 J., Biskup; Bonatti, PIERO ANDREA
CONTROLLED QUERY EVALUATION FOR KNOWN POLICIES BY COMBINING LYING AND REFUSAL
2004 Biskup, J; Bonatti, PIERO ANDREA
Sequent calculi for default and autoepistemic logics
1996 Bonatti, PIERO ANDREA
Composing normal programs with function symbols
2008 Baselice, Sabrina; Bonatti, PIERO ANDREA
Towards an integration of answer set and constraint solving
2005 Baselice, Sabrina; Bonatti, PIERO ANDREA; Michael, Gelfond
A sequent calculus for skeptical default logic
1997 Bonatti, PIERO ANDREA; Nicola, Olivetti
On finitely recursive programs
2009 Baselice, Sabrina; Bonatti, PIERO ANDREA; Criscuolo, Giovanni
| Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|---|
| Policy-driven negotiations and explanations: exploiting logic-programming for trust management, privacy & security | 2.1 Contributo in volume (Capitolo o Saggio) | 2008 | Bonatti, PIERO ANDREA; J., de Coi; D., Olmedilla; Sauro, Luigi | |
| Defeasible inclusions in low-complexity DLs: preliminary notes | 2.1 Contributo in volume (Capitolo o Saggio) | 2009 | Bonatti, PIERO ANDREA; Faella, Marco; Sauro, Luigi | |
| Policy based protection and personalized generation of web content | 2.1 Contributo in volume (Capitolo o Saggio) | 2009 | Bonatti, PIERO ANDREA; J., de Coi; D., Olmedilla; Sauro, Luigi | |
| Rule-based policy representations and reasoning | 2.1 Contributo in volume (Capitolo o Saggio) | 2009 | Bonatti, PIERO ANDREA; J., De Coi; D., Olmedilla; Sauro, Luigi | |
| The complexity of circumscription in DLs | 1.1 Articolo in rivista | 2009 | Bonatti, PIERO ANDREA; C., Lutz; F., Wolter | |
| On the undecidability of logics with nominals, recursion and counting | 1.1 Articolo in rivista | 2004 | Bonatti, PIERO ANDREA; Peron, Adriano | |
| Nonmonotonic Description Logics - Requirements, Theory, and Implementations | 8.02 Comunicazioni a Convegni o Seminari | 2007 | Bonatti, PIERO ANDREA | |
| A Comparison of Terminological and Rule-based Policy Languages | 8.02 Comunicazioni a Convegni o Seminari | 2009 | Bonatti, PIERO ANDREA | |
| An ontology-extended relational algebra | 2.1 Contributo in volume (Capitolo o Saggio) | 2003 | Bonatti, PIERO ANDREA; Deng, Y; Subrahmanian, V. S. | |
| Resolution for Skeptical Stable Semantics | 2.1 Contributo in volume (Capitolo o Saggio) | 1997 | Bonatti, PIERO ANDREA | |
| Reasoning with Infinite Stable Models II: Disjunctive Programs | 2.1 Contributo in volume (Capitolo o Saggio) | 2002 | Bonatti, PIERO ANDREA | |
| Reasoning with infinite stable models. | 1.1 Articolo in rivista | 2004 | Bonatti, PIERO ANDREA | |
| A Component-based Architecture for Secure Data Publication | 2.1 Contributo in volume (Capitolo o Saggio) | 2001 | Bonatti, PIERO ANDREA; Damiani, E.; DE CAPITANI DI VIMERCATI, S.; Samarati, P. | |
| Confidentiality Policies and Their Enforcement for Controlled Query Evaluation | 2.1 Contributo in volume (Capitolo o Saggio) | 2002 | J., Biskup; Bonatti, PIERO ANDREA | |
| CONTROLLED QUERY EVALUATION FOR KNOWN POLICIES BY COMBINING LYING AND REFUSAL | 1.1 Articolo in rivista | 2004 | Biskup, J; Bonatti, PIERO ANDREA | |
| Sequent calculi for default and autoepistemic logics | 2.1 Contributo in volume (Capitolo o Saggio) | 1996 | Bonatti, PIERO ANDREA | |
| Composing normal programs with function symbols | 2.1 Contributo in volume (Capitolo o Saggio) | 2008 | Baselice, Sabrina; Bonatti, PIERO ANDREA | |
| Towards an integration of answer set and constraint solving | 2.1 Contributo in volume (Capitolo o Saggio) | 2005 | Baselice, Sabrina; Bonatti, PIERO ANDREA; Michael, Gelfond | |
| A sequent calculus for skeptical default logic | 2.1 Contributo in volume (Capitolo o Saggio) | 1997 | Bonatti, PIERO ANDREA; Nicola, Olivetti | |
| On finitely recursive programs | 1.1 Articolo in rivista | 2009 | Baselice, Sabrina; Bonatti, PIERO ANDREA; Criscuolo, Giovanni |