Summary: Models and Abstraction
Validation and Formal Analysis
Our Contribution
From MAS to Games
Defining Agents via Strategies: Towards a view
of MAS as Games
E.H. Haeusler1 D.R. Vasconcelos1 M.R.F. Benevides2
1Departmento de Informática
PUC-Rio, Brasil
2Coppe Sistemas
Rio de Janeiro, Brasil
September 2005 / WRAC (Nasa)
E.H. Haeusler, D.R. Vasconcelos, M.R.F. Benevides Towards Mas as Games
Models and Abstraction
Validation and Formal Analysis
Our Contribution
From MAS to Games
Extensional x Intentional Models
Some Examples
Naive Set Theory × Axiomatic Set Theory

Source: Ayala-Rincón, Mauricio - Departamento de Matemática, Universidade de Brasília

Collections: Mathematics