|
СТ |
A Strong Correspondence between Description Logics and Open Logic Programming |
1997 |
Van Belleghem K., Denecker M., De Schreye D. |
|
|
|
Logic Programming |
11.03.1998 |
|
СТ |
Combining Situation Calculus and Event Calculus |
1995 |
Van Belleghem K., Denecker M., De Schreye D. |
|
|
|
Logic Programming: Proc. of the Twelfth Intern. Conf. |
06.05.1996 |
|
СТ |
The Abductive Event Calculus as a General Framework for Temporal Databases |
1994 |
Van Belleghem K., Denecker M., De Schreye D. |
|
|
|
Lecture Notes in Artificial Intelligence |
12.08.1994 |
