Now showing items 1-2 of 2

    • Model checking rational agents 

      Bordini, Rafael H.; Fisher, Michael; Wooldridge, Michael; Visser, Willem (IEEE - -Institute of Electrical and Electronics Engineers, 2004-10)
      Agent-oriented programming techniques seem appropriate for developing systems that operate in complex, dynamic, and unpredictable environments. We aim to address this requirement by developing model-checking techniques for ...

    • Some important developments in biomining during the past thirty years 

      Rawlings, Douglas E (Central South University Press, Lushan South Road 932, 410083 Changsha, Hunan Province, PR China, 2011-09)
      A selection of significant discoveries in the general field of biomining over the past thirty years with which the author has been directly or indirectly involved will be reviewed. Early steps in the development of the ...