Piero A. Bonatti

2022

CQE in OWL 2 QL: A "Longest Honeymoon" Approach (extended version).

[BibT_eX]

[DOI]

CoRR, 2022

Optimizing the computation of overriding in DLN.

[BibT_eX]

[DOI]

Piero Andrea Bonatti

Iliana Mineva Petrova

Artif. Intell., 2022

A false sense of security.

[BibT_eX]

[DOI]

Artif. Intell., 2022

Controlled Query Evaluation in OWL 2 QL: A "Longest Honeymoon" Approach.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2022, 2022

Sticky Policies in OWL2: Extending PL with Fixpoints and Transitive Closure.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

2021

Query answering in circumscribed OWL2 profiles.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2021

Representing Consent and Policies for Compliance.

[BibT_eX]

[DOI]

Jonathan Langens

Proceedings of the IEEE European Symposium on Security and Privacy Workshops, 2021

Tractable Compliance Checking with Negation.

[BibT_eX]

[DOI]

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

2020

Defeasible Reasoning in Description Logics: An Overview on DLN.

[BibT_eX]

[DOI]

Piero Andrea Bonatti

Iliana Mineva Petrova

Proceedings of the Applications and Practices in Ontology Design, 2020

Machine Understandable Policies and GDPR Compliance Checking.

[BibT_eX]

[DOI]

Künstliche Intell., 2020

Defeasible reasoning in Description Logics: an overview on DLN.

[BibT_eX]

[DOI]

CoRR, 2020

The SPECIAL-K Personal Data Processing Transparency and Compliance Platform.

[BibT_eX]

[DOI]

CoRR, 2020

Fast Compliance Checking with General Vocabularies.

[BibT_eX]

[DOI]

CoRR, 2020

Real-time reasoning in OWL2 for GDPR compliance.

[BibT_eX]

[DOI]

Ida Sri Rejeki Siahaan

Artif. Intell., 2020

Rational Closure For All Description Logics (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

2019

Rational closure for all description logics.

[BibT_eX]

[DOI]

Artif. Intell., 2019

A Richer Policy Language for GDPR Compliance.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Workshop on Description Logics, 2019

Big Data and Analytics in the Age of the GDPR.

[BibT_eX]

[DOI]

Sabrina Kirrane

Proceedings of the 2019 IEEE International Congress on Big Data, 2019

2018

Knowledge Graphs: New Directions for Knowledge Representation on the Semantic Web (Dagstuhl Seminar 18371).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2018

Data Privacy Vocabularies and Controls: Semantic Web for Transparency and Privacy.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Semantic Web for Social Good co-located with 17th International Semantic Web Conference, 2018

On the Logical Properties of the Description Logic DL^N (Extended abstract).

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Fast Compliance Checking in an OWL2 Fragment.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

A Scalable Consent, Transparency and Compliance Architecture.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: ESWC 2018 Satellite Events, 2018

2017

On the logical properties of the nonmonotonic description logic DLN.

[BibT_eX]

[DOI]

Artif. Intell., 2017

Inference-proof Data Filtering for a Probabilistic Setting.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Society, 2017

Transparent Personal Data Processing: The Road Ahead.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2017

A New Semantics for Overriding in Description Logics (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

Generalized Agent-mediated Procurement Auctions.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

2015

Event-driven RBAC.

[BibT_eX]

[DOI]

Clemente Galdi

Davide Torres

J. Comput. Secur., 2015

A new semantics for overriding in description logics.

[BibT_eX]

[DOI]

Artif. Intell., 2015

Optimizing the Computation of Overriding.

[BibT_eX]

[DOI]

Iliana Mineva Petrova

Proceedings of the Semantic Web - ISWC 2015, 2015

Optimized Construction of Secure Knowledge-Base Views.

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Description Logics, 2015

Decidability of Circumscribed Description Logics Revisited.

[BibT_eX]

[DOI]

Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

2014

On the integration of trust with negotiation, argumentation and semantics.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 2014

Partial Preferences for Mediated Bargaining.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 2nd International Workshop on Strategic Reasoning, 2014

Optimality and Complexity of Inference-Proof Data Filtering and CQE.

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2014, 2014

A Mechanism for Ontology Confidentiality.

[BibT_eX]

[DOI]

Proceedings of the 29th Italian Conference on Computational Logic, 2014

E-Auctions for Multi-Cloud Service Provisioning.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Services Computing, SCC 2014, Anchorage, AK, USA, June 27, 2014

2013

An Integrated Formal Approach to Usage Control.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE Symposium on Security and Privacy Workshops, 2013

A Confidentiality Model for Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2013, 2013

ERBAC: event-driven RBAC.

[BibT_eX]

[DOI]

Clemente Galdi

Davide Torres

Proceedings of the 18th ACM Symposium on Access Control Models and Technologies, 2013

Auctions for Partial Heterogeneous Preferences.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2013, 2013

2012

Defaults in Description Logics: So Simple, So Difficult.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

2011

Logic-Based Authorization Languages.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Cryptography and Security, 2nd Ed., 2011

Robust and scalable Linked Data reasoning incorporating provenance and trust annotations.

[BibT_eX]

[DOI]

J. Web Semant., 2011

Defeasible Inclusions in Low-Complexity DLs.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2011

On the decidability of FDNC programs.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2011

On the Complexity of EL with Defeasible Inclusions.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Towards a Mechanism for Incentivating Privacy.

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2011, 2011

Adding Default Attributes to EL++.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

A decidable subclass of finitary programs.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2010

A Rule-Based Trust Negotiation System.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2010

EL\mathcal{EL} with Default Attributes and Overriding.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, 2010

Reactive Policies for the Semantic Web.

[BibT_eX]

[DOI]

Philipp Kärger

Proceedings of the Semantic Web: Research and Applications, 2010

Datalog for Security, Privacy and Trust.

[BibT_eX]

[DOI]

Proceedings of the Datalog Reloaded - First International Workshop, 2010

Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, 2010

2009

Rule-Based Policy Representations and Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Semantic Techniques for the Web, The REWERSE Perspective, 2009

On finitely recursive programs.

[BibT_eX]

[DOI]

Giovanni Criscuolo

Theory Pract. Log. Program., 2009

The Complexity of Circumscription in DLs.

[BibT_eX]

[DOI]

Carsten Lutz

Frank Wolter

J. Artif. Intell. Res., 2009

Policy Based Protection and Personalized Generation of Web Content.

[BibT_eX]

[DOI]

Proceedings of the 2009 Latin American Web Congress, 2009

Defeasible Inclusions in Low-Complexity DLs: Preliminary Notes.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

A Comparison of Terminological and Rule-based Policy Languages.

[BibT_eX]

[DOI]

Proceedings of the ESWC2009 Workshop on Trust and Privacy on the Social and Semantic Web (SPOT2009) Heraklion, 2009

2008

The Complexity of Enriched Mu-Calculi.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2008

Erratum to: Reasoning with infinite stable models [Artificial Intelligence 156 (1) (2004) 75-111].

[BibT_eX]

[DOI]

Artif. Intell., 2008

Protune: A Framework for Semantic Web Policies.

[BibT_eX]

[DOI]

Proceedings of the Poster and Demonstration Session at the 7th International Semantic Web Conference (ISWC2008), 2008

A Trust Management Package for Policy-Driven Protection & Personalization of Web Content.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2008), 2008

Comparing Rule-Based Policies.

[BibT_eX]

[DOI]

Fabio Mogavero

Proceedings of the 9th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2008), 2008

Policy-Driven Negotiations and Explanations: Exploiting Logic-Programming for Trust Management, Privacy & Security.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 24th International Conference, 2008

Composing Normal Programs with Function Symbols.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 24th International Conference, 2008

Credulous Resolution for Answer Set Programming.

[BibT_eX]

[DOI]

Enrico Pontelli

Tran Cao Son

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

Rule-based Policy Specification.

[BibT_eX]

[DOI]

Proceedings of the Secure Data Management in Decentralized Systems, 2007

Controlled query evaluation with open queries for a decidable relational submodel.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2007

Nonmonotonic Description Logics - Requirements, Theory, and Implementations.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007

Rule-Based Policy Representation and Reasoning for the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web, 2007

On Interoperable Trust Negotiation Strategies.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2007), 2007

2006

Description Logics with Circumscription.

[BibT_eX]

[DOI]

Carsten Lutz

Frank Wolter

Proceedings of the Proceedings, 2006

The Complexity of Enriched µ-Calculi.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006

Semantic Web Policies - A Discussion of Requirements and Research Issues.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2006

Advanced Policy Explanations on the Web.

[BibT_eX]

[DOI]

Joachim Peer

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

2005

On optimal service selection.

[BibT_eX]

[DOI]

Paola Festa

Proceedings of the 14th international conference on World Wide Web, 2005

Driving and Monitoring Provisional Trust Negotiation with Metapolicies.

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2005), 2005

Towards an Integration of Answer Set and Constraint Solving.

[BibT_eX]

[DOI]

Michael Gelfond

Proceedings of the Logic Programming, 21st International Conference, 2005

Rule Languages for Security and Privacy in Cooperative Systems.

[BibT_eX]

[DOI]

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

PeerAccess: a logic for distributed authorization.

[BibT_eX]

[DOI]

Marianne Winslett

Charles C. Zhang

Proceedings of the 12th ACM Conference on Computer and Communications Security, 2005

A Preliminary Report on Integrating of Answer Set and Constraint Solving.

[BibT_eX]

[DOI]

Michael Gelfond

Proceedings of the Answer Set Programming, 2005

2004

Controlled query evaluation for enforcing confidentiality in complete information systems.

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2004

Controlled Query Evaluation for Known Policies by Combining Lying and Refusal.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2004

On the undecidability of logics with converse, nominals, recursion and counting.

[BibT_eX]

[DOI]

Adriano Peron

Artif. Intell., 2004

Reasoning with infinite stable models.

[BibT_eX]

[DOI]

Artif. Intell., 2004

On the Decidability of Containment of Recursive Datalog Queries - Preliminary report.

[BibT_eX]

[DOI]

Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2004

Abduction over Unbounded Domains via ASP.

[BibT_eX]

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003

Secure Agents.

[BibT_eX]

[DOI]

Sarit Kraus

Ann. Math. Artif. Intell., 2003

Some Complexity Results on Fuzzy Description Logics.

[BibT_eX]

[DOI]

Andrea Tettamanzi

Proceedings of the Fuzzy Logic and Applications, 5th International Workshop, 2003

Towards Flexible Credential Negotiation Protocols.

[BibT_eX]

[DOI]

Proceedings of the Security Protocols, 2003

An Ontology-Extended Relational Algebra.

[BibT_eX]

[DOI]

Yu Deng

Proceedings of the 2003 IEEE International Conference on Information Reuse and Integration, 2003

On the Undecidability of Description and Dynamic Logics with Recursion and Counting.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-03, 2003

Logics for Authorization and Security.

[BibT_eX]

Proceedings of the Logics for Emerging Applications of Databases [outcome of a Dagstuhl seminar], 2003

Finitary Open Logic Program.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2003

2002

Sequent calculi for propositional nonmonotonic logics.

[BibT_eX]

[DOI]

Nicola Olivetti

ACM Trans. Comput. Log., 2002

An algebra for composing access control policies.

[BibT_eX]

[DOI]

ACM Trans. Inf. Syst. Secur., 2002

A Uniform Framework for Regulating Service Access and Information Release on the Web.

[BibT_eX]

[DOI]

J. Comput. Secur., 2002

Abduction, ASP and open logic programs.

[BibT_eX]

Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

Towards Service Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Reasoning with Infinite Stable Models II: Disjunctive Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 18th International Conference, 2002

Confidentiality Policies and Their Enforcement for Controlled Query Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2002

2001

TRBAC: A temporal role-based access control model.

[BibT_eX]

[DOI]

Elisa Bertino

Elena Ferrari

ACM Trans. Inf. Syst. Secur., 2001

Resolution for Skeptical Stable Model Semantics.

[BibT_eX]

[DOI]

J. Autom. Reason., 2001

Lying versus refusal for known potential secrets.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2001

An Access Control Model for Data Archives.

[BibT_eX]

Ernesto Damiani

Proceedings of the Trusted Information: The New Decade Challenge, 2001

Prototypes for Reasoning with Infinite Stable Models and Function Symbols.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

Reasoning with Open Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

A Component-Based Architecture for Secure Data Publication.

[BibT_eX]

[DOI]

Ernesto Damiani

Proceedings of the 17th Annual Computer Security Applications Conference (ACSAC 2001), 2001

2000

Temporal Authorization Bases: From Specification to Integration.

[BibT_eX]

[DOI]

J. Comput. Secur., 2000

A modular approach to composing access control policies.

[BibT_eX]

[DOI]

Proceedings of the CCS 2000, 2000

Regulating service access and information release on the Web.

[BibT_eX]

[DOI]

Proceedings of the CCS 2000, 2000

Heterogenous Active Agents

[BibT_eX]

MIT Press, ISBN: 0-262-19436-8, 2000

1999

Specifying and computing hierarchies of temporal authorizations.

[BibT_eX]

Proceedings of the 1999 Joint Conference on Declarative Programming, 1999

1998

A Multi-Similarity Algebra.

[BibT_eX]

[DOI]

Proceedings of the SIGMOD 1998, 1998

Data-Security in Heterogeneous Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Cooperative Information Agents II, 1998

1997

Merging Heterogeneous Security Orderings.

[BibT_eX]

[DOI]

Maria Luisa Sapino

J. Comput. Secur., 1997

A Sequent Calculus for Skeptical Default Logic.

[BibT_eX]

[DOI]

Nicola Olivetti

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1997

Resolution for Skeptical Stable Semantics.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

A Sequent Calculus for Circumscription.

[BibT_eX]

[DOI]

Nicola Olivetti

Proceedings of the Computer Science Logic, 11th International Workshop, 1997

A Constructive Negation for Transition System Specifications.

[BibT_eX]

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996

Querying Disjunctive Databases Through Nonmonotonic Logics.

[BibT_eX]

[DOI]

Thomas Eiter

Theor. Comput. Sci., 1996

Sequent Calculi for Default and Autoepistemic Logics.

[BibT_eX]

[DOI]

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1996

1995

Foundations of Secure Deductive Databases.

[BibT_eX]

[DOI]

Sarit Kraus

IEEE Trans. Knowl. Data Eng., 1995

A Three-Valued Formalization of Provability.

[BibT_eX]

[DOI]

J. Log. Comput., 1995

Autoepistemic Logics as a Unifying Framework for the Semantics of Logic Programs.

[BibT_eX]

[DOI]

J. Log. Program., 1995

Querying Disjunctive Database Through Nonmonotonic Logics.

[BibT_eX]

[DOI]

Thomas Eiter

Proceedings of the Database Theory, 1995

Three-Valued Semantics for Extended Logic Programs.

[BibT_eX]

Laura Giordano

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994

Autoepistemic Logic Programming.

[BibT_eX]

[DOI]

J. Autom. Reason., 1994

1992

Model Theoretic Semantics for Demo.

[BibT_eX]

[DOI]

Proceedings of the Meta-Programming in Logic, 3rd International Workshop, 1992

Declarative Foundations of Secure Deductive Databases.

[BibT_eX]

[DOI]

Sarit Kraus

Proceedings of the Database Theory, 1992

1991

Beliefs as Stable Conjectures.

[BibT_eX]

Proceedings of the Logic Programming and Non-monotonic Reasoning, 1991

A Family of Three-Valued Autoepistemic Logics.

[BibT_eX]

[DOI]

Proceedings of the Trends in Artificial Intelligence, 1991

1990

A More General Solution to the Multiple Expansion Problem.

[BibT_eX]