CLAN
From MaRDI portal
CLAN Q12898
Cited in
(9)- Modelling and analysis of normative documents
- A framework for conflict analysis of normative texts written in controlled natural language
- AnaCon
- A formal framework for specifying and analyzing logs as electronic evidence
- Automatic Conflict Detection on Contracts
- LegalRuleML
- A dynamic deontic logic for complex contracts
- Passage retrieval in legal texts
- Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects
This page was built for software: CLAN
