BONATTI, PIERO ANDREA

BONATTI, PIERO ANDREA  

Dipartimento di Ingegneria elettrica e delle Tecnologie dell'Informazione  

Mostra records
Risultati 1 - 20 di 162 (tempo di esecuzione: 0.015 secondi).
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.