|
СТ |
Linear Tabulated Resolution Based on Prolog Control Strategy |
2001 |
Shen Y. -D., Yuan L. -Y., You J. -H., Zhou N. -F. |
|
|
|
Theory and Practice of Logic Programming |
10.06.2001 |
|
СТ |
Coherence Approach to Logic Program Revision |
1998 |
Yuan L. -Y., You J. -H. |
|
|
|
IEEE Trans. on Knowledge and Data Engineering |
11.06.1998 |
|
СТ |
Disjunctive Logic Programming as Constrained Inferences |
1997 |
You J. -H., Wang X., Yuan L. -Y. |
|
|
|
Logic Programming |
11.03.1998 |
|
СТ |
On Coherence Approach to Logic Program Revision |
1995 |
Yuan L. -Y. |
|
|
|
Logic Programming: Proc. of the Twelfth Intern. Conf. |
06.05.1996 |
|
СТ |
On the Extension of Logic Programming with Negation through Uniform Proofs |
1995 |
Yuan L. -Y., You J. -H. |
|
|
|
Lecture Notes in Artificial Intelligence |
06.07.1995 |
