Li Yan Yuan

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Nonmonotonic reasoning by monotonic inferences with priority constraints	2024-10-24	Paper
On the extension of logic programming with negation through uniform proofs	2022-08-30	Paper
A dynamic approach to characterizing termination of general logic programs	2017-06-13	Paper
The loop formula based semantics of description logic programs	2012-03-13	Paper
On the semantics of top-\(k\) ranking for objects with uncertain data	2012-02-05	Paper
Weight constraint programs with evaluable functions	2011-11-08	Paper
Loop formulas for description logic programs	2010-08-19	Paper
Weight Constraint Programs with Functions	2009-11-10	Paper
Characterizations of stable model semantics for logic programs with arbitrary constraint atoms	2009-10-19	Paper
Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities	2007-11-13	Paper
Logic Programming and Nonmonotonic Reasoning	2006-06-23	Paper
Logic Programming	2005-08-26	Paper
Enhancing global SLS-resolution with loop cutting and tabling mechanisms	2005-01-11	Paper
Linear tabulated resolution based on Prolog control strategy	2004-03-01	Paper
scientific article; zbMATH DE number 1950447 (Why is no real title available?)	2003-07-17	Paper
SLT-resolution for the well-founded semantics	2002-10-15	Paper
An abductive approach to disjunctive logic programming	2001-03-25	Paper
scientific article; zbMATH DE number 1420809 (Why is no real title available?)	2000-08-28	Paper
scientific article; zbMATH DE number 1222411 (Why is no real title available?)	1999-05-18	Paper
On the equivalence of semantics for normal logic programs	1995-04-06	Paper
Autoepistemic logic of first order and its expressive power	1995-02-22	Paper
A three-valued semantics for deductive databases and logic programs	1994-11-06	Paper
scientific article; zbMATH DE number 638305 (Why is no real title available?)	1994-10-13	Paper
Logic program semantics and circumscription of autoepistemic theories	1994-06-15	Paper
Autoepistemic circumscription and logic programming	1994-03-13	Paper
scientific article; zbMATH DE number 219220 (Why is no real title available?)	1993-06-29	Paper
Preservation of integrity constraints in definite DATALOG programs	1993-05-16	Paper
Design of desirable relational database schemes	1993-01-17	Paper
Unifying functional and multivalued dependencies for relational database design	1992-01-01	Paper
scientific article; zbMATH DE number 4210121 (Why is no real title available?)	1990-01-01	Paper

Research outcomes over time

This page was built for person: Li Yan Yuan