Вы здесь

Главная

Fisher M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Decision Procedure for a Temporal Belief Logic 1994 Wooldridge M., Fisher M. Lecture Notes in Artificial Intelligence 12.08.1994
СТ A Graph-Based Approach to Resolution in Temporal Logic 1994 Dixon C., Fisher M., Barringer H. Lecture Notes in Artificial Intelligence 12.08.1994
СТ A Survey of Concurrent METATEM - The Language and Its Applications 1994 Fisher M. Lecture Notes in Artificial Intelligence 12.08.1994
СТ Concurrent metatem - A Language for Modelling Reactive Systems 1993 Fisher M. Lecture Notes in Computer Science 29.07.1993
СТ Easy Impossibility Proofs for Distributed Consensus Problems 1990 Fisher M., Lynch N., Merritt M. Lecture Notes in Computer Science 12.02.1991
СТ From the Past to the Future: Executing Temporal Logic Programs 1992 Fisher M., Owens R. Lecture Notes in Artificial Intelligence 11.08.1992
СТ Model Checking Multi-Agent Programs with CASP 2003 Bordini R. H., Fisher M., Pardavila C., Visser W., Wooldridge M. Lecture Notes in Computer Science 19.09.2003
СТ Organising Computation through Dynamic Grouping 2004 Fisher M., Ghidini Ch., Hirsch B. Lecture Notes in Computer Science Lecture Notes in Computer Science 03.09.2004

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Computational Logic in Multi-Agent Systems: Proc./13th International Workshop, CLIMA XIII, Montpellier, France, August 2012 2012 Lecture Notes in Artificial Intelligence
  1. Fisher M.
  2. Van Der Torre L.
  3. Dastani M.
  4. Governatori G.
 01.10.2012
СБ Computational Logic in Multi-Agent Systems: Revised Selected and Invited Papers/ 9th International Workshop, CLIMA IX. Dresden, Germany, September 2008 2009 Lecture Notes in Artificial Intelligence
  1. Fisher M.
  2. Sadri F.
  3. Thielscher M.
 24.10.2009
СБ Computational Logic in Multi-Agent Systems: Revised Selected and Invited Papers/10th International Workshop, CLIMA X, Hamburg, Germany, September 2009 2010 Lecture Notes in Artificial Intelligence
  1. Dix J.
  2. Fisher M.
  3. Novak P.
 15.02.2011
СБ Foundations and Applications of Multi-Agent Systems: UKMAS Workshops 1996-200, Selected Papers 2002 Lecture Notes in Artificial Intelligence
  1. D Inverno M.
  2. Luck M.
  3. Fisher M.
  4. Preist C.
 30.08.2002
СБ Logics in Artificial Intelligence: Proc./10th European Conference, JELIA 2006. Liverpool, UK, September 2006 2006 Lecture Notes in Artificial Intelligence
  1. Fisher M.
  2. Van Der Hoer W.
  3. Konev B.
  4. Lisitsa A.
 20.10.2006