Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Models and Abstraction Validation and Formal Analysis
 

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