Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Valerio Genovese

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▷ joint publications with Leon van der Torre

> Home > Persons > Valerio Genovese

Publications

2012
[c21]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/aamas/BoellaTGGPT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aamas/BoellaTGGPT12
Guido Boella, Silvano Colombo Tosatto, Artur S. d'Avila Garcez, Valerio Genovese, Alan Perotti, Leendert W. N. van der Torre:
Learning and reasoning about norms using neural-symbolic systems. AAMAS 2012: 1023-1030
2011
[c17]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/BoellaTGGIT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/BoellaTGGIT11
Guido Boella, Silvano Colombo Tosatto, Artur S. d'Avila Garcez, Valerio Genovese, Dino Ienco, Leendert W. N. van der Torre:
Neural symbolic architecture for normative agents. AAMAS 2011: 1203-1204
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/dbsec/AucherBBGT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dbsec/AucherBBGT11
Guillaume Aucher, Steve Barker, Guido Boella, Valerio Genovese, Leendert W. N. van der Torre:
Dynamics in Delegation and Revocation Schemes: A Logical Approach. DBSec 2011: 90-105
[c13]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/nesy/BoellaTGGT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nesy/BoellaTGGT11
Guido Boella, Silvano Colombo Tosatto, Artur S. d'Avila Garcez, Valerio Genovese, Leon van der Torre:
Embedding Normative Reasoning into Neural Symbolic Systems. NeSy 2011: 19-24
2010
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/BoellaGGT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/BoellaGGT10
Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert W. N. van der Torre:
Higher-Order Coalition Logic. ECAI 2010: 555-560
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/stairs/GenoveseRGT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stairs/GenoveseRGT10
Valerio Genovese, Daniele Rispoli, Dov M. Gabbay, Leendert W. N. van der Torre:
Modal Access Control Logic - Axiomatization, Semantics and FOL Theorem Proving. STAIRS 2010: 114-126
2009
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/BoellaGGT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/BoellaGGT09
Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert W. N. van der Torre:
Fibred Security Language. Stud Logica 92(3): 395-436 (2009)
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/promas/BaldoniBGMGT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/promas/BaldoniBGMGT09
Matteo Baldoni, Guido Boella, Valerio Genovese, Andrea Mugnaini, Roberto Grenna, Leendert W. N. van der Torre:
A Middleware for Modeling Organizations and Roles in Jade. PROMAS 2009: 100-117
[i3]
- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/GenoveseGBT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/GenoveseGBT09
Valerio Genovese, Dov M. Gabbay, Guido Boella, Leendert W. N. van der Torre:
FSL - Fibred Security Language. Normative Multi-Agent Systems 2009
2008
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/mates/BaldoniBGGT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mates/BaldoniBGGT08
Matteo Baldoni, Guido Boella, Valerio Genovese, Roberto Grenna, Leendert W. N. van der Torre:
How to Program Organizations and Roles in the JADE Framework. MATES 2008: 25-36
[c3]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/normas/BaldoniGGT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/normas/BaldoniGGT08
Matteo Baldoni, Valerio Genovese, Roberto Grenna, Leendert W. N. van der Torre:
Adding Organizations and Roles as Primitives to JADE Framework. NORMAS 2008: 95-111
[i2]
- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/GrennaBBTDMG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/GrennaBBTDMG08
Roberto Grenna, Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre, Mauro Dorni, Andrea Mugnaini, Valerio Genovese:
Adding Organizations and Roles as Primitives to the JADE Framework. Programming Multi-Agent Systems 2008
2007
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/BoellaGGT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/BoellaGGT07
Guido Boella, Valerio Genovese, Roberto Grenna, Leendert W. N. van der Torre:
Merging Roles in Coordination and in Agent Deliberation. PRIMA 2007: 62-73

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.