Proceedings 39th International Conference on Logic Programming

Article Properties
Journal Category
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Refrences
Title Journal Journal Categories Citations Publication Date
User-Guided Machine Understanding of Legal Documents 2021
User-Defined Smart Contracts Using Answer Set Programming 2021
On the Formal Representation of the Australian Spent Conviction Scheme 2020
Legal Representation and Reasoning in Practice: A Critical Comparison 2018
Logical English meets legal English for swaps and derivatives

Artificial Intelligence and Law
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Law
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
7 2022