(Stanford Logic Group Definition):
The study of formal representations and automated reasoning with laws (governmental regulations, business rules, and contracts) in electronically-mediated domains.
A.J. Bonner, M. Kifer: Concurrency and communication in transaction logic. Joint International Conference and Symposium on Logic Programming, 1996;
H. Davulcu, M. Kifer, C.R. Ramakrishnan, I.V. Ramakrishnan: Logic based modeling and analysis of workflows. ACM Symposium on Principles of Database Systems, 1998;
P. Senkul, M. Kifer, I.H. Toroslu: A logical framework for scheduling workflows under resource allocation constraints. VLDB 2002;
H. Davulcu, M. Kifer, I.V. Ramakrishnan: CTR-S: A logic for specifying contracts in semantic web services. WWW2004.