( en | de | ru )

 

Disambiguation of "Yuan, Li-Yan"

Author of the publication

copydeleteadd this publication to your clipboard
A Simple but Effective Program Revision Method.

, and . ILPS, page 686. MIT Press, (1994)

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

Weight Constraint Programs with Functions., , , and . LPNMR, volume 5753 of Lecture Notes in Computer Science, page 329-341. Springer, (2009)Weight constraint programs with evaluable functions., , , , and . Ann. Math. Artif. Intell., 60 (3-4): 341-380 (2010)On the Equivalence between Answer Sets and Models of Completion for Nested Logic Programs., , and . IJCAI, page 859-866. Morgan Kaufmann, (2003)Loop formulas for description logic programs., , , and . Theory Pract. Log. Program., 10 (4-6): 531-545 (2010)Autoepistemic Circumscription and Logic Programming., and . J. Autom. Reason., 10 (2): 143-160 (1993)Autoepistemic Logic of First Order and Its Expressive Power.. J. Autom. Reason., 13 (1): 69-82 (1994)Knowledge Base Revision Using Circumscription., and . DOOD, volume 760 of Lecture Notes in Computer Science, page 444-458. Springer, (1993)On Pruning for Top-K Ranking in Uncertain Databases., , , , and . Proc. VLDB Endow., 4 (10): 598-609 (2011)On Confluence Property of Active Databases with Meta-Rules., , and . Rules in Database Systems, volume 1312 of Lecture Notes in Computer Science, page 118-132. Springer, (1997)Disjunctive Logic Programming and Possible Model Semantics (Invited Paper)., , and . Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications, volume 1441 of Lecture Notes in Computer Science, page 60-78. Springer, (1997)