yr 〜
yr

Search results 13

Logic and the Foundations of Game and Decision Theory (LOFT 7)

Logic and the Foundations of Game and Decision Theory (LOFT 7)
Digital電子書籍・電子雑誌図書
2008
Available onlineNational Diet Library
  • Author Heading...ge, Michael J. Hoek, W. van der Wooldridge, Michael

Logic, rationality, and interaction : 5th international workshop, LORI 2015 : Taipei, Taiwan, October 28-31, 2015 : proceedings : LORI-5 : Oct 2015, Taipei, Taiwan. (Lecture Notes in Computer Science ; 9394)

Logic, rationality, and interaction : 5th international workshop, LORI 2015 : Taipei, Taiwan, October 28-31, 2015 : proceedings : LORI-5 : Oct 2015, Taipei, Taiwan. (Lecture Notes in Computer Science ; 9394)
Paper図書
Springer[2015]<M17-16-798>
National Diet Library
  • Author Heading...aipei, Taiwan) Hoek, W. van der (Wiebe) Holliday, Wesley H. W...

Epistemic logic for AI and computer science : pbk

Epistemic logic for AI and computer science : pbk
Paper図書
J.-J. Ch. Meyer, W. van der HoekCambridge University Pressc1995, 2004
Other Libraries in Japan
  • Author HeadingMeyer, John-Jules Hoek, W. van der

Epistemic logic for AI and computer science hardback

Epistemic logic for AI and computer science hardback
Paper図書
J.-J. Ch. Meyer and W. van der HoekCambridge University Pressc1995
Other Libraries in Japan
  • Author HeadingMeyer, John-Jules Hoek, W. van der

Non-monotonic reasoning and partial semantics

Non-monotonic reasoning and partial semantics
Paper図書
editors, W. van der Hoek ... [et al.]Ellis Horwood1992
Other Libraries in Japan
  • Author HeadingHoek, W. van der

Multiagent system technologies : 7th German Conference, MATES 2009 : Humburg, Germany, September 9-11, 2009 : proceedings

Multiagent system technologies : 7th German Conference, MATES 2009 : Humburg, Germany, September 9-11, 2009 : proceedings
Paper図書
Lars Braubach ... [et al.] (eds.)Springerc2009
Other Libraries in Japan
  • Author HeadingMATES Braubach, Lars Petta, Paolo Pokahr, Alexander Hoek, W. van der (Wiebe van der)

Uncertainty, rationality, and agency

Uncertainty, rationality, and agency
Paper図書
Wiebe van der HoekSpringerc2006
Other Libraries in Japan
  • Author HeadingHoek, W. van der (Wiebe van der)

Information, interaction, and agency

Information, interaction, and agency
Paper図書
Weibe van der HoekSpringerc2005
Other Libraries in Japan
  • Author HeadingHoek, W. van der (Wiebe van der)

Logic and the foundations of game and decision theory (LOFT 7) : [pbk.]

Logic and the foundations of game and decision theory (LOFT 7) : [pbk.]
Paper図書
edited by Giacomo Bonanno, Wiebe Van Der Hoek, Michael WooldridgeAmsterdam University Pressc2008
Other Libraries in Japan
  • Author HeadingBonanno, Giacomo Hoek, W. van der (Wiebe van der) Wooldridge, M...

Dynamic epistemic logic : pbk

Dynamic epistemic logic : pbk
Paper図書
by Hans van Ditmarsch, Wiebe van der Hoek, Barteld KooiSpringerc2008
Other Libraries in Japan
  • Author HeadingDitmarsch, Hars van Hoek, W. van der (Wiebe van der) Kooi, Barteld

Dynamic epistemic logic : hard

Dynamic epistemic logic : hard
Paper図書
by Hans van Ditmarsch, Wiebe van der Hoek, Barteld KooiSpringerc2007
Other Libraries in Japan
  • Author HeadingDitmarsch, Hars van Hoek, W. van der (Wiebe van der) Kooi, Barteld

Specification and verification of multi-agent systems

Specification and verification of multi-agent systems
Paper図書
Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer, editors ; Foreword by Wiebe van der HoekSpringer2010
Other Libraries in Japan
  • Author HeadingDastani, Mehdi Hindriks, Koen V. Meyer, John-Jules Charles Hoek, W. van der (Wiebe van der)

Logics in artificial intelligence : 10th european conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, proceedings

Logics in artificial intelligence : 10th european conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, proceedings
Paper図書
Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa (eds.)Springerc2006
Other Libraries in Japan
  • Author HeadingJELIA Fisher, Michael Hoek, W. van der (Wiebe van der) Konev, Boris ...

Reached to the end of result.