Li Yan Yuan

Available identifiers

List of research outcomes

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
https://portal.mardi4nfdi.de/entity/Q4413060	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
https://portal.mardi4nfdi.de/entity/Q4944874	2000-08-28	Paper
https://portal.mardi4nfdi.de/entity/Q4217934	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
https://portal.mardi4nfdi.de/entity/Q4305304	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
https://portal.mardi4nfdi.de/entity/Q4694703	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
https://portal.mardi4nfdi.de/entity/Q3358719	1990-01-01	Paper

Research outcomes over time

This page was built for person: Li Yan Yuan