|
СТ |
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 |
|
СТ |
An Abductive Semantics for Disjunctive Logic Programs and Its Proof Procedure |
1997 |
You J. -H., Yuan L. Y., Goebel R. |
|
|
|
Lecture Notes in Computer Science |
09.01.1998 |
|
СТ |
On Confluence Property of Active Databases with Meta-Rules |
1997 |
Wang X., You J. -H., Yuan L. Y. |
|
|
|
Lecture Notes in Computer Science |
17.09.1997 |
|
СТ |
Tractable Argumentation Semantics via Iterative Belief Revision |
1994 |
You J. -H., Cartwright R. |
|
|
|
Logic Programming. Proc. of the 1994 Intern. Symp. |
30.01.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 |
|
СТ |
Construction of Belief Sets for Logic Programs and Default Theories |
1994 |
You J. -H., Yuan L. Y. |
|
|
|
Computers and Artificial Intelligence |
12.08.1994 |
|
СТ |
Knowledge Base Revision Using Circumscription |
1993 |
Yuan L. Y., You J. -H. |
|
|
|
Lecture Notes in Computer Science |
21.12.1993 |
