Yi-Dong Shen

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Determining inference semantics for disjunctive logic programs	2020-01-20	Paper
A Model for Phase Transition of Random Answer-Set Programs	2017-07-12	Paper
Reasoning with recursive loops under the PLP framework	2017-07-12	Paper
A dynamic approach to characterizing termination of general logic programs	2017-06-13	Paper
Evaluating epistemic negation in answer set programming	2016-05-20	Paper
FLP answer set semantics without circular justifications for general logic programs	2014-06-10	Paper
Well-Supported Semantics for Logic Programs with Generalized Rules	2012-07-23	Paper
The loop formula based semantics of description logic programs	2012-03-13	Paper
Automatic clustering using genetic algorithms	2011-11-22	Paper
Loop formulas for description logic programs	2010-08-19	Paper
Termination prediction for general logic programs	2009-11-25	Paper
A Default Approach to Semantics of Logic Programs with Constraint Atoms	2009-11-10	Paper
Characterizations of stable model semantics for logic programs with arbitrary constraint atoms	2009-10-19	Paper
Linear tabling strategies and optimizations	2008-01-21	Paper
Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities	2007-11-13	Paper
Inductive Logic Programming	2006-11-01	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/Q4423999	2003-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q4413060	2003-07-17	Paper
SLT-resolution for the well-founded semantics	2002-10-15	Paper
A theory of hybrid diagnosis	2000-02-06	Paper
A general scheme for formalizing defaults using the predicate \(ab(I,S)\)	1999-09-13	Paper
Extracting schema from an OEM database	1998-08-20	Paper
Disjunctive logic and semantics of disjunctive logic programs	1998-06-11	Paper
A heuristic extension to Reiter's diagnostic theory	1998-01-21	Paper
An algorithm for determining database consistency under the closed world assumption	1996-02-26	Paper
Formalizing incomplete knowledge in incomplete databases	1994-11-08	Paper
On the completed database semantics for negation	1993-05-16	Paper
Verifying local stratifiability of logic programs and databases	1993-04-01	Paper

Research outcomes over time

This page was built for person: Yi-Dong Shen