Automatic Conflict Detection on Contracts

DOI10.1007/978-3-642-03466-4_13zbMath1250.03049OpenAlexW1496626515MaRDI QIDQ3393409

Stephen Fenech, Gordon J. Pace, Gerardo Schneider

Publication date: 20 August 2009

Published in: Theoretical Aspects of Computing - ICTAC 2009 (Search for Journal in Brave)

Full work available at URL: https://www.um.edu.mt/library/oar//handle/123456789/22729

zbMATH Keywords

deontic logicconflict analysisdeontic trace semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Case-oriented studies in operations research (90B90) Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (8)

Modelling and analysis of normative documents ⋮ Unnamed Item ⋮ Is this a violation? Learning and understanding norm violations in online communities ⋮ 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 ⋮ Passage retrieval in legal texts ⋮ Challenges in the Specification of Full Contracts

Uses Software

• CLAN

This page was built for publication: Automatic Conflict Detection on Contracts