CLAN

CLAN: A tool for contract analysis and conflict discovery.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 8 articles )

Showing results 1 to 8 of 8.
Sorted by year (citations)

  1. Camilleri, John J.; Schneider, Gerardo: Modelling and analysis of normative documents (2017)
  2. Angelov, Krasimir; Camilleri, John J.; Schneider, Gerardo: A framework for conflict analysis of normative texts written in controlled natural language (2013)
  3. Prisacariu, Cristian; Schneider, Gerardo: A dynamic deontic logic for complex contracts (2012)
  4. Delahaye, Benoît; Caillaud, Benoît; Legay, Axel: Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects (2011)
  5. Mazza, Eduardo; Potet, Marie-Laure; Le Métayer, Daniel: A formal framework for specifying and analyzing logs as electronic evidence (2011)
  6. Rosso, Paolo; Correa, Santiago; Buscaldi, Davide: Passage retrieval in legal texts (2011)
  7. Fenech, Stephen; Pace, Gordon J.; Schneider, Gerardo: Automatic conflict detection on contracts (2009)
  8. Fenech, Stephen; Pace, Gordon J.; Schneider, Gerardo: CLAN: a tool for contract analysis and conflict discovery (2009) ioport