Yi-Dong Shen

From MaRDI portal
Person:286398

Available identifiers

zbMath Open shen.yidongMaRDI QIDQ286398

List of research outcomes





PublicationDate of PublicationType
Determining inference semantics for disjunctive logic programs2020-01-20Paper
A Model for Phase Transition of Random Answer-Set Programs2017-07-12Paper
Reasoning with recursive loops under the PLP framework2017-07-12Paper
A dynamic approach to characterizing termination of general logic programs2017-06-13Paper
Evaluating epistemic negation in answer set programming2016-05-20Paper
FLP answer set semantics without circular justifications for general logic programs2014-06-10Paper
Well-Supported Semantics for Logic Programs with Generalized Rules2012-07-23Paper
The loop formula based semantics of description logic programs2012-03-13Paper
Automatic clustering using genetic algorithms2011-11-22Paper
Loop formulas for description logic programs2010-08-19Paper
Termination prediction for general logic programs2009-11-25Paper
A Default Approach to Semantics of Logic Programs with Constraint Atoms2009-11-10Paper
Characterizations of stable model semantics for logic programs with arbitrary constraint atoms2009-10-19Paper
Linear tabling strategies and optimizations2008-01-21Paper
Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities2007-11-13Paper
Inductive Logic Programming2006-11-01Paper
Enhancing global SLS-resolution with loop cutting and tabling mechanisms2005-01-11Paper
Linear tabulated resolution based on Prolog control strategy2004-03-01Paper
https://portal.mardi4nfdi.de/entity/Q44239992003-09-09Paper
https://portal.mardi4nfdi.de/entity/Q44130602003-07-17Paper
SLT-resolution for the well-founded semantics2002-10-15Paper
A theory of hybrid diagnosis2000-02-06Paper
A general scheme for formalizing defaults using the predicate \(ab(I,S)\)1999-09-13Paper
Extracting schema from an OEM database1998-08-20Paper
Disjunctive logic and semantics of disjunctive logic programs1998-06-11Paper
A heuristic extension to Reiter's diagnostic theory1998-01-21Paper
An algorithm for determining database consistency under the closed world assumption1996-02-26Paper
Formalizing incomplete knowledge in incomplete databases1994-11-08Paper
On the completed database semantics for negation1993-05-16Paper
Verifying local stratifiability of logic programs and databases1993-04-01Paper

Research outcomes over time

This page was built for person: Yi-Dong Shen