25 citations
- European Organization for Nuclear ResearchCH2 papers
- Argonne National LaboratoryUS1 paper
- Bibliothèque Nationale de FranceFR1 paper
- Brock UniversityCA1 paper
- Centre d'études et de recherche en informatique et communicationsFR1 paper
- High Energy Accelerator Research OrganizationJP1 paper
- Institut de Recherche en Informatique et Systèmes AléatoiresFR1 paper
- Institut de Recherche en MusicologieFR1 paper
- University of AlbertaCA1 paper
- University of VictoriaCA1 paper
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2023
Proceedings of the International Workshop on Methodologies for Translating Legal Norms into Formal Representations (LN2FR 2022) in association with 35th International Conference on Legal Knowledge and Information Systems (JURIX 2022)
Georg Borges, Ken Satoh, Erich Schweighofer
This volume contains the papers presented at LN2FR 2022: The International Workshop on Methodologies for Translating Legal Norms into Formal Representations, held on December 14, 2…
cs.LO2010
Proceedings of the 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009)
Rafael Caballero, John Gallagher
This volume contains the papers presented at the 19th Workshop on Logic- based methods in Programming Environments (WLPE'09), which was held in Pasadena, USA, on July 14th, 2009. W…