Yazar: Ron van der Meyden

This volume presents the papers contributed to ?EON 2008, the 9th Inter- tional Conference on Deontic Logic in Computer Science, held in Luxembourg, July 16–18, 2008. This biennial conference series …

In this era of heterogeneous and distributed data sources, ranging from semistructured documents to knowledge about coordination processes or workflows, logic provides a rich set of tools and techniq …

This book presents revised versions of selected papers from the 6th Workshop on Model Checking and Artificial Intelligence, Mo Ch Art 2010, held in Atlanta, GA, USA in July 2010, as well as papers co …