|
П |
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 |
|
СТ |
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 |
|
СТ |
Revision by Expansion in Logic Programs |
1994 |
Witteveen C., Jonker C. |
|
|
|
Lecture Notes in Artificial Intelligence |
21.07.1994 |
