| 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 | Guohua Liu, Jia-Huai You |
Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs. |
Fundam. Inform. |
2011 |
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 | Guohua Liu, Jia-Huai You |
Relating Weight Constraint and Aggregate Programs: Semantics and Representation |
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 | Guohua Liu, Randy Goebel, Tomi Janhunen, Ilkka Niemelä, Jia-Huai You |
Strong Equivalence of Logic Programs with Abstract Constraint Atoms. |
LPNMR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Neng-Fa Zhou, Yi-Dong Shen, Jia-Huai You |
Compiling Answer Set Programs into Event-Driven Action Rules. |
LPNMR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Qian Yang, Jia-Huai You, Zhiyong Feng |
Integrating Rules and Description Logics by Circumscription. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Guohua Liu, Jia-Huai You |
Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs. |
Fundam. Inform. |
2010 |
DBLP DOI 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 | Yisong Wang, Mingyi Zhang, Jia-Huai You |
Logic Programs, Compatibility and Forward Chaining Construction. |
J. Comput. Sci. Technol. |
2009 |
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. |
TPLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia-Huai You |
Towards an Embedded Approach to Declarative Problem Solving in ASP. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi-Dong Shen, Jia-Huai You |
A Default Approach to Semantics of Logic Programs with Constraint Atoms. |
LPNMR |
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 | Gang Wu, Ming-Yang Kao, Guohui Lin, Jia-Huai You |
Reconstructing phylogenies from noisy quartets in polynomial time with a high success probability. |
Algorithms for Molecular Biology |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Guohua Liu, Jia-Huai You |
Lparse Programs Revisited: Semantics and Representation of Aggregates. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fangzhen Lin, Jia-Huai You |
Abductive Logic Programming by Nonground Rewrite Systems. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jia-Huai You, Guohua Liu |
Loop Formulas for Logic Programs with Arbitrary Constraint Atoms. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Gang Wu, Jia-Huai You, Guohui Lin |
Quartet-Based Phylogeny Reconstruction with Answer Set Programming. |
IEEE/ACM Trans. Comput. Biology Bioinform. |
2007 |
DBLP DOI BibTeX RDF |
quartet, Maximum Quartet Consistency (MQC), Answer Set Programming (ASP), ultrametric matrix, Phylogeny |
| 1 | Fangzhen Lin, Jia-Huai You |
Recycling computed answers in rewrite systems for abduction. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
partial stable model semantics, logic programming, abduction, rewrite systems, recycling, Stable model semantics |
| 1 | Guohua Liu, Jia-Huai You |
On the Effectiveness of Looking Ahead in Search for Answer Sets. |
LPNMR |
2007 |
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 | Guohua Liu, Jia-Huai You |
Adaptive Lookahead for Answer Set Computation. |
ICTAI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi-Dong Shen, Jia-Huai You |
A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Gang Wu, Jia-Huai You, Guohui Lin |
A polynomial time algorithm for the minimum quartet inconsistency problem with O(n) quartet errors. |
Inf. Process. Lett. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You |
Unfolding partiality and disjunctions in stable model semantics. |
ACM Trans. Comput. Log. |
2006 |
DBLP DOI BibTeX RDF |
disjunctive stable models, partial models, Answer set programming, inference engine, quantified Boolean formulas, minimal models |
| 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 | Gang Wu, Jia-Huai You, Guohui Lin |
A Polynomial Algorithm for the Minimum Quartet Inconsistency Problem with O(n) Quartet Errors. |
CSB Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gang Wu, Guohui Lin, Jia-Huai You, Xiaomeng Wu |
Faster solution to the maximum quartet consistency problem with constraint programming. |
APBC |
2005 |
DBLP BibTeX RDF |
|
| 1 | Gang Wu, Jia-Huai You, Guohui Lin |
Application of Smodels in Quartet Based Phylogeny Construction. |
LPNMR |
2005 |
DBLP DOI 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 | Gang Wu, Jia-Huai You, Guohui Lin |
A Lookahead Branch-and-Bound Algorithm for the Maximum Quartet Consistency Problem. |
WABI |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fangzhen Lin, Jia-Huai You |
Recycling Computed Answers in Rewrite Systems for Abduction |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Aditya K. Ghose, Pablo O. Hadjinian, Abdul Sattar, Jia-Huai You, Randy Goebel |
Iterated Belief Change. |
Computational Intelligence |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia-Huai You, Guiwen Hou |
Arc-Consistency + Unit Propagation = Lookahead. |
ICLP |
2004 |
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 | Gang Wu, Guohui Lin, Jia-Huai You |
Quartet Based Phylogeny Reconstruction with Answer Set Programming. |
ICTAI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You |
Unfolding Partiality and Disjunctions in Stable Model Semantics |
CoRR |
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. |
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 | Fangzhen Lin, Jia-Huai You |
Recycling Computed Answers in Rewrite Systems for Abduction. |
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 | Fangzhen Lin, Jia-Huai You |
Abduction in logic programming: A new definition and an abductive procedure based on rewriting. |
Artif. Intell. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Guan-Shieng Huang, Xiumei Jia, Churn-Jung Liau, Jia-Huai You |
Two-Literal Logic Programs and Satisfiability Representation of Stable Models: A Comparison. |
Canadian Conference on AI |
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 | Fangzhen Lin, Jia-Huai You |
Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting. |
IJCAI |
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 | Tomi Janhunen, Ilkka Niemelä, Patrik Simons, Jia-Huai You |
Unfolding Partiality and Disjunctions in Stable Model Semantics. |
KR |
2000 |
DBLP 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 | Jia-Huai You, Robert Cartwright, Ming Li |
Iterative Belief Revision in Extended Logic Programming. |
Theor. Comput. Sci. |
1996 |
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 | Srinivas Padmanabhuni, Jia-Huai You, Aditya Ghose |
A framework for learning constraints: Preliminary report. |
PRICAI Workshops |
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 | 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 | Jia-Huai You, Robert Cartwright |
Tractable Argumentation Semantics via Iterative Belief Revision. |
SLP |
1994 |
DBLP BibTeX RDF |
|
| 1 | Zhiyong Liu, Jia-Huai You |
Conflict-Free Routing for BPC-Permutations on Synchronous Hupercubes. |
Parallel Computing |
1993 |
DBLP DOI 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 | Zhiyong Liu, Jia-Huai You |
An Implementation of a Nonlinear Skewing Scheme. |
Inf. Process. Lett. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiyong Liu, Jia-Huai You, Xiaobo Li |
Conflict-Free Routing on Hypercubes. |
ICCI |
1992 |
DBLP BibTeX RDF |
|
| 1 | Zhiyong Liu, Jia-Huai You, Xiaobo Li |
The Odd-Even Expansion Storage Scheme and Its Implementation Issues. |
IPPS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Zhiyong Liu, Xiaobo Li, Jia-Huai You |
On storage schemes for parallel array access. |
ICS |
1992 |
DBLP DOI BibTeX RDF |
matrix manipulation, parallel processing, address generation, skewing schemes, memory conflict |
| 1 | Liwu Li, Jia-Huai You |
Making default inferences from logic programs. |
Computational Intelligence |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia-Huai You |
Unification Modulo an Equality Theory for Equational Logic Programming. |
J. Comput. Syst. Sci. |
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 | Zhiyong Liu, Jia-Huai You |
Increasing Communication Bandwidth on Hypercube. |
ICCI |
1991 |
DBLP DOI BibTeX RDF |
complexity, interconnection network, hypercube, permutations, Parallel and distributed processing, communication bandwidth |
| 1 | Zhiyong Liu, Jia-Huai You |
Realizing Frequently Used Permutations on Syncube. |
ICPP |
1991 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")