This volume, the 6th volume in the DRUMS Handbook series, is part of the after- math of the succe...
This volume, the 7th volume in the DRUMS Handbook series, is part of the aftermath of the success...
This volume presents the papers contributed to DEON 2006, the 8th Inter- tional Workshop on Deont...
This volume, the 6th volume in the DRUMS Handbook series, is part of the after math of the succes...
This volume, the 7th volume in the DRUMS Handbook series, is part of the aftermath of the success...
Epistemic logic has grown from its philosophical beginnings to find diverse applications in compu...
This volume, the 6th volume in the DRUMS Handbook series, is part of the after math of the succes...
This volume, the 7th volume in the DRUMS Handbook series, is part of the aftermath of the success...
In recent years, concepts in object-oriented modeling and programming have been extended in sever...
This volume presents the papers contributed to DEON 2006, the 8th Inter- tional Workshop on Deont...