| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen, Mingyi Zhang |
The loop formula based semantics of description logic programs.  |
Theor. Comput. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen, Thomas Eiter |
Embedding Description Logic Programs into Default Logic |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Chonghai Wang, Li-Yan Yuan, Jia-Huai You |
On the semantics of top-k ranking for objects with uncertain data. |
Computers & Mathematics with Applications |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chonghai Wang, Li-Yan Yuan, Jia-Huai You, Osmar R. Zaïane, Jian Pei |
On Pruning for Top-K Ranking in Uncertain Databases. |
PVLDB |
2011 |
DBLP BibTeX RDF |
|
| 1 | Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen |
Loop Formulas for Description Logic Programs |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Yisong Wang, Jia-Huai You, Fangzhen Lin, Li-Yan Yuan, Mingyi Zhang |
Weight constraint programs with evaluable functions. |
Ann. Math. Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen |
Loop formulas for description logic programs. |
TPLP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chonghai Wang, Li-Yan Yuan, Jia-Huai You |
Top-k ranking for uncertain data. |
FSKD |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan |
Characterizations of Stable Model Semantics for Logic Programs with Arbitrary Constraint Atoms |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan |
Characterizations of stable model semantics for logic programs with arbitrary constraint atoms. |
TPLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yisong Wang, Jia-Huai You, Li-Yan Yuan, Mingyi Zhang |
Weight Constraint Programs with Functions. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia-Huai You, Li-Yan Yuan, Guohua Liu, Yi-Dong Shen |
Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities. |
LPNMR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan |
Enhancing Global SLS-Resolution with Loop Cutting and Tabling Mechanisms |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Yi-Dong Shen, Qiang Yang, Jia-Huai You, Li-Yan Yuan |
Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jia-Huai You, Guohua Liu, Li-Yan Yuan, Curtis Onuczko |
Lookahead in Smodels Compared to Local Consistencies in CSP. |
LPNMR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiumei Jia, Jia-Huai You, Li-Yan Yuan |
Adding Domain Dependent Knowledge into Answer Set Programs for Planning. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan, Samuel S. P. Shen, Qiang Yang |
A dynamic approach to characterizing termination of general logic programs. |
ACM Trans. Comput. Log. |
2003 |
DBLP DOI BibTeX RDF |
dynamic characterization, Prolog, Termination analysis |
| 1 | Jia-Huai You, Li-Yan Yuan, Mingyi Zhang |
On the Equivalence between Answer Sets and Models of Completion for Nested Logic Programs. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan, Samuel S. P. Shen, Qiang Yang |
A Dynamic Approach to Characterizing Termination of General Logic Programs |
CoRR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You |
SLT-Resolution for the Well-Founded Semantics. |
J. Autom. Reasoning |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia-Huai You, Xianchang Wang, Li-Yan Yuan |
Nonmonotonic Reasoning as Prioritized Argumentation. |
IEEE Trans. Knowl. Data Eng. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You |
Loop checks for logic programs with functions. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You |
Implementation of a Linear Tabling Mechanism. |
Journal of Functional and Logic Programming |
2001 |
DBLP BibTeX RDF |
|
| 1 | Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou |
Linear tabulated resolution based on Prolog control strategy. |
TPLP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Jia-Huai You, Li-Yan Yuan, Randy Goebel |
An abductive approach to disjunctive logic programming. |
J. Log. Program. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou |
Linear Tabulated Resolution Based on Prolog Control Strategy |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You |
SLT-Resolution for the Well-Founded Semantics |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You |
Verifying Termination of General Logic Programs with Concrete Queries |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You |
Implementation of a Linear Tabling Mechanism. |
PADL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia-Huai You, Xianchang Wang, Li-Yan Yuan |
Compiling Defeasible Inheritance Networks to General Logic Programs. |
Artif. Intell. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You |
A Linear Tabling Mechanism. |
ICLP |
1999 |
DBLP BibTeX RDF |
|
| 1 | Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou |
Linear Tabulated Resolutions for the Well-Founded Semantics. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Li-Yan Yuan, Jia-Huai You |
Coherence Approach to Logic Program Revision. |
IEEE Trans. Knowl. Data Eng. |
1998 |
DBLP DOI BibTeX RDF |
knowledge representation, Logic programming, belief revision, nonmonotonic reasoning |
| 1 | Jia-Huai You, Li-Yan Yuan, Randy Goebel |
Regular Extension Semantics and Disjunctive Eshghi Kowalski Procedure. |
IJCSLP |
1998 |
DBLP BibTeX RDF |
|
| 1 | Xianchang Wang, Jia-Huai You, Li-Yan Yuan |
A Default Interpretation of Defeasible Network. |
IJCAI |
1997 |
DBLP BibTeX RDF |
|
| 1 | Li-Yan Yuan, Jia-Huai You, Randy Goebel |
Disjunctive Logic Programming and Possible Model Semantics (Invited Paper). |
Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia-Huai You, Xianchang Wang, Li-Yan Yuan |
Disjunctive Logic Programming as Constrained Inferences. |
ICLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Xianchang Wang, Jia-Huai You, Li-Yan Yuan |
On Confluence Property of Active Databases with Meta-Rules. |
Rules in Database Systems |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Li-Yan Yuan, Jia-Huai You, Randy Goebel |
Disjunctive Logic Programming and Autoepistemic Logic. |
LPKR |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia-Huai You, Li-Yan Yuan, Randy Goebel |
An Abductive Semantics for Disjunctive Logic Programs and Its Proof Procedure. |
FSTTCS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Xianchang Wang, Jia-Huai You, Li-Yan Yuan |
Circumscription by Inference Rules with Priority. |
ECAI |
1996 |
DBLP BibTeX RDF |
|
| 1 | Xianchang Wang, Jia-Huai You, Li-Yan Yuan |
Nonmonotonic Reasoning by Monotonic Inference with Priority Constraints. |
NMELP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia-Huai You, Li-Yan Yuan |
On the Equivalence of Semantics for Normal Logic Programs. |
J. Log. Program. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia-Huai You, Suryanil Ghosh, Li-Yan Yuan, Randy Goebel |
An Introspective Framework for Paraconsistent Logic Programs and Disjunctive Databases. |
Deductive Databases / Abduction in Deductive Databases |
1995 |
DBLP BibTeX RDF |
|
| 1 | Li-Yan Yuan, Jia-Huai You |
On Coherence Approach to Logic Program Revision. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
| 1 | Jia-Huai You, Suryanil Ghosh, Li-Yan Yuan, Randy Goebel |
An Introspective Framework for Paraconsistent Logic Programs. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Li-Yan Yuan, Jia-Huai You |
On the Extension of Logic Programming with Negation through Uniform Proofs. |
LPNMR |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Ke Wang, Li-Yan Yuan |
First-Order Logic Characterization of Program Properties. |
IEEE Trans. Knowl. Data Eng. |
1994 |
DBLP DOI BibTeX RDF |
eductive databases, program properties, order reducible, FO-reducible programs, EDBs, database context, theorem-proving tools, stratified acyclic program, general chained program, bounded program, nonrecursive program, perfect models, extensional database, query processing, logic programming, logic programs, database theory, deductive databases, first-order logic, updates, integrity constraints, programming theory, fixed points, formal logic, inference rules, query answering, first-order theory |
| 1 | Li-Yan Yuan |
Logic Program Semantics and Circumscription of Autoepistemic Theories. |
Inf. Process. Lett. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Li-Yan Yuan |
Autoepistemic Logic of First Order and Its Expressive Power. |
J. Autom. Reasoning |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia-Huai You, Li-Yan Yuan |
A Three-Valued Semantics for Deductive Databases and Logic Programs. |
J. Comput. Syst. Sci. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia-Huai You, Li-Yan Yuan |
Logic Programming with Assumption Denials. |
NMELP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Li-Yan Yuan, Jia-Huai You |
A Simple but Effective Program Revision Method. |
SLP |
1994 |
DBLP BibTeX RDF |
|
| 1 | Li-Yan Yuan, Jia-Huai You |
Autoepistemic Circumscription and Logic Programming. |
J. Autom. Reasoning |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia-Huai You, Li-Yan Yuan |
Contradiction Resolving for Extended Logic Programs and Default Theories. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Li-Yan Yuan, Jia-Huai You |
Knowledge Base Revision Using Circumscription. |
DOOD |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Ke Wang, Li-Yan Yuan |
Preservation of Integrity Constraints in Definite DATALOG Programs. |
Inf. Process. Lett. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Li-Yan Yuan, Z. Meral Özsoyoglu |
Unifying functional and multivalued dependencies for relational database design. |
Inf. Sci. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Li-Yan Yuan, Z. Meral Özsoyoglu |
Design of Desirable Relational Database Schemes. |
J. Comput. Syst. Sci. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Ke Wang, Li-Yan Yuan |
Enforce Constraints in Archival Databases. |
ICCI |
1992 |
DBLP BibTeX RDF |
|
| 1 | Li-Yan Yuan (eds.) |
18th International Conference on Very Large Data Bases, August 23-27, 1992, Vancouver, Canada, Proceedings. |
|
1992 |
DBLP BibTeX RDF |
|
| 1 | Ke Wang, Li-Yan Yuan |
Incremental Database Design Revisited. |
ICCI |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Li-Yan Yuan |
On Semantics, Syntactics and Fixpoints of General Programs. |
ICCI |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Li-Yan Yuan, Jia-Huai You, Cheng Hui Wang |
A Proof-Theoretic Framework for Nonmonotonic Reasoning and Logic Programming. |
ICCI |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Ke Wang, Li-Yan Yuan |
First-Order Logic Reducible Programs. |
ICDE |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Yong Hu, Li-Yan Yuan |
Extended Well-Founded Model Semantics for General Logic Programs. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Leigh Willard, Li-Yan Yuan |
The Revised Gärdenfors Postulates and Update Semantics. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia-Huai You, Li-Yan Yuan |
Three-Valued Formalization of Logic Programming: Is It Needed? |
PODS |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Li-Yan Yuan, Jia-Huai You |
Discriminant Circumscription. |
FSTTCS |
1990 |
DBLP DOI BibTeX RDF |
Logic Programming with Negation, Deductive Databases, Nonmonotonic Reasoning |
| 1 | Li-Yan Yuan, Ding-An Chiang |
A Sound and Complete Query Evaluation Algorithm for Relational Databases with Disjunctive Information. |
PODS |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Li-Yan Yuan, Ding-An Chiang |
A Sound and Complete Query Evaluation Algorithm for Relational Databases with Null Values. |
SIGMOD Conference |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Li-Yan Yuan, Cheng Hui Wang |
On Reducing Parallel Circumscription. |
AAAI |
1988 |
DBLP BibTeX RDF |
|
| 1 | Z. Meral Özsoyoglu, Li-Yan Yuan |
Reduced MVDs and Minimal Covers. |
ACM Trans. Database Syst. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Z. Meral Özsoyoglu, Li-Yan Yuan |
A New Normal Form for Nested Relations. |
ACM Trans. Database Syst. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Z. Meral Özsoyoglu, Li-Yan Yuan |
A Design Method for Nested Relational Databases. |
ICDE |
1987 |
DBLP BibTeX RDF |
|
| 1 | Z. Meral Özsoyoglu, Li-Yan Yuan |
On the Normalization in Nested Relational Databases. |
NF² |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Li-Yan Yuan, Z. Meral Özsoyoglu |
Logical Design of Relational Database Systems. |
PODS |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Z. Meral Özsoyoglu, Li-Yan Yuan |
Notions of Dependency Preservation for Nested Relations. |
XP7.52 Workshop on Database Theory |
1986 |
DBLP BibTeX RDF |
|
| 1 | Li-Yan Yuan |
A design method for nested relations (abstract). |
ACM Conference on Computer Science |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Li-Yan Yuan, Z. Meral Özsoyoglu |
Unifying Functional and Multivalued Dependencies for Relational Database Design. |
PODS |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Z. Meral Özsoyoglu, Li-Yan Yuan |
A Normal Form for Nested Relations. |
PODS |
1985 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")