The following pages link to Li Yan Yuan (Q645082):
Displaying 30 items.
- Weight constraint programs with evaluable functions (Q645084) (← links)
- On the semantics of top-\(k\) ranking for objects with uncertain data (Q660976) (← links)
- (Q703483) (redirect page) (← links)
- Enhancing global SLS-resolution with loop cutting and tabling mechanisms (Q703484) (← links)
- The loop formula based semantics of description logic programs (Q764312) (← links)
- Unifying functional and multivalued dependencies for relational database design (Q807010) (← links)
- Design of desirable relational database schemes (Q1201884) (← links)
- Preservation of integrity constraints in definite DATALOG programs (Q1208438) (← links)
- Autoepistemic circumscription and logic programming (Q1311407) (← links)
- Logic program semantics and circumscription of autoepistemic theories (Q1327306) (← links)
- A three-valued semantics for deductive databases and logic programs (Q1337468) (← links)
- Autoepistemic logic of first order and its expressive power (Q1344888) (← links)
- SLT-resolution for the well-founded semantics (Q1598446) (← links)
- Characterizations of stable model semantics for logic programs with arbitrary constraint atoms (Q3183130) (← links)
- (Q3358719) (← links)
- Loop formulas for description logic programs (Q3585166) (← links)
- Weight Constraint Programs with Functions (Q3643129) (← links)
- (Q4217934) (← links)
- (Q4305304) (← links)
- On the equivalence of semantics for normal logic programs (Q4327428) (← links)
- (Q4413060) (← links)
- Linear tabulated resolution based on Prolog control strategy (Q4452626) (← links)
- An abductive approach to disjunctive logic programming (Q4484725) (← links)
- (Q4694703) (← links)
- (Q4944874) (← links)
- On the extension of logic programming with negation through uniform proofs (Q5101453) (← links)
- A dynamic approach to characterizing termination of general logic programs (Q5267437) (← links)
- Logic Programming (Q5313201) (← links)
- Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities (Q5425411) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5473979) (← links)
