Luigi Sauro

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

Universal Thompson Sampling.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Machine Learning and Applications, 2022

2021

Irrelevant matches in round-robin tournaments.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2021

A practical query selection framework for real-time Bayesian preference elicitation.

[BibT_eX]

[DOI]

Alberto Finzi

Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 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

Preface.

[BibT_eX]

[DOI]

Dario Della Monica

Fundam. Informaticae, 2020

Defeasible reasoning in Description Logics: an overview on DLN.

[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

Preferences over Rankings and How to Control Them Using Rewards.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Rapidly Finding the Best Arm Using Variance.

[BibT_eX]

[DOI]

Alberto Finzi

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

2019

A Richer Policy Language for GDPR Compliance.

[BibT_eX]

[DOI]

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

Preference Theories on Weak Orders.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, 2019

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

Do all Tournaments Admit Irrelevant Matches?

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017

On the logical properties of the nonmonotonic description logic DLN.

[BibT_eX]

[DOI]

Artif. Intell., 2017

On the hierarchical nature of partial preferences over lotteries.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2017

Inference-proof Data Filtering for a Probabilistic Setting.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Society, 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

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

On the Hierarchical Nature of Partial Preferences.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 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

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 Behavioral Hierarchy of Strategy Logic.

[BibT_eX]

[DOI]

Fabio Mogavero

Proceedings of the Computational Logic in Multi-Agent Systems, 2014

A Mechanism for Ontology Confidentiality.

[BibT_eX]

[DOI]

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

Strategy games: a renewed framework.

[BibT_eX]

[DOI]

Fabio Mogavero

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 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

Dependency in Cooperative Boolean Games.

[BibT_eX]

[DOI]

Serena Villata

J. Log. Comput., 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

Auctions for Partial Heterogeneous Preferences.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2013, 2013

On the Boundary of Behavioral Strategies.

[BibT_eX]

[DOI]

Fabio Mogavero

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

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 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 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

2009

Rule-Based Policy Representations and Reasoning.

[BibT_eX]

[DOI]

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

Algorithms for finding coalitions exploiting a new reciprocity condition.

[BibT_eX]

[DOI]

Log. J. IGPL, 2009

Policy Based Protection and Personalized Generation of Web Content.

[BibT_eX]

[DOI]

Proceedings of the 2009 Latin American Web Congress, 2009

Dependency in Cooperative Boolean Games.

[BibT_eX]

[DOI]

Serena Villata

Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2009

Defeasible Inclusions in Low-Complexity DLs: Preliminary Notes.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

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

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

2007

From social power to social importance.

[BibT_eX]

[DOI]

Web Intell. Agent Syst., 2007

2006

Formalizing admissibility criteria in coalition formation among goal-directed agents.

[BibT_eX]

[DOI]

PhD thesis, 2006

Qualitative criteria of admissibility for enforced agreements.

[BibT_eX]

[DOI]

Comput. Math. Organ. Theory, 2006

Strengthening Admissible Coalitions.

[BibT_eX]

[DOI]

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

Reasoning about action and cooperation.

[BibT_eX]

[DOI]

Jelle Gerbrandy

Wiebe van der Hoek

Michael J. Wooldridge

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

2005

Formalizing Coalition Structures via Obligations.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Normative Multi-Agent Systems, 2005

Admissible Agreements among Goal-directed Agents.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2005

Reducing coalition structures via agreement specification.

[BibT_eX]

[DOI]

Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

2004

Power and Dependence Relations in Groups of Agents.

[BibT_eX]

[DOI]

Proceedings of the 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004), 2004

An Abstraction from Power to Coalition Structures.

[BibT_eX]

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

Social Viewpoints on Multiagent Systems.

[BibT_eX]

[DOI]