( en | de | ru )

 

Disambiguation of "Yuan, Li-Yan"

Author of the publication

copydeleteadd this publication to your clipboard
An Abductive Semantics for Disjunctive Logic Programs and Its Proof Procedure.

, , and . FSTTCS, volume 1346 of Lecture Notes in Computer Science, page 138-152. Springer, (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Yuan Li

Li Yuan

Yuan Li

Li Yuan

Yuan Li

 

Other publications of authors with the same name

Contradiction Resolving for Extended Logic Programs and Default Theories., and . ILPS, page 640. MIT Press, (1993)Notions of Dependency Preservation for Nested Relations., and . XP7.52 Workshop on Database Theory, (1986)Regular Extension Semantics and Disjunctive Eshghi Kowalski Procedure., , and . IJCSLP, page 175-189. MIT Press, (1998)Disjunctive Logic Programming as Constrained Inferences., , and . ICLP, page 361-375. MIT Press, (1997)Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities., , , and . LPNMR, volume 4483 of Lecture Notes in Computer Science, page 228-240. Springer, (2007)Unifying Functional and Multivalued Dependencies for Relational Database Design., and . PODS, page 183-190. ACM, (1986)Disjunctive Logic Programming and Autoepistemic Logic., , and . LPKR, volume 1471 of Lecture Notes in Computer Science, page 85-101. Springer, (1997)Characterizations of stable model semantics for logic programs with arbitrary constraint atoms., , and . Theory Pract. Log. Program., 9 (4): 529-564 (2009)A Sound and Complete Query Evaluation Algorithm for Relational Databases with Null Values., and . SIGMOD Conference, page 74-81. ACM Press, (1988)SIGMOD Record 17(3), September 1988.Linear Tabulated Resolutions for the Well-Founded Semantics., , , and . LPNMR, volume 1730 of Lecture Notes in Computer Science, page 192-205. Springer, (1999)