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
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
Rule Languages for Security and Privacy in Cooperative Systems
2005 Bonatti, PIERO ANDREA
Controlled query evaluation with open queries for a decidable relational submodel
2007 J., Biskup; Bonatti, PIERO ANDREA
Rule-based policy representations and reasoning
2009 Bonatti, PIERO ANDREA; J., De Coi; D., Olmedilla; Sauro, Luigi
On finitely recursive programs
2009 Baselice, Sabrina; Bonatti, PIERO ANDREA; Criscuolo, Giovanni
Rule Languages for Security and Privacy in Cooperative Systems
2005 Bonatti, PIERO ANDREA
Policy based protection and personalized generation of web content
2009 Bonatti, PIERO ANDREA; J., de Coi; D., Olmedilla; Sauro, Luigi
Reactive policies for the semantic web
2010 Bonatti, PIERO ANDREA; P., Kaerger; D., Olmedilla
On Finitely Recursive Programs
2007 Baselice, Sabrina; Bonatti, PIERO ANDREA; Criscuolo, Giovanni
Advanced Policy Explanations on the Web
2006 Bonatti, PIERO ANDREA; D., Olmedilla; J., Peer
Defeasible inclusions in low-complexity DLs: preliminary notes
2009 Bonatti, PIERO ANDREA
Composing normal programs with function symbols
2008 Bonatti, PIERO ANDREA
Semantic Web Policies - A Discussion of Requirements and Research Issues
2006 Bonatti, PIERO ANDREA; C., Duma; N. E., Fuchs; W., Nejdl; D., Olmedilla; J., Peer; N., Shahmehri
Driving and Monitoring Provisional Trust Negotiation with Metapolicies
2005 Bonatti, PIERO ANDREA; D., Olmedilla
Towards an Integration of Answer Set and Constraint Solving
2005 Baselice, Sabrina; Bonatti, PIERO ANDREA; M., Gelfond
| 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 | |
| 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 | |
| Rule Languages for Security and Privacy in Cooperative Systems | 2.1 Contributo in volume (Capitolo o Saggio) | 2005 | Bonatti, PIERO ANDREA | |
| Controlled query evaluation with open queries for a decidable relational submodel | 1.1 Articolo in rivista | 2007 | J., Biskup; Bonatti, PIERO ANDREA | |
| 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 | |
| On finitely recursive programs | 1.1 Articolo in rivista | 2009 | Baselice, Sabrina; Bonatti, PIERO ANDREA; Criscuolo, Giovanni | |
| Rule Languages for Security and Privacy in Cooperative Systems | 8.02 Comunicazioni a Convegni o Seminari | 2005 | Bonatti, PIERO ANDREA | |
| 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 | |
| Reactive policies for the semantic web | 2.1 Contributo in volume (Capitolo o Saggio) | 2010 | Bonatti, PIERO ANDREA; P., Kaerger; D., Olmedilla | |
| On Finitely Recursive Programs | 8.02 Comunicazioni a Convegni o Seminari | 2007 | Baselice, Sabrina; Bonatti, PIERO ANDREA; Criscuolo, Giovanni | |
| Advanced Policy Explanations on the Web | 8.02 Comunicazioni a Convegni o Seminari | 2006 | Bonatti, PIERO ANDREA; D., Olmedilla; J., Peer | |
| Defeasible inclusions in low-complexity DLs: preliminary notes | 8.02 Comunicazioni a Convegni o Seminari | 2009 | Bonatti, PIERO ANDREA | |
| Composing normal programs with function symbols | 8.02 Comunicazioni a Convegni o Seminari | 2008 | Bonatti, PIERO ANDREA | |
| Semantic Web Policies - A Discussion of Requirements and Research Issues | 8.02 Comunicazioni a Convegni o Seminari | 2006 | Bonatti, PIERO ANDREA; C., Duma; N. E., Fuchs; W., Nejdl; D., Olmedilla; J., Peer; N., Shahmehri | |
| Driving and Monitoring Provisional Trust Negotiation with Metapolicies | 2.1 Contributo in volume (Capitolo o Saggio) | 2005 | Bonatti, PIERO ANDREA; D., Olmedilla | |
| Towards an Integration of Answer Set and Constraint Solving | 8.02 Comunicazioni a Convegni o Seminari | 2005 | Baselice, Sabrina; Bonatti, PIERO ANDREA; M., Gelfond |