Li Yan Yuan

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Li Yan Yuan