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
