СТ |
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 |