49:35

[ProLaLa'23] Academic keynote : A Logician and Lawyer walk into a Classroom

ACM SIGPLAN

22:36

[ProLaLa'23] Formal Modeling and Analysis of Legal Contracts using ContractCheck

ACM SIGPLAN

9:09

[ProLaLa'23] What do Relational Properties Have to Say About Legal Expert Systems ?

ACM SIGPLAN

23:53

[ProLaLa'23] Building Information Modeling Using Constraint Logic Programming (Extended Ab...

ACM SIGPLAN

10:59

[ProLaLa'23] Exploring Consequences of Privacy Policies with Narrative Generation via Answ...

ACM SIGPLAN

28:08

[ProLaLa'23] The Structure and Legal Interpretation of Computer Programs

ACM SIGPLAN

8:50

[ProLaLa'23] Deontic Paradoxes in Library Lending Regulations: A Case Study in Flint

ACM SIGPLAN

8:57

[ProLaLa'23] Defeasible Semantics for L4

ACM SIGPLAN

27:36

[ProLaLa'23] Experience report: implementing a real-world, medium-sized program derived fr...

ACM SIGPLAN

20:55

[ProLaLa'23] Legal Contracts Amending in Stipula

ACM SIGPLAN

21:54

[ProLaLa'23] Towards an Automatic Consolidation of French Law

ACM SIGPLAN

12:55

[ProLaLa'23] DCR Graphs as Co-created Executable Models of the Law

ACM SIGPLAN

13:47

[ProLaLa'23] Visual Propositional Logic With yscript

ACM SIGPLAN

41:46

[ProLaLa'23] Research keynote

ACM SIGPLAN

21:20

[ProLaLa'23] Designing an experiment for comparing user interfaces for legal formalization

ACM SIGPLAN

12:42

[ProLaLa'23] Blawx: User-friendly Goal-Directed Answer Set Programming for Rules as Code

ACM SIGPLAN

20:14

[ProLaLa'23] Formalising Criminal Law in Catala

ACM SIGPLAN