| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Piero A. Bonatti, Aidan Hogan, Axel Polleres, Luigi Sauro |
Robust and scalable Linked Data reasoning incorporating provenance and trust annotations.  |
J. Web Sem.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti, Marco Faella, Luigi Sauro |
Defeasible Inclusions in Low-Complexity DLs. |
J. Artif. Intell. Res. (JAIR) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti |
On the decidability of FDNC programs. |
Intelligenza Artificiale |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti |
Logic-Based Authorization Languages. |
Encyclopedia of Cryptography and Security (2nd Ed.) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti, Marco Faella, Luigi Sauro |
On the Complexity of EL with Defeasible Inclusions. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Piero A. Bonatti, Marco Faella, Luigi Sauro |
Adding Default Attributes to EL++. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Piero A. Bonatti, Marco Faella, Clemente Galdi, Luigi Sauro |
Towards a Mechanism for Incentivating Privacy. |
ESORICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti, Juri Luca De Coi, Daniel Olmedilla, Luigi Sauro |
A Rule-Based Trust Negotiation System. |
IEEE Trans. Knowl. Data Eng. |
2010 |
DBLP DOI BibTeX RDF |
Protune, rule-based policies, sensitive policies, policy exchange, privacy, explanations, trust negotiation |
| 1 | Sabrina Baselice, Piero A. Bonatti |
A decidable subclass of finitary programs |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Sabrina Baselice, Piero A. Bonatti |
A decidable subclass of finitary programs. |
TPLP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti, Philipp Kärger, Daniel Olmedilla |
Reactive Policies for the Semantic Web. |
ESWC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti, Francesco Calimeri, Nicola Leone, Francesco Ricca |
Answer Set Programming. |
25 Years GULP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti |
Datalog for Security, Privacy and Trust. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti, Marco Faella, Luigi Sauro |
EL\mathcal{EL} with Default Attributes and Overriding. |
International Semantic Web Conference |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sabrina Baselice, Piero A. Bonatti, Giovanni Criscuolo |
On finitely recursive programs |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Piero A. Bonatti, Carsten Lutz, Frank Wolter |
The Complexity of Circumscription in DLs. |
J. Artif. Intell. Res. (JAIR) |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sabrina Baselice, Piero A. Bonatti, Giovanni Criscuolo |
On finitely recursive programs. |
TPLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti, Juri Luca De Coi, Daniel Olmedilla, Luigi Sauro |
Rule-Based Policy Representations and Reasoning. |
REWERSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti, Marco Faella, Luigi Sauro |
Defeasible Inclusions in Low-Complexity DLs: Preliminary Notes. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Sergej Zerr, Daniel Olmedilla, Juri Luca De Coi, Wolfgang Nejdl, Piero A. Bonatti, Luigi Sauro |
Policy Based Protection and Personalized Generation of Web Content. |
LA-WEB/CLIHC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi |
The Complexity of Enriched Mu-Calculi. |
Logical Methods in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi |
The Complexity of Enriched Mu-Calculi |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Piero A. Bonatti |
Erratum to: Reasoning with infinite stable models [Artificial Intelligence 156 (1) (2004) 75-111]. |
Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Juri Luca De Coi, Daniel Olmedilla, Sergej Zerr, Piero A. Bonatti, Luigi Sauro |
A Trust Management Package for Policy-Driven Protection & Personalization of Web Content. |
POLICY |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti, Fabio Mogavero |
Comparing Rule-Based Policies. |
POLICY |
2008 |
DBLP DOI BibTeX RDF |
Rule-based policies, Policy comparison, Policy-aware service selection, Policy compliance, Datalog query containment, Policy verification |
| 1 | Sabrina Baselice, Piero A. Bonatti |
Composing Normal Programs with Function Symbols. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti, Juri Luca De Coi, Daniel Olmedilla, Luigi Sauro |
Policy-Driven Negotiations and Explanations: Exploiting Logic-Programming for Trust Management, Privacy & Security. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Juri Luca De Coi, Daniel Olmedilla, Piero A. Bonatti, Luigi Sauro |
Protune: A Framework for Semantic Web Policies. |
International Semantic Web Conference (Posters & Demos) |
2008 |
DBLP BibTeX RDF |
|
| 1 | Cristina Baroglio, Piero A. Bonatti, Jan Maluszynski, Massimo Marchiori, Axel Polleres, Sebastian Schaffert (eds.) |
Reasoning Web, 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures |
Reasoning Web |
2008 |
DBLP BibTeX RDF |
|
| 1 | Piero A. Bonatti, Enrico Pontelli, Tran Cao Son |
Credulous Resolution for Answer Set Programming. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Joachim Biskup, Piero A. Bonatti |
Controlled query evaluation with open queries for a decidable relational submodel. |
Ann. Math. Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68P15, 68P99, 11U05, 03B70 |
| 1 | Grigoris Antoniou, Matteo Baldoni, Piero A. Bonatti, Wolfgang Nejdl, Daniel Olmedilla |
Rule-based Policy Specification. |
Secure Data Management in Decentralized Systems |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sabrina Baselice, Piero A. Bonatti, Marco Faella |
On Interoperable Trust Negotiation Strategies. |
POLICY |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sabrina Baselice, Piero A. Bonatti, Giovanni Criscuolo |
On Finitely Recursive Programs. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti |
Nonmonotonic Description Logics - Requirements, Theory, and Implementations. |
TABLEAUX |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti, Daniel Olmedilla |
Rule-Based Policy Representation and Reasoning for the Semantic Web. |
Reasoning Web |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti, Daniel Olmedilla, Joachim Peer |
Advanced Policy Explanations on the Web. |
ECAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Piero A. Bonatti, Claudiu Duma, Norbert E. Fuchs, Wolfgang Nejdl, Daniel Olmedilla, Joachim Peer, Nahid Shahmehri |
Semantic Web Policies - A Discussion of Requirements and Research Issues. |
ESWC |
2006 |
DBLP DOI BibTeX RDF |
Integrated heterogeneous policies, Cooperative policy enforcement, Lightweight trust, Explanation mechanisms, Trust management, Natural language interfaces |
| 1 | Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi |
The Complexity of Enriched µ-Calculi. |
ICALP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Biskup, Piero A. Bonatti |
Controlled Query Evaluation with Open Queries for a Decidable Relational Submodel. |
FoIKS |
2006 |
DBLP DOI BibTeX RDF |
Complete information system, Open query, Safe query, Domain-independent query, Bernays-Schönfinkel class, Completeness test, Relational database, Confidentiality, First-order logic, Finite model theory, Guarded fragment, Lying, Refusal, Implication problem, Controlled query evaluation |
| 1 | Piero A. Bonatti, Carsten Lutz, Frank Wolter |
Description Logics with Circumscription. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Piero A. Bonatti, Daniel Olmedilla |
Driving and Monitoring Provisional Trust Negotiation with Metapolicies. |
POLICY |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sabrina Baselice, Piero A. Bonatti, Michael Gelfond |
Towards an Integration of Answer Set and Constraint Solving. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti, P. Festa |
On optimal service selection. |
WWW |
2005 |
DBLP DOI BibTeX RDF |
nonfunctional properties, service selection problem, service matchmaking, automatic service composition |
| 1 | Piero A. Bonatti |
Rule Languages for Security and Privacy in Cooperative Systems. |
COMPSAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sabrina Baselice, Piero A. Bonatti, Michael Gelfond |
A Preliminary Report on Integrating of Answer Set and Constraint Solving. |
Answer Set Programming |
2005 |
DBLP BibTeX RDF |
|
| 1 | Marianne Winslett, Charles C. Zhang, Piero A. Bonatti |
PeerAccess: a logic for distributed authorization. |
ACM Conference on Computer and Communications Security |
2005 |
DBLP DOI BibTeX RDF |
logical signature, proof hints, release policies, P2P systems, distributed authorization, sticky policies |
| 1 | Joachim Biskup, Piero A. Bonatti |
Controlled query evaluation for enforcing confidentiality in complete information systems. |
Int. J. Inf. Sec. |
2004 |
DBLP DOI BibTeX RDF |
Complete information system, Confidentiality, Inference control, Lying, Refusal |
| 1 | Piero A. Bonatti |
Reasoning with infinite stable models. |
Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti, Adriano Peron |
On the undecidability of logics with converse, nominals, recursion and counting. |
Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Biskup, Piero A. Bonatti |
Controlled Query Evaluation for Known Policies by Combining Lying and Refusal. |
Ann. Math. Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti |
Abduction over Unbounded Domains via ASP. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jennifer Golbeck, Piero A. Bonatti, Wolfgang Nejdl, Daniel Olmedilla, Marianne Winslett (eds.) |
Proceedings of the ISWC*04 Workshop on Trust, Security, and Reputation on the Semantic Web, Hiroshima, Japan, November 7, 2004 |
ISWC Workshop on Trust, Security, and Reputation on the Semantic Web |
2004 |
DBLP BibTeX RDF |
|
| 1 | Piero A. Bonatti |
On the Decidability of Containment of Recursive Datalog Queries - Preliminary report. (PDF / PS) |
PODS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti, Sarit Kraus, V. S. Subrahmanian |
Secure Agents. |
Ann. Math. Artif. Intell. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti, Yu Deng, V. S. Subrahmanian |
An Ontology-Extended Relational Algebra. |
IRI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Piero A. Bonatti |
On the Undecidability of Description and Dynamic Logics with Recursion and Counting. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Piero A. Bonatti, Pierangela Samarati |
Logics for Authorization and Security. |
Logics for Emerging Applications of Databases |
2003 |
DBLP BibTeX RDF |
|
| 1 | Piero A. Bonatti, Andrea Tettamanzi |
Some Complexity Results on Fuzzy Description Logics. |
WILF |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti, Sabrina De Capitani di Vimercati, Pierangela Samarati |
Towards Flexible Credential Negotiation Protocols. |
Security Protocols Workshop |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti |
Finitary Open Logic Program. |
Answer Set Programming |
2003 |
DBLP BibTeX RDF |
|
| 1 | Piero A. Bonatti, Pierangela Samarati |
A Uniform Framework for Regulating Service Access and Information Release on the Web. |
Journal of Computer Security |
2002 |
DBLP BibTeX RDF |
|
| 1 | Piero A. Bonatti |
Abduction, ASP and Open Logic Programs |
CoRR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Piero A. Bonatti, Sabrina De Capitani di Vimercati, Pierangela Samarati |
An algebra for composing access control policies. |
ACM Trans. Inf. Syst. Secur. |
2002 |
DBLP DOI BibTeX RDF |
Access control, logic programs, algebra, policy composition |
| 1 | Piero A. Bonatti, Nicola Olivetti |
Sequent calculi for propositional nonmonotonic logics. |
ACM Trans. Comput. Log. |
2002 |
DBLP DOI BibTeX RDF |
Default Logic, Circumscription, Sequent calculi, Autoepistemic Logic, Rejection methods |
| 1 | Piero A. Bonatti |
Reasoning with Infinite Stable Models II: Disjunctive Programs. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti |
Towards Service Description Logics. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
Semantic Web, Description Logics |
| 1 | Joachim Biskup, Piero A. Bonatti |
Controlled Query Evaluation for Known Policies by Combining Lying and Refusal. |
FoIKS |
2002 |
DBLP DOI BibTeX RDF |
Potential secret, Reliability, Inference control, Secrecy, User log, Lying, Refusal, Controlled query evaluation |
| 1 | Piero A. Bonatti |
Abduction, ASP and open logic programs. |
NMR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Joachim Biskup, Piero A. Bonatti |
Confidentiality Policies and Their Enforcement for Controlled Query Evaluation. |
ESORICS |
2002 |
DBLP DOI BibTeX RDF |
Potential secret, Combined refusal and lying, Policy, Confidentiality, Inference control, Secrecy, Lying, Refusal, Controlled query evaluation |
| 1 | Joachim Biskup, Piero A. Bonatti |
Lying versus refusal for known potential secrets. |
Data Knowl. Eng. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti |
Resolution for Skeptical Stable Model Semantics. |
J. Autom. Reasoning |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Elisa Bertino, Piero A. Bonatti, Elena Ferrari |
TRBAC: A temporal role-based access control model. |
ACM Trans. Inf. Syst. Secur. |
2001 |
DBLP DOI BibTeX RDF |
Role triggers, role-based access control, temporal constraints |
| 1 | Piero A. Bonatti, Ernesto Damiani, Sabrina De Capitani di Vimercati, Pierangela Samarati |
An Access Control Model for Data Archives. |
SEC |
2001 |
DBLP BibTeX RDF |
|
| 1 | Piero A. Bonatti |
Reasoning with infinite stable models. |
IJCAI |
2001 |
DBLP BibTeX RDF |
|
| 1 | Piero A. Bonatti, Ernesto Damiani, Sabrina De Capitani di Vimercati, Pierangela Samarati |
A Component-Based Architecture for Secure Data Publication. |
ACSAC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti |
Prototypes for Reasoning with Infinite Stable Models and Function Symbols. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti |
Reasoning with Open Logic Programs. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Elisa Bertino, Piero A. Bonatti, Elena Ferrari, Maria Luisa Sapino |
Temporal Authorization Bases: From Specification to Integration. |
Journal of Computer Security |
2000 |
DBLP BibTeX RDF |
|
| 1 | V. S. Subrahmanian, Piero A. Bonatti, Jürgen Dix, Thomas Eiter, Sarit Kraus, Fatma Ozcan, Robert B. Ross |
Heterogenous Active Agents |
|
2000 |
RDF |
|
| 1 | Elisa Bertino, Piero A. Bonatti, Elena Ferrari |
TRBAC: a temporal role-based access control model. |
ACM Workshop on Role-Based Access Control |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti, Pierangela Samarati |
Regulating service access and information release on the Web. |
ACM Conference on Computer and Communications Security |
2000 |
DBLP DOI BibTeX RDF |
privacy, access control, digital certificate |
| 1 | Piero A. Bonatti, Sabrina De Capitani di Vimercati, Pierangela Samarati |
A modular approach to composing access control policies. |
ACM Conference on Computer and Communications Security |
2000 |
DBLP DOI BibTeX RDF |
access control, logic programs, algebra, policy composition |
| 1 | Elisa Bertino, Piero A. Bonatti, Elena Ferrari, Maria Luisa Sapino |
Specifying and computing hierarchies of temporal authorizations. |
APPIA-GULP-PRODE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Elisa Bertino, Piero A. Bonatti, Elena Ferrari, Maria Luisa Sapino |
Specifying and Computing Hierarchies of Temporal Authorizations. |
DBSec |
1999 |
DBLP BibTeX RDF |
|
| 1 | Sibel Adali, Piero A. Bonatti, Maria Luisa Sapino, V. S. Subrahmanian |
A Multi-Similarity Algebra. |
SIGMOD Conference |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti, Sarit Kraus, José Salinas, V. S. Subrahmanian |
Data-Security in Heterogeneous Agent Systems. |
CIA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti, Maria Luisa Sapino, V. S. Subrahmanian |
Merging Heterogeneous Security Orderings. |
Journal of Computer Security |
1997 |
DBLP BibTeX RDF |
|
| 1 | Piero A. Bonatti |
A Constructive Negation for Transition System Specifications. |
APPIA-GULP-PRODE |
1997 |
DBLP BibTeX RDF |
|
| 1 | Piero A. Bonatti |
Resolution for Skeptical Stable Semantics. |
LPNMR |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti, Nicola Olivetti |
A Sequent Calculus for Skeptical Default Logic. |
TABLEAUX |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti, Nicola Olivetti |
A Sequent Calculus for Circumscription. |
CSL |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti, Thomas Eiter |
Querying Disjunctive Databases Through Nonmonotonic Logics. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti |
Sequent Calculi for Default and Autoepistemic Logics. |
TABLEAUX |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti, Maria Luisa Sapino, V. S. Subrahmanian |
Merging Heterogeneous Security Orderings. |
ESORICS |
1996 |
DBLP DOI BibTeX RDF |
Theoretical Foundations of Security, Heterogeneous Mediated/Federated Systems |
| 1 | Piero A. Bonatti, Sarit Kraus, V. S. Subrahmanian |
Foundations of Secure Deductive Databases. |
IEEE Trans. Knowl. Data Eng. |
1995 |
DBLP DOI BibTeX RDF |
secure databases, logic programming, computer security, Deductive databases |
| 1 | Piero A. Bonatti |
Autoepistemic Logics as a Unifying Framework for the Semantics of Logic Programs. |
J. Log. Program. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti |
A Three-Valued Formalization of Provability. |
J. Log. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero A. Bonatti, Laura Giordano |
Three-Valued Semantics for Extended Logic Programs. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Piero A. Bonatti, Thomas Eiter |
Querying Disjunctive Database Through Nonmonotonic Logics. |
ICDT |
1995 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")