Francesco Olivieri

74 papers A 1B 17C 11Journal 17Unranked 28
YearRankTypeTitle / Venue / Authors
2025 — conf
An Experimental Analysis of the Legal Coding Process.
RuleML+RR (Companion)
Matteo Cristani, Guido Governatori, Francesco Olivieri, Monica Palmirani, Gabriele Buriola
2025 J jnl
Dynamic superiorities in Defeasible Logic.
J. Log. Comput.
Francesco Olivieri
2025 J jnl
Explainability by design: an experimental analysis of the legal coding process.
CoRR
Matteo Cristani, Guido Governatori, Francesco Olivieri, Monica Palmirani, Gabriele Buriola
2025 J jnl
Revising non-monotonic theories with sufficient and necessary conditions: the case of Defeasible Logic.
J. Log. Comput.
Francesco Olivieri, Matteo Cristani, Guido Governatori, Luca Pasetto, Antonino Rotolo, Simone Scannapieco, Claudio Tomazzoli, Tewabe Chekole Workneh
2024 B conf
AI-driven quasi-optimal security camera positioning for harbor control.
KES
Claudio Tomazzoli, Matteo Cristani, Tewabe Chekole Workneh, Francesco Olivieri, Simone Scannapieco
2024 B conf
Ambiguities in Defeasible Logic: A Computational Efficient Framework and Algorithm.
RuleML+RR
Guido Governatori, Francesco Olivieri
2024 — conf
Simulating the Law in a Multi-Agent System.
WOA
Matteo Cristani, Francesco Olivieri, Guido Governatori, Gabriele Buriola
2023 — conf
Extraction of Defeasible Proofs as Explanations.
AI³@AI*IA
Luca Pasetto, Matteo Cristani, Guido Governatori, Francesco Olivieri, Edoardo Zorzi
2023 B conf
The architecture of a reasoning system for Defeasible Deontic Logic.
KES
Matteo Cristani, Guido Governatori, Francesco Olivieri, Luca Pasetto, Francesco Tubini, Celeste Veronese, Alessandro Villa, Edoardo Zorzi
2022 — conf
Classification Rules Explain Machine Learning.
ICAART (3)
Matteo Cristani, Francesco Olivieri, Tewabe Chekole Workneh, Luca Pasetto, Claudio Tomazzoli
2022 J jnl
Deontic Meta-Rules.
CoRR
Francesco Olivieri, Guido Governatori, Matteo Cristani, Antonino Rotolo, Abdul Sattar
2022 B conf
From Defeasible Logic to Counterfactual Reasoning.
RuleML+RR
Matteo Cristani, Guido Governatori, Francesco Olivieri, Antonino Rotolo
2022 — conf
Houdini (unchained): An Effective Reasoner for Defeasible Logic.
AI³@AI*IA
Matteo Cristani, Guido Governatori, Francesco Olivieri, Luca Pasetto, Francesco Tubini, Celeste Veronese, Alessandro Villa, Edoardo Zorzi
2022 B conf
Impact Logic: Reasoning with resources and losses.
KES
Matteo Cristani, Francesco Olivieri, Luca Pasetto, Claudio Tomazzoli, Tewabe Chekole Workneh
2022 B conf
Inference to the Stable Explanations.
LPNMR
Guido Governatori, Francesco Olivieri, Antonino Rotolo, Matteo Cristani
2022 C conf
Stable Normative Explanations.
JURIX
Guido Governatori, Francesco Olivieri, Antonino Rotolo, Matteo Cristani
2021 B conf
Computing Defeasible Meta-logic.
JELIA
Francesco Olivieri, Guido Governatori, Matteo Cristani, Abdul Sattar
2021 C conf
Computing Private International Law.
JURIX
Guido Governatori, Francesco Olivieri, Antonino Rotolo, Abdul Sattar, Matteo Cristani
2021 — conf
Revising Ethical Principles and Norms in Hybrid Societies: Basic Principles and Issues.
KES-AMSTA
Matteo Cristani, Francesco Olivieri, Luca Pasetto
2021 J jnl
Strategic Argumentation.
FLAP
Guido Governatori, Michael J. Maher, Francesco Olivieri
2021 J jnl
Synthesis of Regulation Compliant Business Processes.
IEEE Trans. Serv. Comput.
Nina Ghanbari Ghooshchi, Nick van Beest, Guido Governatori, Francesco Olivieri
2021 C conf
Text Analytics Can Predict Contract Fairness, Transparency and Applicability.
WEBIST
Nicola Assolini, Adelaide Baronchelli, Matteo Cristani, Luca Pasetto, Francesco Olivieri, Roberto Ricciuti, Claudio Tomazzoli
2021 C conf
Unravel legal references in defeasible deontic logic.
ICAIL
Guido Governatori, Francesco Olivieri
2020 — conf
A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms.
CLAR
Kees van Berkel, Tim S. Lyon, Francesco Olivieri
2020 — conf
An Ontology of Changes in Normative Systems from an Agentive Viewpoint.
PAAMS (Workshops)
Matteo Cristani, Claudio Tomazzoli, Francesco Olivieri, Luca Pasetto
2019 — conf
A Methodology for Encoding Regulatory Rules.
MIREL@JURIX
Hanif Bhuiyan, Francesco Olivieri, Guido Governatori, Mohammad Badiul Islam, Andy Bond, Andry Rakotonirainy
2019 B conf
Advancements in Resource-Driven Substructural Defeasible Logic.
JELIA
Francesco Olivieri, Guido Governatori, Matteo Cristani
2019 — conf
Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes.
DICE-FOPARA@ETAPS
Francesco Olivieri, Guido Governatori, Claudio Tomazzoli, Matteo Cristani
2019 — conf
Automatic Extraction of Legal Norms: Evaluation of Natural Language Processing Tools.
JSAI-isAI Workshops
Gabriela Ferraro, Ho-Pun Lam, Silvano Colombo Tosatto, Francesco Olivieri, Mohammad Badiul Islam, Nick van Beest, Guido Governatori
2019 J jnl
Diagnostics as a Reasoning Process: From Logic Structure to Software Design.
J. Comput. Inf. Technol.
Matteo Cristani, Francesco Olivieri, Claudio Tomazzoli, Luca Viganò, Margherita Zorzi
2019 J jnl
Efficient Full Compliance Checking of Concurrent Components for business Process Models.
FLAP
Silvano Colombo Tosatto, Guido Governatori, Nick van Beest, Francesco Olivieri
2019 B conf
Non-monotonic Collective Decisions.
PRIMA
Matteo Cristani, Francesco Olivieri, Guido Governatori
2019 J jnl
Revision of defeasible preferences.
Int. J. Approx. Reason.
Guido Governatori, Francesco Olivieri, Matteo Cristani, Simone Scannapieco
2019 — conf
Social Networks as Communication Channels: A Logical Approach.
ICWE Workshops
Matteo Cristani, Francesco Olivieri, Katia Santacà
2019 — conf
Web Literature, Authorship Attribution and Editorial Workflow Ontologies.
KES-AMSTA
Matteo Cristani, Francesco Olivieri, Claudio Tomazzoli, Margherita Zorzi
2018 — conf
Automatic Detection of Device Types by Consumption Curve.
KES-AMSTA
Claudio Tomazzoli, Matteo Cristani, Simone Scannapieco, Francesco Olivieri
2018 — conf
Dialogues on Moral Theories.
DEON
Guido Governatori, Francesco Olivieri, Régis Riveret, Antonino Rotolo, Serena Villata
2018 B conf
It could rain: weather forecasting as a reasoning process.
KES
Matteo Cristani, Francesco Domenichini, Francesco Olivieri, Claudio Tomazzoli, Margherita Zorzi
2018 B conf
Resource-Driven Substructural Defeasible Logic.
PRIMA
Francesco Olivieri, Guido Governatori, Matteo Cristani, Nick van Beest, Silvano Colombo Tosatto
2018 J jnl
Resource-driven Substructural Defeasible Logic.
CoRR
Francesco Olivieri, Guido Governatori, Matteo Cristani, Nick van Beest, Silvano Colombo Tosatto
2018 — conf
Sending Messages in Social Networks.
KES-AMSTA
Matteo Cristani, Francesco Olivieri, Claudio Tomazzoli, Guido Governatori
2018 — conf
Towards a Logical Framework for Diagnostic Reasoning.
KES-AMSTA
Matteo Cristani, Francesco Olivieri, Claudio Tomazzoli, Margherita Zorzi
2017 C conf
Changes to temporary norms.
ICAIL
Matteo Cristani, Francesco Olivieri, Antonino Rotolo
2017 — conf
Declarative Approaches for Compliance by Design.
ASSRI
Francesco Olivieri, Guido Governatori, Nick van Beest, Nina Ghanbari Ghooshchi
2017 J jnl
Non-monotonic reasoning rules for energy efficiency.
J. Ambient Intell. Smart Environ.
Claudio Tomazzoli, Matteo Cristani, Erisa Karafili, Francesco Olivieri
2017 — conf
Viral Experiments.
KDWeb
Matteo Cristani, Francesco Olivieri, Claudio Tomazzoli
2017 B conf
Visualisation of Compliant Declarative Business Processes.
EDOC
Nina Ghanbari Ghooshchi, Nick van Beest, Guido Governatori, Francesco Olivieri, Abdul Sattar
2016 — conf
Automatic Synthesis of Best Practices for Energy Consumptions.
IMIS
Matteo Cristani, Francesco Olivieri, Claudio Tomazzoli
2016 B conf
Defeasible Reasoning about Electric Consumptions.
AINA
Matteo Cristani, Claudio Tomazzoli, Erisa Karafili, Francesco Olivieri
2016 — conf
Semantic Social Network Analysis Foresees Message Flows.
ICAART (1)
Matteo Cristani, Claudio Tomazzoli, Francesco Olivieri
2016 B conf
Sequence Semantics for Normative Agents.
PRIMA
Guido Governatori, Francesco Olivieri, Erica Calardo, Antonino Rotolo, Matteo Cristani
2016 — conf
Sequence Semantics for Norms and Obligations.
DEON
Guido Governatori, Francesco Olivieri, Erica Calardo, Antonino Rotolo
2016 J jnl
The rationale behind the concept of goal.
Theory Pract. Log. Program.
Guido Governatori, Francesco Olivieri, Simone Scannapieco, Antonino Rotolo, Matteo Cristani
2015 B conf
Compliant Business Processes with Exclusive Choices from Agent Specification.
PRIMA
Francesco Olivieri, Matteo Cristani, Guido Governatori
2015 C conf
Proceedings in Adaptation, Learning and Optimization.
IES
Matteo Cristani, Francesco Olivieri, Katia Santacà
2015 J jnl
The Rationale behind the Concept of Goal.
CoRR
Guido Governatori, Francesco Olivieri, Simone Scannapieco, Antonino Rotolo, Matteo Cristani
2014 C conf
Strategic Argumentation Under Grounded Semantics is NP-Complete.
EUMAS
Guido Governatori, Michael J. Maher, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco
2014 A conf
Strategic Argumentation is NP-Complete.
ECAI
Guido Governatori, Francesco Olivieri, Simone Scannapieco, Antonino Rotolo, Matteo Cristani
2014 — conf
The Hardness of Revising Defeasible Preferences.
RuleML
Guido Governatori, Francesco Olivieri, Simone Scannapieco, Matteo Cristani
2014 C conf
Two Faces of Strategic Argumentation in the Law.
JURIX
Guido Governatori, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco, Giovanni Sartor
2013 B conf
A Methodology for Plan Revision under Norm and Outcome Compliance.
PRIMA
Simone Scannapieco, Guido Governatori, Francesco Olivieri, Matteo Cristani
2013 B conf
Compliant Business Process Design by Declarative Specifications.
PRIMA
Francesco Olivieri, Guido Governatori, Simone Scannapieco, Matteo Cristani
2013 J jnl
Computing Strong and Weak Permissions in Defeasible Logic.
J. Philos. Log.
Guido Governatori, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco
2013 C conf
Legal contractions: a logical analysis.
ICAIL
Guido Governatori, Antonino Rotolo, Francesco Olivieri, Simone Scannapieco
2013 — conf
Picking Up the Best Goal - An Analytical Study in Defeasible Logic.
RuleML
Guido Governatori, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco, Matteo Cristani
2013 J jnl
Strategic Argumentation is NP-Complete.
CoRR
Guido Governatori, Francesco Olivieri, Simone Scannapieco, Antonino Rotolo, Matteo Cristani
2012 J jnl
Computing Strong and Weak Permissions in Defeasible Logic
CoRR
Guido Governatori, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco
2012 C conf
Narrowing Legal Concepts.
JURIX
Guido Governatori, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco
2012 J jnl
Revision of Defeasible Logic Preferences
CoRR
Guido Governatori, Francesco Olivieri, Simone Scannapieco, Matteo Cristani
2011 — conf
Designing for Compliance: Norms and Goals.
RuleML America
Guido Governatori, Francesco Olivieri, Simone Scannapieco, Matteo Cristani
2011 C conf
Three Concepts of Defeasible Permission.
JURIX
Guido Governatori, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco
2010 — conf
Superiority Based Revision of Defeasible Theories.
RuleML
Guido Governatori, Francesco Olivieri, Simone Scannapieco, Matteo Cristani
2009 — conf
A Hybrid Agent Architecture for Situated Agents Based Virtual Environments.
WOA
Giuseppe Vizzari, Francesco Olivieri
2009 — conf
Towards Hybrid Situated Agents Based Virtual Environments.
Web Intelligence/IAT Workshops
Giuseppe Vizzari, Francesco Olivieri