BONATTI, PIERO ANDREA
BONATTI, PIERO ANDREA
Dipartimento di Ingegneria elettrica e delle Tecnologie dell'Informazione
Rule-based policy specification
2007 G., Antoniou; M., Baldoni; Bonatti, PIERO ANDREA; W., Nejdl; D., Olmedilla
Merging heterogeneous security orderings
1997 Bonatti, PIERO ANDREA; M. L., Sapino; V. S., Subrahmanian
Sequent calculi for default and autoepistemic logics
1996 Bonatti, PIERO ANDREA
A sequent calculus for circumscription
1997 Bonatti, PIERO ANDREA; Nicola, Olivetti
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
Rule-based policy representations and reasoning
2009 Bonatti, PIERO ANDREA; J., De Coi; D., Olmedilla; Sauro, Luigi
A Preliminary Report on Integrating of Answer Set and Constraint Solving
2005 Baselice, Sabrina; Bonatti, PIERO ANDREA; M., Gelfond
Towards Flexible Credential Negotiation Protocols
2003 Bonatti, PIERO ANDREA; S., De Capitani di Vimercati; P., Samarati
A Family of Three-Valued Autoepistemic Logics
1991 Bonatti, PIERO ANDREA
Beliefs as Stable Conjectures
1991 Bonatti, PIERO ANDREA
Protune: A Framework for Semantic Web Policies
2008 J. L., De Coi; D., Olmedilla; Bonatti, PIERO ANDREA; Sauro, Luigi
Three-Valued Semantics for Extended Logic Programs
1995 Bonatti, PIERO ANDREA; L., Giordano
Merging Heterogeneous Security Orderings
1996 Bonatti, PIERO ANDREA; M. L., Sapino; V. S., Subrahmanian
Querying Disjunctive Database Through Nonmonotonic Logics
1995 Bonatti, PIERO ANDREA; T., Eiter
Autoepistemic Logic Programming
1993 Bonatti, PIERO ANDREA
Autoepistemic Logics as a Unifying Framework for the Semantics of Logic Programs
1992 Bonatti, PIERO ANDREA
Logics for Authorization and Security
2003 Bonatti, PIERO ANDREA; Samarati, P.
Towards service description logics
2002 Bonatti, PIERO ANDREA
Specifying and Computing Hierarchies of Temporal Authorizations
1999 Bertino, E; Bonatti, PIERO ANDREA; Ferrari, E; Sapino, M. L.
Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
---|---|---|---|---|
Rule-based policy specification | 2.1 Contributo in volume (Capitolo o Saggio) | 2007 | G., Antoniou; M., Baldoni; Bonatti, PIERO ANDREA; W., Nejdl; D., Olmedilla | |
Merging heterogeneous security orderings | 1.1 Articolo in rivista | 1997 | Bonatti, PIERO ANDREA; M. L., Sapino; V. S., Subrahmanian | |
Sequent calculi for default and autoepistemic logics | 2.1 Contributo in volume (Capitolo o Saggio) | 1996 | Bonatti, PIERO ANDREA | |
A sequent calculus for circumscription | 2.1 Contributo in volume (Capitolo o Saggio) | 1997 | Bonatti, PIERO ANDREA; Nicola, Olivetti | |
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 | |
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 | |
A Preliminary Report on Integrating of Answer Set and Constraint Solving | 4.1 Articoli in Atti di convegno | 2005 | Baselice, Sabrina; Bonatti, PIERO ANDREA; M., Gelfond | |
Towards Flexible Credential Negotiation Protocols | 2.1 Contributo in volume (Capitolo o Saggio) | 2003 | Bonatti, PIERO ANDREA; S., De Capitani di Vimercati; P., Samarati | |
A Family of Three-Valued Autoepistemic Logics | 2.1 Contributo in volume (Capitolo o Saggio) | 1991 | Bonatti, PIERO ANDREA | |
Beliefs as Stable Conjectures | 2.1 Contributo in volume (Capitolo o Saggio) | 1991 | Bonatti, PIERO ANDREA | |
Protune: A Framework for Semantic Web Policies | 4.1 Articoli in Atti di convegno | 2008 | J. L., De Coi; D., Olmedilla; Bonatti, PIERO ANDREA; Sauro, Luigi | |
Three-Valued Semantics for Extended Logic Programs | 4.1 Articoli in Atti di convegno | 1995 | Bonatti, PIERO ANDREA; L., Giordano | |
Merging Heterogeneous Security Orderings | 2.1 Contributo in volume (Capitolo o Saggio) | 1996 | Bonatti, PIERO ANDREA; M. L., Sapino; V. S., Subrahmanian | |
Querying Disjunctive Database Through Nonmonotonic Logics | 2.1 Contributo in volume (Capitolo o Saggio) | 1995 | Bonatti, PIERO ANDREA; T., Eiter | |
Autoepistemic Logic Programming | 2.1 Contributo in volume (Capitolo o Saggio) | 1993 | Bonatti, PIERO ANDREA | |
Autoepistemic Logics as a Unifying Framework for the Semantics of Logic Programs | 2.1 Contributo in volume (Capitolo o Saggio) | 1992 | Bonatti, PIERO ANDREA | |
Logics for Authorization and Security | 2.1 Contributo in volume (Capitolo o Saggio) | 2003 | Bonatti, PIERO ANDREA; Samarati, P. | |
Towards service description logics | 2.1 Contributo in volume (Capitolo o Saggio) | 2002 | Bonatti, PIERO ANDREA | |
Specifying and Computing Hierarchies of Temporal Authorizations | 2.1 Contributo in volume (Capitolo o Saggio) | 1999 | Bertino, E; Bonatti, PIERO ANDREA; Ferrari, E; Sapino, M. L. |