The following pages link to CLAN (Q12898):
Displayed 7 items.
- A dynamic deontic logic for complex contracts (Q444496) (← links)
- Passage retrieval in legal texts (Q541290) (← links)
- Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects (Q633299) (← links)
- Modelling and analysis of normative documents (Q2401019) (← links)
- A framework for conflict analysis of normative texts written in controlled natural language (Q2436456) (← links)
- A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence (Q2999322) (← links)
- Automatic Conflict Detection on Contracts (Q3393409) (← links)