A rewriting framework for activities subject to regulations

DOI10.4230/LIPICS.RTA.2012.305zbMATH Open1437.68082MaRDI QIDQ5111913FDOQ5111913

Carolyn Talcott, Vivek Nigam, Tajana Ban Kirigin, Max Kanovich, Ranko Perovic, Andre Scedrov

Publication date: 27 May 2020

Recommendations

• A rewriting framework and logic for activities subject to regulations
• Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking
• scientific article; zbMATH DE number 1301603
• Computational complexity of compliance and conformance: drawing a line between theory and practice
• Algorithms for tractable compliance problems

zbMATH Keywords

Maudecollaborative systemsapplications of rewrite systemsclinical investigationsmultiset rewrite systems

Mathematics Subject Classification ID

Medical applications (general) (92C50) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Analysis of algorithms and problem complexity (68Q25) Grammars and rewriting systems (68Q42)

Cited In (4)

• Title not available (Why is that?)
• A framework for linear authorization logics
• On the complexity of verification of time-sensitive distributed systems
• Two Decades of Maude

This page was built for publication: A rewriting framework for activities subject to regulations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5111913)