Alessio LomuscioBooksKnowledge sharing among ideal agentsModel Checking and Artificial IntelligenceService-Oriented Computing--ICSOC 2013 WorkshopsDeontic Logic in Computer ScienceAuthor data: Open Library