Вы здесь

Главная

Van Der Hoek W.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Towards an Epistemic Approach to Reasoning about Concurrent Programs 1993 Van Der Hoek W., Van Hulst M., Meyer J.-J. Ch. Lecture Notes in Computer Science 11.06.1993
П The Dynamics of Default Reasoning 1994 Van Linder B., Van Der Hoek W., Meyer J.-J. Ch. Lecture Notes in Artificial Intelligence Univ. Utrecht 16.05.1998
П Revision by Communication: Program Revision by Consulting Weaker Semantics 1994 Witteveen C., Van Der Hoek W. Lecture Notes in Artificial Intelligence Univ. Utrecht 16.05.1998
СТ Communicating Rational Agents 1994 Van Linder B., Van Der Hoek W., Meyer J.-J. C. Lecture Notes in Artificial Intelligence 20.10.1994
П Temporalizing Epistemic Default logic 1994 Van Der Hoek W., Meyer J. -J., Treur J. Lecture Notes in Artificial Intelligence Univ. Utrecht 16.05.1998
СТ A Logic of Capabilities 1994 Van Der Hoek W., Van Linden B., Meyer J.-J. Ch. Lecture Notes in Computer Science 02.08.1994
СТ Revision of Non-Monotonic Theories: Some Postulates and an Application to Logic Programming 1994 Witteveen C., Van Der Hoek W., De Nivelle H. Lecture Notes in Artificial Intelligence 28.10.1994
СТ Formal Semantics of Temporal Epistemic Reflection 1994 Van Der Hoek W., Meyer J. -J., Treur J. Lecture Notes in Computer Science 12.01.1995
СТ Revision by Communication 1995 Witteveen C., Van Der Hoek W. Lecture Notes in Artificial Intelligence 06.07.1995
СТ Operational Semantics for Agent Communication Languages 2000 Van Eijk R. M., de Boer F. S., Van Der Hoek W., Meyer J.-J. C. Lecture Notes in Artificial Intelligence 29.11.2000
СТ Failure Semantics for the Exchange of Information in Multi-Agent Systems 2000 de Boer F. S., Van Eijk R. M., Van Der Hoek W., Meyer J.-J. C. Lecture Notes in Computer Science 15.09.2000
СТ Semantics of Communicating Agents Based on Deduction and Abduction 2000 Hindriks K. V., de Boer F. S., Van Der Hoek W., Meyer J.-J. C. Lecture Notes in Artificial Intelligence 29.11.2000
СТ A Programming Logic for Part of the Agent Language 3APL 2001 Hindriks K. V., de Boer F. S., Van Der Hoek W., Meyer J.-J. C. Lecture Notes in Artificial Intelligence 05.11.2001
СТ Model Checking Knowledge and Time 2002 Van Der Hoek W., Wooldridge M. Lecture Notes in Computer Science 01.05.2002

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ SOFSEM 2007: Theory and Practice of Computer Science: Proc./33rd Conference on Current Trends in Theory and Practice of Computer Science Harrachov,Czech Republic,January 2007 2007 Lecture Notes in Computer Science
  1. Van Leeuwen J.
  2. Italiano G. F.
  3. Van Der Hoek W.
  4. Meinel Ch.
 02.03.2007
СБ Multiagent System Technologies: Proc./7th German Conference, MATES 2009, Hamburg, Germany, September 2009 2009 Lecture Notes in Artificial Intelligence
  1. Braubach L.
  2. Van Der Hoek W.
  3. Petta P.
  4. Pokahr A.
 21.11.2009
СБ Logic and the Foundations of Game and Decision Theory - LOFT 8: Revised Selected Papers/8th International Conference, Amsterdam, The Netherlands, July 2008 2010 Lecture Notes in Artificial Intelligence
  1. Bonanno G.
  2. Lowe B.
  3. Van Der Hoek W.
 09.11.2010
СБ Logic, Rationality, and Interaction: Proc./5th International Workshop, LORI 2015, Taipei, Taiwan, October 2015 2015 Lecture Notes in Computer Science
  1. Van Der Hoek W.
  2. Holliday W. H.
  3. Wang W. -F.
 01.12.2015