Switch to: References

Add citations

You must login to add citations.
  1. Encoding legislation: a methodology for enhancing technical validation, legal alignment and interdisciplinarity.Alice Witt, Anna Huggins, Guido Governatori & Joshua Buckley - forthcoming - Artificial Intelligence and Law:1-32.
    This article proposes an innovative methodology for enhancing the technical validation, legal alignment and interdisciplinarity of attempts to encode legislation. In the context of an experiment that examines how different legally trained participants convert select provisions of the Australian Copyright Act 1968 (Cth) into machine-executable code, we find that a combination of manual and automated methods for coding validation, which focus on formal adherence to programming languages and conventions, can significantly increase the similarity of encoded rules between coders. Participants nonetheless (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Thirty years of Artificial Intelligence and Law: the first decade. [REVIEW]Guido Governatori, Trevor Bench-Capon, Bart Verheij, Michał Araszkiewicz, Enrico Francesconi & Matthias Grabmair - 2022 - Artificial Intelligence and Law 30 (4):481-519.
    The first issue of _Artificial Intelligence and Law_ journal was published in 1992. This paper provides commentaries on landmark papers from the first decade of that journal. The topics discussed include reasoning with cases, argumentation, normative reasoning, dialogue, representing legal knowledge and neural networks.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Patterns for legal compliance checking in a decidable framework of linked open data.Enrico Francesconi & Guido Governatori - 2022 - Artificial Intelligence and Law 31 (3):445-464.
    This paper presents an approach for legal compliance checking in the Semantic Web which can be effectively applied for applications in the Linked Open Data environment. It is based on modeling deontic norms in terms of ontology classes and ontology property restrictions. It is also shown how this approach can handle norm defeasibility. Such methodology is implemented by decidable fragments of OWL 2, while legal reasoning is carried out by available decidable reasoners. The approach is generalised by presenting patterns for (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Paracoherent answer set computation.Giovanni Amendola, Carmine Dodaro, Wolfgang Faber & Francesco Ricca - 2021 - Artificial Intelligence 299 (C):103519.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation