|
СТ |
Diagnosis of the Dynamics within an Organization by Trace Checking of Behavioural Requirements |
2002 |
Jonker C., Letia I. A., Treur J. |
|
|
|
Lecture Notes in Computer Science |
06.04.2002 |
|
СТ |
A Requirement Specification Language for Configuration Dynamics of Multi-Agent Systems |
2002 |
Dastini M., Jonker C., Treur J. |
|
|
|
Lecture Notes in Computer Science |
06.04.2002 |
|
СТ |
A Formal Knowledge Level Process Model of Requirements Engineering |
1999 |
Herlea D. E., Jonker C. M., Treur J., Wijngaards N.J. E. |
|
|
|
Lecture Notes in Artificial Intelligence |
19.06.1999 |
|
СТ |
Compositional Verification of Multi-agent Systems: A Formal Analysis of Pro-activeness and Reactiveness |
1998 |
Jonker C. M., Treur J. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
30.01.1999 |
|
П |
Temporalizing Epistemic Default logic |
1994 |
Van Der Hoek W., Meyer J. -J., Treur J. |
Lecture Notes in Artificial Intelligence |
|
Univ. Utrecht |
|
16.05.1998 |
|
СТ |
Compositional Formal Specification of Multi-Agent Systems |
1995 |
Dunin-Keplicz B., Treur J. |
|
|
|
Lecture Notes in Artificial Intelligence |
30.03.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 |
|
СТ |
Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning |
1994 |
Treur J. |
|
|
|
Lecture Notes in Computer Science |
12.01.1995 |
|
СТ |
Temporal Theories of Reasoning |
1994 |
Engelfriet J., Treur J. |
|
|
|
Lecture Notes in Artificial Intelligence |
28.10.1994 |
|
СТ |
User Centered Knowledge-based System Design: A Formal Modelling Approach |
1994 |
Brazier F.M. T., Treur J. |
|
|
|
Lecture Notes in Artificial Intelligence |
21.10.1994 |
