Вы здесь

Yuan L. Y.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ Extended Well-Founded Model Semantics for General Logic Programs 1991 Hu Y., Yuan L. Y. Logic Programming: Proc./Eighth Intern. Conf. 19.09.1994
СТ 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
СТ Preservation of Integrity Constraints in Definite DATALOG Programs 1992 Wang K., Yuan L. Y. Information Processing Letters 04.02.1993