swMATH129MaRDI QIDQ12898FDOQ12898
Author name not available (Why is that?)
Official website: http://www.cs.um.edu.mt/svrg/Tools/CLTool/
Cited In (9)
- Automatic Conflict Detection on Contracts
- Passage retrieval in legal texts
- A dynamic deontic logic for complex contracts
- A formal framework for specifying and analyzing logs as electronic evidence
- AnaCon
- LegalRuleML
- Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects
- Modelling and analysis of normative documents
- A framework for conflict analysis of normative texts written in controlled natural language
This page was built for software: CLAN
