BONATTI, PIERO ANDREA
BONATTI, PIERO ANDREA
DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE
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
On the undecidability of logics with nominals, recursion and counting
2004 Bonatti, PIERO ANDREA; Peron, Adriano
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
A Family of Three-Valued Autoepistemic Logics
1991 Bonatti, PIERO ANDREA
On finitely recursive programs
2009 Baselice, Sabrina; Bonatti, PIERO ANDREA; Criscuolo, Giovanni
Defeasible inclusions in low-complexity DLs: preliminary notes
2009 Bonatti, PIERO ANDREA
Advanced Policy Explanations on the Web
2006 Bonatti, PIERO ANDREA; D., Olmedilla; J., Peer
On Finitely Recursive Programs
2007 Baselice, Sabrina; Bonatti, PIERO ANDREA; Criscuolo, Giovanni
Composing normal programs with function symbols
2008 Bonatti, PIERO ANDREA
Rule Languages for Security and Privacy in Cooperative Systems
2005 Bonatti, PIERO ANDREA
Driving and Monitoring Provisional Trust Negotiation with Metapolicies
2005 Bonatti, PIERO ANDREA; D., Olmedilla
| Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|---|
| 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 | |
| On the undecidability of logics with nominals, recursion and counting | 1.1 Articolo in rivista | 2004 | Bonatti, PIERO ANDREA; Peron, Adriano | |
| 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 | |
| A Family of Three-Valued Autoepistemic Logics | 2.1 Contributo in volume (Capitolo o Saggio) | 1991 | Bonatti, PIERO ANDREA | |
| On finitely recursive programs | 1.1 Articolo in rivista | 2009 | Baselice, Sabrina; Bonatti, PIERO ANDREA; Criscuolo, Giovanni | |
| Defeasible inclusions in low-complexity DLs: preliminary notes | 8.02 Comunicazioni a Convegni o Seminari | 2009 | Bonatti, PIERO ANDREA | |
| Advanced Policy Explanations on the Web | 8.02 Comunicazioni a Convegni o Seminari | 2006 | Bonatti, PIERO ANDREA; D., Olmedilla; J., Peer | |
| On Finitely Recursive Programs | 8.02 Comunicazioni a Convegni o Seminari | 2007 | Baselice, Sabrina; Bonatti, PIERO ANDREA; Criscuolo, Giovanni | |
| Composing normal programs with function symbols | 8.02 Comunicazioni a Convegni o Seminari | 2008 | Bonatti, PIERO ANDREA | |
| Rule Languages for Security and Privacy in Cooperative Systems | 8.02 Comunicazioni a Convegni o Seminari | 2005 | Bonatti, PIERO ANDREA | |
| Driving and Monitoring Provisional Trust Negotiation with Metapolicies | 2.1 Contributo in volume (Capitolo o Saggio) | 2005 | Bonatti, PIERO ANDREA; D., Olmedilla |