Antonino Rotolo

Ho-Pun Lam

Ghislain Auguste Atemezing

Serena Villata

Fabien Gandon

Proceedings of the ISWC 2014 Posters & Demonstrations Track a track within the 13th International Semantic Web Conference, 2014

Licentia: a Tool for Supporting Users in Data Licensing on the Web of Data.

[BibT_eX]

[DOI]

Proceedings of the ISWC 2014 Posters & Demonstrations Track a track within the 13th International Semantic Web Conference, 2014

Legal Responsibility for the Acts of Others: A Logical Analysis.

[BibT_eX]

[DOI]

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

Argumentation Schemes for Statutory Interpretation: A Logical Analysis.

[BibT_eX]

[DOI]

Proceedings of the Legal Knowledge and Information Systems, 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

A Preference-Based Semantics for CTD Reasoning.

[BibT_eX]

[DOI]

Erica Calardo

Proceedings of the Deontic Logic and Normative Systems - 12th International Conference, 2014

2013

Computing Strong and Weak Permissions in Defeasible Logic.

[BibT_eX]

[DOI]

J. Philos. Log., 2013

One License to Compose Them All - A Deontic Logic Approach to Data Licensing on the Web of Data.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2013, 2013

Computing Temporal Defeasible Logic.

[BibT_eX]

[DOI]

Proceedings of the Theory, Practice, and Applications of Rules on the Web, 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

Reflex Responsibility of Agents.

[BibT_eX]

[DOI]

Proceedings of the Legal Knowledge and Information Systems, 2013

Heuristics for Licenses Composition.

[BibT_eX]

[DOI]

Proceedings of the Legal Knowledge and Information Systems, 2013

A deontic logic semantics for licenses composition in the web of data.

[BibT_eX]

[DOI]

Serena Villata

Fabien Gandon

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

Vicarious reinforcement and ex ante law enforcement: a study in norm-governed learning agents.

[BibT_eX]

[DOI]

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

Legal contractions: a logical analysis.

[BibT_eX]

[DOI]

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

Norms in MAS: Definitions and Related Concepts.

[BibT_eX]

[DOI]

Tina Balke

Célia da Costa Pereira

Frank Dignum

Emiliano Lorini

Wamberto Weber Vasconcelos

Serena Villata

Proceedings of the Normative Multi-Agent Systems, 2013

Law enforcement in norm-governed learning agents.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

2012

Probabilistic rule-based argumentation for norm-governed learning agents.

[BibT_eX]

[DOI]

Artif. Intell. Law, 2012

Narrowing Legal Concepts.

[BibT_eX]

[DOI]

Proceedings of the Legal Knowledge and Information Systems, 2012

A Study of Ex Ante Law Enforcement in Norm-Governed Learning Agents.

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Artificial Intelligence, 2012

Norms and Learning in Probabilistic Logic-Based Agents.

[BibT_eX]

[DOI]

Proceedings of the Deontic Logic in Computer Science - 11th International Conference, 2012

Possible World Semantics for Defeasible Deontic Logic.

[BibT_eX]

[DOI]

Erica Calardo

Proceedings of the Deontic Logic in Computer Science - 11th International Conference, 2012

2011

Time and defeasibility in FIPA ACL semantics.

[BibT_eX]

[DOI]

J. Appl. Log., 2011

Rules, Agents and Norms: Guidelines for Rule-Based Normative Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011

Rule-Based Agents, Compliance, and Intention Reconsideration in Defeasible Logic.

[BibT_eX]

[DOI]

Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011

LegalRuleML: XML-Based Rules and Norms.

[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

Norm Compliance of Rule-Based Cognitive Agents.

[BibT_eX]

[DOI]

Wamberto Weber Vasconcelos

Proceedings of the IJCAI 2011, 2011

Temporal accommodation of legal argumentation.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Artificial Intelligence and Law, 2011

Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance.

[BibT_eX]

[DOI]

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

Combinations of Normal and Non-normal Modal Logics for Modeling Collective Trust in Normative MAS.

[BibT_eX]

[DOI]

Diego Agustín Ambrossio

Leandro Mendoza

Proceedings of the AI Approaches to the Complexity of Legal Systems. Models and Ethical Challenges for Legal Systems, Legal Language and Legal Ontologies, Argumentation and Software Agents, 2011

2010

Collective trust and normative agents.

[BibT_eX]

[DOI]

Log. J. IGPL, 2010

Changing legal systems: legal abrogations and annulments in Defeasible Logic.

[BibT_eX]

[DOI]

Log. J. IGPL, 2010

Norm Compliance in Business Process Modeling.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web Rules - International Symposium, 2010

A Logical Understanding of Legal Interpretation.

[BibT_eX]

[DOI]

Guido Boella

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Representations of Time within Normative MAS.

[BibT_eX]

[DOI]

Proceedings of the Legal Knowledge and Information Systems, 2010

Retroactive Legal Changes and Revision Theory in Defeasible Logic.

[BibT_eX]

[DOI]

Proceedings of the Deontic Logic in Computer Science, 10th International Conference, 2010

A conceptually rich model of business process compliance.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modelling 2010, 2010

2009

Good faith in contract negotiation and performance.

[BibT_eX]

[DOI]

Int. J. Bus. Process. Integr. Manag., 2009

A defeasible logic for modelling policy-based intentions and motivational attitudes.

[BibT_eX]

[DOI]

Log. J. IGPL, 2009

A Java Implementation of Temporal Defeasible Logic.

[BibT_eX]

[DOI]

Rossella Rubino

Proceedings of the Rule Interchange and Applications, International Symposium, 2009

Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain.

[BibT_eX]

[DOI]

Thomas F. Gordon

Proceedings of the Rule Interchange and Applications, International Symposium, 2009

Lex Minus Dixit Quam Voluit, Lex Magis Dixit Quam Voluit: A Formal Study on Legal Compliance and Interpretation.

[BibT_eX]

[DOI]

Guido Boella

Proceedings of the AI Approaches to the Complexity of Legal Systems. Complex Systems, the Semantic Web, Ontologies, Argumentation, and Dialogue, 2009

Implementing Temporal Defeasible Logic for Modeling Legal Reasoning.

[BibT_eX]

[DOI]

Rossella Rubino

Proceedings of the New Frontiers in Artificial Intelligence, 2009

Why lawyers are nice (or nasty): a game-theoretical argumentation exercise.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Artificial Intelligence and Law, 2009

How Do Agents Comply with Norms?

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2009

2008

Temporal Deontic Defeasible Logic: An Analytical Approach.

[BibT_eX]

[DOI]

Proceedings of the Computable Models of the Law, Languages, Dialogues, Games, Ontologies, 2008

A computational framework for institutional agency.

[BibT_eX]

[DOI]

Artif. Intell. Law, 2008

BIO logical agents: Norms, beliefs, intentions in defeasible logic.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2008

Changing Legal Systems: Abrogation and Annulment. Part II: Temporalised Defeasible Logic.

[BibT_eX]

Proceedings of the Third International Workshop on Normative Multiagent Systems, 2008

An Algorithm for Business Process Compliance.

[BibT_eX]

[DOI]

Proceedings of the Legal Knowledge and Information Systems, 2008

Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories.

[BibT_eX]

[DOI]

Proceedings of the Deontic Logic in Computer Science, 9th International Conference, 2008

Heuristics in Argumentation: A Game Theory Investigation.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument: Proceedings of COMMA 2008, 2008

2007

Contextual Agent Deliberation in Defeasible Logic.

[BibT_eX]

[DOI]

Proceedings of the Agent Computing and Multi-Agent Systems, 2007

Success chances in argument games: a probabilistic approach to legal disputes.

[BibT_eX]

[DOI]

Proceedings of the Legal Knowledge and Information Systems, 2007

On the Representation of Deadlines in a Rental Agreement.

[BibT_eX]

[DOI]

Proceedings of the Legal Knowledge and Information Systems, 2007

Strategic argumentation: a game theoretical investigation.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Conference on Artificial Intelligence and Law, 2007

Variants of temporal defeasible logics for modelling norm modifications.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Conference on Artificial Intelligence and Law, 2007

Interaction between Normative Systems and Cognitive agents in Temporal Modal Defeasible Logic.

[BibT_eX]

[DOI]

Proceedings of the Normative Multi-agent Systems, 18.03. - 23.03.2007, 2007

Characterising Deadlines in Temporal Modal Defeasible Logic.

[BibT_eX]

[DOI]

Proceedings of the AI 2007: Advances in Artificial Intelligence, 2007

Contextual deliberation of cognitive agents in defeasible logic.

[BibT_eX]

[DOI]

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

2006

Argumentation Semantics for Temporal Defeasible Logic.

[BibT_eX]

[DOI]

Proceedings of the STAIRS 2006, 2006

Rule-Based Agents in Temporalised Defeasible Logic.

[BibT_eX]

[DOI]

Vineet Padmanabhan

Proceedings of the PRICAI 2006: Trends in Artificial Intelligence, 2006

An OWL Ontology of Fundamental Legal Concepts.

[BibT_eX]

[DOI]

Rossella Rubino

Proceedings of the Legal Knowledge and Information Systems, 2006

The cost of social agents.

[BibT_eX]

[DOI]

Vineet Padmanabhan

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

Process modelling: the deontic way.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modelling 2006, 2006

2005

On the Axiomatisation of Elgesem's Logic of Agency and Ability.

[BibT_eX]

[DOI]

J. Philos. Log., 2005

Programming Cognitive Agents in Defeasible Logic.

[BibT_eX]

[DOI]

Mehdi Dastani

Proceedings of the Logic for Programming, 2005

Norm Modifications in Defeasible Logic.

[BibT_eX]

[DOI]

Proceedings of the Legal Knowledge and Information Systems, 2005

Temporalised Normative Positions in Defeasible Logic.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Conference on Artificial Intelligence and Law, 2005

Preferences of Agents in Defeasible Logic.

[BibT_eX]

[DOI]

Mehdi Dastani

Proceedings of the AI 2005: Advances in Artificial Intelligence, 2005

2004

Normative autonomy and normative co-ordination: Declarative power, representation, and mandate.

[BibT_eX]

[DOI]

Artif. Intell. Law, 2004

Defeasible Logic: Agency, Intention and Obligation.

[BibT_eX]

[DOI]

Proceedings of the Deontic Logic in Computer Science, 2004

A Model of Dynamic Resource Allocation in Workflow Systems.

[BibT_eX]

[DOI]

Shazia Wasim Sadiq

Proceedings of the Database Technologies 2004, 2004

2002

Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations.

[BibT_eX]

[DOI]

Alberto Artosi

J. Log. Comput., 2002

2000

A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations.

[BibT_eX]

[DOI]

Alberto Artosi