Francesco Olivieri

Tewabe Chekole Workneh

Luca Pasetto

Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022

Houdini (unchained): An Effective Reasoner for Defeasible Logic.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Advances in Argumentation in Artificial Intelligence 2022 co-located with the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), 2022

2021

Synthesis of Regulation Compliant Business Processes.

[BibT_eX]

[DOI]

Nina Ghanbari Ghooshchi

IEEE Trans. Serv. Comput., 2021

Strategic Argumentation.

[BibT_eX]

[DOI]

Michael J. Maher

FLAP, 2021

Text Analytics Can Predict Contract Fairness, Transparency and Applicability.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Web Information Systems and Technologies, 2021

Revising Ethical Principles and Norms in Hybrid Societies: Basic Principles and Issues.

[BibT_eX]

[DOI]

Luca Pasetto

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

Computing Private International Law.

[BibT_eX]

[DOI]

Proceedings of the Legal Knowledge and Information Systems, 2021

Computing Defeasible Meta-logic.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

Unravel legal references in defeasible deontic logic.

[BibT_eX]

[DOI]

Proceedings of the ICAIL '21: Eighteenth International Conference for Artificial Intelligence and Law, São Paulo Brazil, June 21, 2021

2020

An Ontology of Changes in Normative Systems from an Agentive Viewpoint.

[BibT_eX]

[DOI]

Proceedings of the Highlights in Practical Applications of Agents, Multi-Agent Systems, and Trust-worthiness. The PAAMS Collection, 2020

A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms.

[BibT_eX]

[DOI]

Kees van Berkel

Tim Lyon

Proceedings of the Logic and Argumentation - Third International Conference, 2020

2019

Revision of defeasible preferences.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2019

Efficient Full Compliance Checking of Concurrent Components for business Process Models.

[BibT_eX]

[DOI]

Silvano Colombo Tosatto

FLAP, 2019

Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Third Joint Workshop on Developments in Implicit Computational complExity and Foundational & Practical Aspects of Resource Analysis, 2019

Diagnostics as a Reasoning Process: From Logic Structure to Software Design.

[BibT_eX]

[DOI]

J. Comput. Inf. Technol., 2019

Non-monotonic Collective Decisions.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019

Web Literature, Authorship Attribution and Editorial Workflow Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Agents and Multi-agent Systems: Technologies and Applications 2019, 2019

A Methodology for Encoding Regulatory Rules.

[BibT_eX]

[DOI]

Hanif Bhuiyan

Mohammad Badiul Islam

Andy Bond

Andry Rakotonirainy

Proceedings of the 4th International Workshop on MIning and REasoning with Legal texts co-located with the 32nd International Conference on Legal Knowledge and Information Systems (JURIX 2019), 2019

Automatic Extraction of Legal Norms: Evaluation of Natural Language Processing Tools.

[BibT_eX]

[DOI]

Gabriela Ferraro

Ho-Pun Lam

Silvano Colombo Tosatto

Mohammad Badiul Islam

Proceedings of the New Frontiers in Artificial Intelligence, 2019

Advancements in Resource-Driven Substructural Defeasible Logic.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Social Networks as Communication Channels: A Logical Approach.

[BibT_eX]

[DOI]

Katia Santacà

Proceedings of the Current Trends in Web Engineering, 2019

2018

Resource-Driven Substructural Defeasible Logic.

[BibT_eX]

[DOI]

Silvano Colombo Tosatto

Proceedings of the PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29, 2018

Automatic Detection of Device Types by Consumption Curve.

[BibT_eX]

[DOI]

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

Towards a Logical Framework for Diagnostic Reasoning.

[BibT_eX]

[DOI]

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

Sending Messages in Social Networks.

[BibT_eX]

[DOI]

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

It could rain: weather forecasting as a reasoning process.

[BibT_eX]

[DOI]

Francesco Domenichini

Margherita Zorzi

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 22nd International Conference KES-2018, 2018

Dialogues on Moral Theories.

[BibT_eX]

Proceedings of the Deontic Logic and Normative Systems - 14th International Conference, 2018

2017

Non-monotonic reasoning rules for energy efficiency.

[BibT_eX]

[DOI]

J. Ambient Intell. Smart Environ., 2017

Viral Experiments.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Knowledge Discovery on the WEB, 2017

Changes to temporary norms.

[BibT_eX]

[DOI]

Antonino Rotolo

Proceedings of the 16th edition of the International Conference on Artificial Intelligence and Law, 2017

Visualisation of Compliant Declarative Business Processes.

[BibT_eX]

[DOI]

Nina Ghanbari Ghooshchi

Proceedings of the 21st IEEE International Enterprise Distributed Object Computing Conference, 2017

Declarative Approaches for Compliance by Design.

[BibT_eX]

[DOI]

Nina Ghanbari Ghooshchi

Proceedings of the Service Research and Innovation - 5th and 6th Australasian Symposium, 2017

2016

The rationale behind the concept of goal.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2016

Sequence Semantics for Normative Agents.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2016: Princiles and Practice of Multi-Agent Systems, 2016

Automatic Synthesis of Best Practices for Energy Consumptions.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, 2016

Semantic Social Network Analysis Foresees Message Flows.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), 2016

Sequence Semantics for Norms and Obligations.

[BibT_eX]

Proceedings of the Deontic Logic and Normative Systems - 13th International Conference, 2016

Defeasible Reasoning about Electric Consumptions.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications, 2016

2015

Compliant Business Processes with Exclusive Choices from Agent Specification.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015

Proceedings in Adaptation, Learning and Optimization.

[BibT_eX]

[DOI]

Katia Santacà

Proceedings of the Intelligent and Evolutionary Systems - The 19th Asia Pacific Symposium, 2015

2014

The Hardness of Revising Defeasible Preferences.

[BibT_eX]

[DOI]

Proceedings of the Rules on the Web. From Theory to Applications, 2014

Two Faces of Strategic Argumentation in the Law.

[BibT_eX]

[DOI]

Proceedings of the Legal Knowledge and Information Systems, 2014

Strategic Argumentation Under Grounded Semantics is NP-Complete.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems - 12th European Conference, 2014

Strategic Argumentation is NP-Complete.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013

Computing Strong and Weak Permissions in Defeasible Logic.

[BibT_eX]

[DOI]

J. Philos. Log., 2013

Picking Up the Best Goal - An Analytical Study in Defeasible Logic.

[BibT_eX]

[DOI]

Proceedings of the Theory, Practice, and Applications of Rules on the Web, 2013

A Methodology for Plan Revision under Norm and Outcome Compliance.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2013: Principles and Practice of Multi-Agent Systems, 2013

Compliant Business Process Design by Declarative Specifications.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2013: Principles and Practice of Multi-Agent Systems, 2013

Legal contractions: a logical analysis.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Artificial Intelligence and Law, 2013

2012

Revision of Defeasible Logic Preferences

[BibT_eX]

[DOI]

CoRR, 2012

Narrowing Legal Concepts.

[BibT_eX]

[DOI]

Proceedings of the Legal Knowledge and Information Systems, 2012

2011

Designing for Compliance: Norms and Goals.

[BibT_eX]

[DOI]

Proceedings of the Rule-Based Modeling and Computing on the Semantic Web, 2011

Three Concepts of Defeasible Permission.

[BibT_eX]

[DOI]

Proceedings of the Legal Knowledge and Information Systems, 2011

2010

Superiority Based Revision of Defeasible Theories.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web Rules - International Symposium, 2010

2009

A Hybrid Agent Architecture for Situated Agents Based Virtual Environments.

[BibT_eX]

Giuseppe Vizzari

Proceedings of the 10th Workshop "From Objects to Agents", Parma, Italy, July 9-10, 2009, 2009

Towards Hybrid Situated Agents Based Virtual Environments.

[BibT_eX]

[DOI]

Giuseppe Vizzari