Login / Signup
IRON: a machine for the automated synthesis of normative systems.
Javier Morales
Maite López-Sánchez
Juan A. Rodríguez-Aguilar
Michael J. Wooldridge
Wamberto Weber Vasconcelos
Published in:
AAMAS (2013)
Keyphrases
</>
normative systems
multi agent systems
semi automated
logical framework
magnetic field
program synthesis
constraint satisfaction
automated analysis
batch processing