| 2013 | A deontic logic semantics for licenses composition in the web of data. | Antonino Rotolo, Serena Villata, Fabien Gandon |
| 2013 | Intelligent trademark analysis: experiments in large-scale evaluation of real-world legal AI. | Anna Ronkainen |
| 2013 | Vicarious reinforcement and ex ante law enforcement: a study in norm-governed learning agents. | Rgis Riveret, Giuseppe Contissa, Ddac Busquets, Antonino Rotolo, Jeremy Pitt, Giovanni Sartor |
| 2013 | Synthesising implicit contracts. | Gordon J. Pace, Fernando Schapachnik |
| 2013 | A model for automated rating of case law. | Marc van Opijnen |
| 2013 | A relational approach for information retrieval on XML legal sources. | Nada Mimouni, Meritxell Fernndez, Adeline Nazarenko, Danile Bourcier, Sylvie Salotti |
| 2013 | Legal documents categorization by compression. | Antonio Mastropaolo, Francesco Pallante, Daniele Paolo Radicioni |
| 2013 | Vagueness in law: a stimulus for 'artificial intelligence & law'. | Doris Liebwald |
| 2013 | A model-based approach to the automatic revision of secondary legislation. | Tingting Li, Tina Balke, Marina De Vos, Julian A. Padget, Ken Satoh |
| 2013 | On balance. | Marc Lauritsen |
| 2013 | A discussion training support system and its evaluation. | Shumpei Kubosawa, Kei Nishina, Masaki Sugimoto, Shogo Okada, Katsumi Nitta |
| 2013 | Computer assisted extraction, merging and correlation of identities with tracks inspector. | Jop Hofste, Hans Henseler, Maurice van Keulen |
| 2013 | Using event progression to enhance purposive argumentation in the value judgment formalism. | Matthias Grabmair, Kevin D. Ashley |
| 2013 | Regorous: a business process compliance checker. | Guido Governatori, Sidney Shek |
| 2013 | Legal contractions: a logical analysis. | Guido Governatori, Antonino Rotolo, Francesco Olivieri, Simone Scannapieco |
| 2013 | Introducing the Carneades web application. | Thomas F. Gordon |
| 2013 | Temporal deontic action logic for the verification of compliance to norms in ASP. | Laura Giordano, Alberto Martelli, Daniele Theseider Dupr |
| 2013 | Modificatory provisions detection: a hybrid NLP approach. | Davide Gianfelice, Leonardo Lesmo, Monica Palmirani, Daniele Perlo, Daniele Paolo Radicioni |
| 2013 | Hammurabi, the legal expert assistant platform for the French judge: how to deliver up to date knowledge of national and European laws and regulations in front of rapid expansion of legal information and decisions, with an automated software assistant. | Luc Ferrand, Isabelle Pesquie-Geday |
| 2013 | A well-founded ontological framework for modeling personal income tax. | Isabella Distinto, Nicola Guarino, Claudio Masolo |
| 2013 | Software tools for the visualization of definition networks in legal contracts. | Michael Curtotti, Eric McCreath, Srinivas Sridharan |
| 2013 | The significance of evaluation in AI and law: a case study re-examining ICAIL proceedings. | Jack G. Conrad, John Zeleznikow |
| 2013 | Semi-automatic creation of Wigmore Diagrams. | Michal Chalamish, Moshe Hazoom, Uri J. Schild |
| 2013 | Managing legal interpretation in regulatory compliance. | Guido Boella, Marijn Janssen, Joris Hulstijn, Llio Humphreys, Leendert W. N. van der Torre |
| 2013 | A system for classifying multi-label text into EuroVoc. | Guido Boella, Luigi Di Caro, Daniele Rispoli, Livio Robaldo |