CLAN
From MaRDI portal
Software:12898
swMATH129MaRDI QIDQ12898FDOQ12898
Author name not available (Why is that?)
Cited In (7)
- Automatic Conflict Detection on Contracts
- Passage retrieval in legal texts
- A dynamic deontic logic for complex contracts
- Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects
- A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence
- 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
