CLAN
From MaRDI portal
Software:12898
No author found.
Related Items (7)
Modelling and analysis of normative documents ⋮ Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects ⋮ A framework for conflict analysis of normative texts written in controlled natural language ⋮ A dynamic deontic logic for complex contracts ⋮ A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence ⋮ Passage retrieval in legal texts ⋮ Automatic Conflict Detection on Contracts
This page was built for software: CLAN
