BONATTI, PIERO ANDREA
BONATTI, PIERO ANDREA
DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE
CONTROLLED QUERY EVALUATION FOR KNOWN POLICIES BY COMBINING LYING AND REFUSAL
2004 Biskup, J; Bonatti, PIERO ANDREA
Reasoning with infinite stable models.
2004 Bonatti, PIERO ANDREA
Credulous resolution for answer set programming
2008 Bonatti, PIERO ANDREA; Enrico, Pontelli; Tran Cao, Son
Reasoning web, 4th international summer school
2008 C., Baroglio; Bonatti, PIERO ANDREA; J., Maluszynski; M., Marchiori; A., Polleres; S., Schaffert
Composing normal programs with function symbols
2008 Baselice, Sabrina; Bonatti, PIERO ANDREA
A sequent calculus for skeptical default logic
1997 Bonatti, PIERO ANDREA; Nicola, Olivetti
Towards an integration of answer set and constraint solving
2005 Baselice, Sabrina; Bonatti, PIERO ANDREA; Michael, Gelfond
Sequent calculi for default and autoepistemic logics
1996 Bonatti, PIERO ANDREA
Merging Heterogeneous Security Orderings
1996 Bonatti, PIERO ANDREA; M. L., Sapino; V. S., Subrahmanian
Declarative Foundations of Secure Deductive Databases
1992 Bonatti, PIERO ANDREA
On the complexity of EL with defeasible inclusions
2011 Bonatti, PIERO ANDREA; Faella, Marco; Sauro, Luigi
A More General Solution to the Multiple Expansion Problem
1990 Bonatti, PIERO ANDREA
Data-Security in Heterogeneous Agent Systems
1998 Bonatti, PIERO ANDREA; S., Kraus; J., Salinas; V. S., Subrahmanian
A Multi-Similarity Algebra
1998 S., Adali; Bonatti, PIERO ANDREA; M. L., Sapino; V. S., Subrahmanian
Some Complexity Results on Fuzzy Description Logics
2003 Bonatti, PIERO ANDREA; A., Tettamanzi
Rule Languages for Security and Privacy in Cooperative Systems
2005 Bonatti, PIERO ANDREA
An Access Control Model for Data Archives
2001 Bonatti, PIERO ANDREA; E., Damiani; S., De Capitani di Vimercati; P., Samarati
Controlled query evaluation with open queries for a decidable relational submodel
2007 J., Biskup; Bonatti, PIERO ANDREA
Decidability of Circumscribed Description Logics Revisited
2014 Bonatti, PIERO ANDREA; Faella, Marco; Carsten, Lutz; Sauro, Luigi; Frank, Wolter
An Integrated Formal Approach to Usage Control
2013 Bonatti, PIERO ANDREA; Sauro, Luigi; Faella, Marco; Galdi, Clemente
| Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|---|
| CONTROLLED QUERY EVALUATION FOR KNOWN POLICIES BY COMBINING LYING AND REFUSAL | 1.1 Articolo in rivista | 2004 | Biskup, J; Bonatti, PIERO ANDREA | |
| Reasoning with infinite stable models. | 1.1 Articolo in rivista | 2004 | Bonatti, PIERO ANDREA | |
| Credulous resolution for answer set programming | 2.1 Contributo in volume (Capitolo o Saggio) | 2008 | Bonatti, PIERO ANDREA; Enrico, Pontelli; Tran Cao, Son | |
| Reasoning web, 4th international summer school | 7.1 Curatore o Editor di Libri Scientifici | 2008 | C., Baroglio; Bonatti, PIERO ANDREA; J., Maluszynski; M., Marchiori; A., Polleres; S., Schaffert | |
| Composing normal programs with function symbols | 2.1 Contributo in volume (Capitolo o Saggio) | 2008 | Baselice, Sabrina; Bonatti, PIERO ANDREA | |
| A sequent calculus for skeptical default logic | 2.1 Contributo in volume (Capitolo o Saggio) | 1997 | Bonatti, PIERO ANDREA; Nicola, Olivetti | |
| 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 | |
| Sequent calculi for default and autoepistemic logics | 2.1 Contributo in volume (Capitolo o Saggio) | 1996 | Bonatti, PIERO ANDREA | |
| Merging Heterogeneous Security Orderings | 2.1 Contributo in volume (Capitolo o Saggio) | 1996 | Bonatti, PIERO ANDREA; M. L., Sapino; V. S., Subrahmanian | |
| Declarative Foundations of Secure Deductive Databases | 2.1 Contributo in volume (Capitolo o Saggio) | 1992 | Bonatti, PIERO ANDREA | |
| On the complexity of EL with defeasible inclusions | 4.1 Articoli in Atti di convegno | 2011 | Bonatti, PIERO ANDREA; Faella, Marco; Sauro, Luigi | |
| A More General Solution to the Multiple Expansion Problem | 4.1 Articoli in Atti di convegno | 1990 | Bonatti, PIERO ANDREA | |
| Data-Security in Heterogeneous Agent Systems | 2.1 Contributo in volume (Capitolo o Saggio) | 1998 | Bonatti, PIERO ANDREA; S., Kraus; J., Salinas; V. S., Subrahmanian | |
| A Multi-Similarity Algebra | 2.1 Contributo in volume (Capitolo o Saggio) | 1998 | S., Adali; Bonatti, PIERO ANDREA; M. L., Sapino; V. S., Subrahmanian | |
| Some Complexity Results on Fuzzy Description Logics | 2.1 Contributo in volume (Capitolo o Saggio) | 2003 | Bonatti, PIERO ANDREA; A., Tettamanzi | |
| Rule Languages for Security and Privacy in Cooperative Systems | 2.1 Contributo in volume (Capitolo o Saggio) | 2005 | Bonatti, PIERO ANDREA | |
| An Access Control Model for Data Archives | 2.1 Contributo in volume (Capitolo o Saggio) | 2001 | Bonatti, PIERO ANDREA; E., Damiani; S., De Capitani di Vimercati; P., Samarati | |
| Controlled query evaluation with open queries for a decidable relational submodel | 1.1 Articolo in rivista | 2007 | J., Biskup; Bonatti, PIERO ANDREA | |
| Decidability of Circumscribed Description Logics Revisited | 4.1 Articoli in Atti di convegno | 2014 | Bonatti, PIERO ANDREA; Faella, Marco; Carsten, Lutz; Sauro, Luigi; Frank, Wolter | |
| An Integrated Formal Approach to Usage Control | 4.1 Articoli in Atti di convegno | 2013 | Bonatti, PIERO ANDREA; Sauro, Luigi; Faella, Marco; Galdi, Clemente |