Home Advanced Search

Advanced Search - Page 1

Computational Logic in Multi-Agent Systems: 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Dov Gabbay (auth.), Michael Fisher, Leon van der Torre, Mehdi Dastani, Guido Governatori (eds.)
Computational Logic in Multi-Agent Systems: 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Dov Gabbay (auth.), Michael Fisher, Leon van der Torre, Mehdi Dastani, Guido Governatori (eds.)
Multi-Agent Programming:: Languages, Tools and Applications
  • PDF
  • English
  • Year: 2009
  • Author: Michael fisher, Anthony Hepple (auth.), Amal El Fallah Seghrouchni, Jürgen Dix, Mehdi Dastani, Rafael H. Bordini (eds.)
Multi-Agent Programming:: Languages, Tools and Applications
  • PDF
  • English
  • Year: 2009
  • Author: Michael fisher, Anthony Hepple (auth.), Amal El Fallah Seghrouchni, Jürgen Dix, Mehdi Dastani, Rafael H. Bordini (eds.)
Computational Logic in Multi-Agent Systems: 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Simon Parsons, Yuqing Tang, Kai Cai, Elizabeth Sklar, Peter McBurney (auth.), João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon van der Torre (eds.)
Computational Logic in Multi-Agent Systems: 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Simon Parsons, Yuqing Tang, Kai Cai, Elizabeth Sklar, Peter McBurney (auth.), João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon van der Torre (eds.)
Advances in Temporal Logic
  • PDF
  • English
  • Year: 2000
  • Author: Howard Barringer, Michael Fisher, Dov Gabbay, Graham Gough (eds.)
Advances in temporal logic
  • DJVU
  • English
  • Year: 2000
  • Author: Iliano Cervesato, Massimo Franceschet, Angelo Montanari (auth.), Howard Barringer, Michael Fisher, Dov Gabbay, Graham Gough (eds.)
Rule Representation, Interchange and Reasoning on the Web: International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Michael Kifer (auth.), Nick Bassiliades, Guido Governatori, Adrian Paschke (eds.)
Rule Representation, Interchange and Reasoning on the Web: International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Michael Kifer (auth.), Nick Bassiliades, Guido Governatori, Adrian Paschke (eds.)
search