СТ |
An Argumentation-Theoretic Approach to Logic Program Transformation |
1996 |
Toni F., Kowalski R. A. |
|
|
|
Lecture Notes in Computer Science |
30.03.1996 |
СТ |
Directions for Logic Programming |
2002 |
Kowalski R. A. |
|
|
|
Lecture Notes in Computer Science |
29.08.2002 |
СТ |
Legislation as Logic Programs |
1992 |
Kowalski R. A. |
|
|
|
Lecture Notes in Artificial Intelligence |
04.10.1992 |
СТ |
Reduction of Abductive Logic Programs to Normal Logic Programs |
1995 |
Toni F., Kowalski R. A. |
|
|
|
Logic Programming: Proc. of the Twelfth Intern. Conf. |
08.05.1996 |
СТ |
Synthesis of Proof Procedures for Default Reasoning |
1997 |
Dung P. M., Kowalski R. A., Toni F. |
|
|
|
Lecture Notes in Computer Science |
12.04.1997 |
СТ |
Temporal Database Technology for Air Traffic Flow Management |
1994 |
Sripada S. M., Rosser B. L., Bedford J. M., Kowalski R. A. |
|
|
|
Lecture Notes in Computer Science |
05.08.1994 |