Вы здесь

Van Der Hoek W.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Model Checking Knowledge and Time 2002 Van Der Hoek W., Wooldridge M. Lecture Notes in Computer Science 01.05.2002
СТ 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
СТ 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
СТ 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
П 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
П Temporalizing Epistemic Default logic 1994 Van Der Hoek W., Meyer J. -J., Treur J. 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
СТ Revision by Communication 1995 Witteveen C., Van Der Hoek W. Lecture Notes in Artificial Intelligence 06.07.1995
СТ 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 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
СТ Communicating Rational Agents 1994 Van Linder B., Van Der Hoek W., Meyer J.-J. C. Lecture Notes in Artificial Intelligence 20.10.1994
СТ A Logic of Capabilities 1994 Van Der Hoek W., Van Linden B., Meyer J.-J. Ch. Lecture Notes in Computer Science 02.08.1994
СТ 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