AGGIORNAMENTO PUBBLICAZIONI 2008-2010

Guido Boella
Dipartimento di Informatica
Università di Torino

In questo elenco pubblicazioni si riporta una selezione annotata dei lavori di Guido Boella, con l’indicazione della relazione fra i diversi lavori, l’impact factor, la classificazione GRIN, l’accessibilità su siti, e il tasso di accettazione, quando tali dati siano disponibili.

Questo elenco non include gli articoli che presentano risultati già pubblicati in altre conferenze, articoli di conferenza pubblicati in versione estesa su rivista e articoli non sottoposti a revisione che sono invece presenti nella Sezione 9 del curriculum vitae.


INDICE


1. Pubblicazioni su rivista


2. Pubblicazioni su Electronic Notes in Theoretical Computer Science


3. Attività come editor (vedi Curriculum vitae)


4. Pubblicazioni su libri


5. Pubblicazioni su Lecture Notes in Computer Science


6. Pubblicazioni su Atti di Conferenze Internazionali


7. Selezione delle altre pubblicazioni

1  Pubblicazioni su rivista



[2010]

  1. G. Boella in collaborazione con Antonino Rotolo, Guido Governatori, Joris Hulstijn, Regis Riveret, and Leendert van der Torre. Time and Defeasibility in FIPA ACL Semantics. Journal of Applied Logic, Elsevier, in press.

    link


    [2009]

  2. G. Boella in collaborazione con S. Barker, D.M. Gabbay, e V. Genovese. A meta-model of access control in a fibred security language. Studia Logica, 92(3) pp. 437-477, 2009slc.

    La logica per access control definita il [2009slb] viene utilizzata come formalismo per un metamodello per linguaggi di access control che permette di modellare varie altre proposte, quali RBAC, DBAC, etc.
    GRIN C

    link

  3. G. Boella in collaborazione con D. Gabbay, V. Genovese, e L. W. N. van der Torre. Fibred security language. Studia Logica, 92(3) pp. 395-436, 2009slb.

    Viene definita la logica FSL basata sulla metodologia del fibring di logiche modali. La logica viene utilizzata per modellare politiche di access control distribuite basate sulla nozione di delega fornita dal costrutto says. Viene mostrato come, nonostante il maggiore potere espressivo - ad es., è possibile modellare gruppi di principals identificati da una formula di FSL stesso - la semantica rimane al prim’ordine.
    GRIN C

    link

  4. G. Boella in collaborazione con D. Gabbay, L. van der Torre, e S. Villata. Meta-Argumentation Modelling I: Methodology and Techniques. Studia Logica, 93, pp. 297-355, 2009sla.


    GRIN C

    link

  5. G. Boella in collaborazione con L. van der Torre, e S. Villata. Analyzing cooperation in iterative social network design. Journal of Universal Computer Science, 15(13), pp. 2676-2700, 2009.


    ISI 0.48 GRIN D

    link

  6. G. Boella in collaborazione con L. Sauro e L. van der Torre. Algorithms for Finding Coalitions Exploiting a New Reciprocity Condition Logic Journal of IGPL. Oxford University. 17(3), pp.273-297, 2009igpl.

    Versione estesa di [2006ecaia]
    ISI 0.337, GRIN C

    link


2  Attività come editor



[2010]

  1. G. Boella in collaborazione con G. Andrighetto, J. Sichman e H. Verhagen. Special Issue Social Networks and Multiagent Systems Symposium SNAMAS’09. Computational & Mathematical Organization Theory, Springer, accettato dall’editore.

    Special issue del workshop SNAMAS’09 tenutosi assieme a AISB’09 a Edimburgo


    [2009]

  2. G. Boella in collaborazione con G. Pigozzi, M. Singh e H. Verhagen. Special Issue on Normative Multiagent Systems. Journal of IGPL: Algorithms in Logic and Cognition, Oxford University, 2009.

    Doppio special issue del workshop NorMAS’08 tenutosi assieme a DEON’08 in Lussemburgo
    ISI 0.337, GRIN C

3  Pubblicazioni su libri



[2010]

  1. G. Boella, in collaborazione con G. Pigozzi, e L. van der Torre. Normative systems change. In A cura di D. Gabbay, J. Horty, R. van der Meyden, e L. van der Torre, Handbook on Logic of Normative Systems, Vol. 1, College Publications, in stampa.


    [2009]

  2. G. Boella. Affordance sociali e diritto. In R. Caterina, editor, La dimensione tacit del diritto, pp. 97-106. Edizioni Scientifiche Italiane, 2009.
  3. G. Boella in collaborazione con L. van der Torre. From the Theory of Mind to the Construction of Social Reality. In In a cura di M. Palmirani, A. Rotolo, R. Brighi e M. Martoni “I Fondamenti Cognitivi Per La Creazione Del Diritto" pp.33-48. Gedit Bologna. 2009cogn

    Versione estesa di 2005cogsci

4  Pubblicazioni su Lecture Notes in Computer Science



[2010]

  1. G. Boella in collaborazione con L. van der Torre e S. Villata. A Normative Multiagent Approach to Requirements Engineering. Procs. of Coordination, Organizations, Institutions and Norms in Multi-Agent Systems COIN’09 colocated with AAMAS’09, 2009.

    link

  2. G. Boella in collaborazione con L. van der Torre e S. Villata. Representing Coalitions Changes in Social Dependence Networks. Procs. of Coordination, Organizations, Institutions and Norms in Multi-Agent Systems COIN’09 colocated with MALLOW’09, 2009.

    link


    [2009]

  3. G. Boella in collaborazione con S. Kaci e L. van der Torre. Dynamics in Argumentation with Single Extensions: Abstraction Principles and the Grounded Extension. Procs. of Symbolic And Quantitative Approaches to Reasoning and Uncertainty Conference ECSQARU’09. pp.107-118. Springer LNCS 5590, 2009

    Versione estesa di 2009aamasc
    GRIN C

    link

  4. G. Boella in collaborazione con J. Broersen, L. van der Torre e S. Villata: Representing Excuses in Social Dependence Networks. AI*IA 2009: Emergent Perspectives in Artificial Intelligence, pp. 365-374 Springer LNCS 5883, 2009aiia.

    link

  5. G. Boella in collaborazione con M. Baldoni, V. Genovese, A. Mugnaini, R. Grenna e L. van der Torre. A Middleware for modeling Organizations and Roles in Jade. Procs. of Programming Multi-agent System PROMAS’09 workshop at AAMAS’09, Springer LNCS 2009promas.

    link

  6. G. Boella in collaborazione con M. Baldoni e L. van der Torre. The Interplay between Relationships, Roles and Objects. In Procs. of International Symposium on Fundamentals of Software Engineering FSEN 2009. Springer LNCS, 2009fsen.

    Versione estesa di [2007fsen].

  7. G. Boella in collaborazione con L. van der Torre e S. Villata: Social Viewpoints for Arguing about Coalitions. Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008. pp. 66-77. Springer LNCS 5357, 2008primaa.
  8. G. Boella in collaborazione con L. van der Torre e S. Villata. Changing Institutional Goals and Beliefs of Autonomous Agents. Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008. pp. 78-85. Springer LNCS 5357, 2008primab.
  9. G. Boella in collaborazione con J. Broersen, L. van der Torre: Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations. Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008. pp. 86-97. Springer LNCS 5357, 2009primac.


[2008]

  1. G. Boella in collaborazione con M. Baldoni, V. Genovese, R. Grenna, e L. van der Torre. How to Program Organizations and Roles in the JADE Framework. In Procs. of German Conference on Multi-Agent System Technologies MATES’08, LNCS Springer, in stampa, 2008mates.

    Il modello ontologico dei ruoli definito in ambito multiagente e applicato in ambito object oriented [2007jot] e multiagente con powerJava [2006promas,2005promas] viene trasferito nel framework per la creazione di sistemi multiagente JADE. JADE è esteso per mezzo di un insieme di protocolli e primitive in Java per la programmazione di organizzazioni e ruoli. Rispetto a powerJava il modello in JADE fornisce primitive per creare agenti autonomi piuttosto che oggetti manipolabili.

    link

5  Pubblicazioni su Atti di Conferenze Internazionali



[2010]


Short papers:

  1. G. Boella in collaborazione con A. Rotolo, G. Governatori e L. van der Torre. Lex minus quam voluit dixit, Lex magis quam voluit dixit. Procs. of 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR’10), 2010KR.


    [2009]

  2. G. Boella in collaborazione con G. Pigozzi e L. van der Torre. Normative Framework for Normative System Change. The Eighth International Conference on Autonomous Agents and Multiagent Systems. pp. 169-176. 2009aamasa

    In questo articolo viene analizzato il problema del cambiamento di norme - rappresentate da regole condizionali in input/output logic - comparandolo con i postulati AGM per il belief revision e mostrando come questi portino in alcuni casi a situazioni paradossali.
    GRIN A

    link


    Short papers:

  3. G. Boella in collaborazione con J. Hulstijn e L. van der Torre. Social Network Semantics for Agent Communication. The Eighth International Conference on Autonomous Agents and Multiagent Systems. pp. 1215-1216. 2009aamasb


    GRIN A

    link

  4. G. Boella in collaborazione con S. Kaci e L. van der Torre. Dynamics in Argumentation with Single Extensions. The Eighth International Conference on Autonomous Agents and Multiagent Systems. pp. 1213-1214. 2009aamasc


    GRIN A

    link

  5. G. Boella in collaborazione con L. van der Torre e S. Villata. Four Measures for the Dynamics of Coalitions in Social Networks. Procs. of 20th ACM Hypertext and hypermedia Conference Hypertext’09, ACM 2009.


    ACM

    link

  6. G. Boella in collaborazione con L. van der Torre e S. Villata. On the Acceptability of Meta-arguments. Procs. of IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT 2009, pp.259-262, IEEE 2009.


    IEEE

6  Selezione delle altre pubblicazioni



[2009]

  1. G. Boella in collaborazione con A. Rotolo, G. Governatori e L. van der Torre. Lex minus quam voluit dixit. Procs. of AI approaches to the complexity of legal systems AICOL II Workshop at Jurix 2009, 2009aicola.

    link

  2. G. Boella in collaborazione con G. Aucher, e L. van der Torre. Prescriptive and Descriptive Obligations in Dynamic Epistemic Deontic Logic. Procs. of AI approaches to the complexity of legal systems AICOL II Workshop at Jurix 2009, 2009aicolb.

    link

  3. G. Boella in collaborazione con G. Pigozzi e L. van der Torre. Normative Systems in Computer Science Ten Guidelines for Normative Multiagent Systems. Procs. of Normative Multi-agent Systems 2009 Dagstuhl Seminar Proceedings 09121 Internationales Begegnungs- und Forschungszentrum fur Informatik (IBFI), Schloss Dagstuhl, Germany, 2009


    DBLP

    link

  4. G. Boella in collaborazione con D. Gabbay, V. Genovese e L. van der Torre. FSL - Fibred Security Language. Procs. of Normative Multi-agent Systems 2009 Dagstuhl Seminar Proceedings 09121 Internationales Begegnungs- und Forschungszentrum fur Informatik (IBFI), Schloss Dagstuhl, Germany, 2009


    DBLP

  5. G. Boella in collaborazione con Valerio Genovese, e Dov Gabbay FSL - Fibred Security Language. 1st Luxembourg Day on Security and Reliability 2009, 2009
  6. G. Boella in collaborazione con Patrizio Barbini, e Piercarlo Rossi E-business Outsourcing: a New Approach combining Information Rights Technologies and Agent-Based Theory on Norms. 1st Luxembourg Day on Security and Reliability 2009, 2009
This document was translated from LATEX by HEVEA.