Annals of Mathematics and Artificial Intelligence, Volume 59

Volume 59, Number 1, May 2010

• Jerusa Marchi, Guilherme Bittencourt, Laurent Perrussel:
  Prime forms and minimal change in propositional belief bases. 1-45
  
• Fabio Cuzzolin:
  Geometry of relative plausibility and relative belief of singletons. 47-79
  
• Michael Leuschel, Thierry Massart:
  Efficient approximate verification of B and Z models via symmetry markers. 81-106
  
• Peng Dai, Judy Goldsmith:
  Ranking policies in discrete Markov decision processes. 107-123
  
• Orna Peleg, Larry M. Manevitz, Hananel Hazan, Zohar Eviatar:
  Two hemispheres - two networks: a computational model explaining hemispheric asymmetries while reading ambiguous words. 125-147
  

Volume 59, Number 2, June 2010

• Radim Belohlávek, Sergei O. Kuznetsov:
  Preface to special issue on concept lattice and their applications 2008. 149-150
  
• Eduard Bartl, Radim Belohlávek, Jan Konecny:
  Optimal decompositions of matrices with grades into binary and graded matrices. 151-167
  
• Tim B. Kaiser:
  On the connection between many-valued contexts and general geometric structures. 169-185
  
• Michal Krupka:
  Factorization of fuzzy concept lattices with hedges by modification of input data. 187-200
  
• Tarek Hamrouni, Sadok Ben Yahia, Engelbert Mephu Nguifo:
  Generalization of association rules through disjunction. 201-222
  
• Léonard Kwuida, Hajime Machida:
  On the isomorphism problem of concept algebras. 223-239
  
• Tobias Schlemmer, Stefan E. Schmidt:
  A formal concept analysis of harmonic forms and interval structures. 241-256
  
• Petr Krajca, Jan Outrata, Vilém Vychodil:
  Parallel algorithm for computing fixpoints of Galois connections. 257-272
  
• Radim Belohlávek, Sergei O. Kuznetsov:
  Erratum: Preface to special issue on concept lattice and their applications 2008. 273
  

Volume 59, Numbers 3-4, August 2010

• Michael Köster, Tristan M. Behrens, Jürgen Dix, Jomi Fred Hübner, Mehdi Dastani, Peter Novák:
  Editorial. 275
  
• Tristan M. Behrens, Mehdi Dastani, Jürgen Dix, Michael Köster, Peter Novák:
  The multi-agent programming contest from 2005-2010 - From gold collecting to herding cows. 277-311
  
• Nitin Yadav, Chenguang Zhou, Sebastian Sardiña, Ralph Rönnquist:
  A BDI agent system for the cow herding domain. 313-333
  
• Axel Heßler, Benjamin Hirsch, Tobias Küster:
  Herding cows with JIAC V. 335-349
  
• Jomi Fred Hübner, Rafael H. Bordini:
  Using agent- and organisation-oriented programming to develop a team of agents for a competitive game. 351-372
  
• Niklas Skamriis Boss, Andreas Schmidt Jensen, Jørgen Villadsen:
  Building multi-agent systems using Jason. 373-388
  
• Howell R. Jordan, Jennifer Treanor, David Lillis, Mauro Dragone, Rem W. Collier, Gregory M. P. O'Hare:
  AF-ABLE in the multi agent contest 2009. 389-409
  
• Gregor Balthasar, Jan Sudeikat, Wolfgang Renz:
  On the decentralized coordination of herding activities: a Jadex-based solution. 411-426
  
• Erdene-Ochir Tuguldur, Marcel Patzlaff:
  MOO - MicroJIAC agents operating oxen. 427-437
  

Last update Wed May 22 16:59:17 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page