Вы здесь

You J. -H.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ Coherence Approach to Logic Program Revision 1998 Yuan L. -Y., You J. -H. IEEE Trans. on Knowledge and Data Engineering 11.06.1998
СТ Construction of Belief Sets for Logic Programs and Default Theories 1994 You J. -H., Yuan L. Y. Computers and Artificial Intelligence 12.08.1994
СТ Disjunctive Logic Programming as Constrained Inferences 1997 You J. -H., Wang X., Yuan L. -Y. Logic Programming 11.03.1998
СТ Knowledge Base Revision Using Circumscription 1993 Yuan L. Y., You J. -H. Lecture Notes in Computer Science 21.12.1993
СТ 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
СТ 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
СТ 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
СТ Tractable Argumentation Semantics via Iterative Belief Revision 1994 You J. -H., Cartwright R. Logic Programming. Proc. of the 1994 Intern. Symp. 30.01.1996