![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Jia-Huai You
Person information
- affiliation: University of Alberta, Edmonton, Canada
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c99]Md. Solimul Chowdhury, Martin Müller, Jia-Huai You:
Exploring Conflict Generating Decisions: Initial Results (Extended Abstract). SOCS 2024: 267-268 - 2023
- [c98]Spencer Killen, Wenkai Gao, Jia-Huai You:
Expanding the Class of Polynomial Time Computable Well-Founded Semantics for Hybrid MKNF. ICLP Workshops 2023 - [i24]Spencer Killen, Jia-Huai You:
Eliminating Unintended Stable Fixpoints for Hybrid Reasoning Systems. CoRR abs/2307.11286 (2023) - 2022
- [j47]Fangfang Liu
, Jia-Huai You
:
Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT. Theory Pract. Log. Program. 22(2): 305-334 (2022) - [c97]Spencer Killen, Jia-Huai You:
A Fixpoint Characterization of Three-Valued Disjunctive Hybrid MKNF Knowledge Bases. ICLP Technical Communications / Doctoral Consortium 2022: 51-64 - 2021
- [j46]Yi Huang
, Yisong Wang, Jia-Huai You, Mingyi Zhang, Ying Zhang:
Learning Disjunctive Logic Programs from Nondeterministic Interpretation Transitions. New Gener. Comput. 39(1): 273-301 (2021) - [j45]Arash Karimi
, Heng Zhang, Jia-Huai You:
Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation. Theory Pract. Log. Program. 21(1): 4-50 (2021) - [c96]Spencer Killen, Jia-Huai You:
Fixpoint Characterizations of Disjunctive Hybrid MKNF Knowledge Bases. ICLP Workshops 2021 - [c95]Spencer Killen, Jia-Huai You:
Unfounded Sets for Disjunctive Hybrid MKNF Knowledge Bases. KR 2021: 432-441 - [i23]Spencer Killen, Jia-Huai You:
Unfounded Sets for Disjunctive Hybrid MKNF Knowledge Bases. CoRR abs/2102.13162 (2021) - [i22]Md. Solimul Chowdhury, Martin Müller, Jia-Huai You:
A Deep Dive into Conflict Generating Decisions. CoRR abs/2105.04595 (2021) - [i21]Fangfang Liu, Jia-Huai You:
Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT. CoRR abs/2105.11071 (2021) - 2020
- [c94]Md. Solimul Chowdhury, Martin Müller, Jia-Huai You:
Guiding CDCL SAT Search via Random Exploration amid Conflict Depression. AAAI 2020: 1428-1435 - [c93]Heng Zhang, Yan Zhang, Jia-Huai You, Zhiyong Feng, Guifei Jiang:
Towards Universal Languages for Tractable Ontology Mediated Query Answering. AAAI 2020: 3049-3056 - [c92]Arash Karimi, Jia-Huai You:
Distributed Reasoning for Restricted Weakly-Linear Disjunctive Tuple-Generating Dependencies. RuleML+RR 2020: 140-149 - [i20]Arash Karimi, Heng Zhang, Jia-Huai You:
Restricted Chase Termination for Existential Rules: a Hierarchical Approach and Experimentation. CoRR abs/2005.05423 (2020)
2010 – 2019
- 2019
- [j44]David Spies, Jia-Huai You
, Ryan Hayward:
Domain-Independent Cost-Optimal Planning in ASP. Theory Pract. Log. Program. 19(5-6): 1124-1142 (2019) - [c91]Md. Solimul Chowdhury, Martin Müller, Jia-Huai You:
Exploiting Glue Clauses to Design Effective CDCL Branching Heuristics. CP 2019: 126-143 - [c90]Fangfang Liu, Jia-Huai You:
Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT. RuleML+RR 2019: 113-127 - [c89]David Spies, Jia-Huai You, Ryan Hayward:
Mutex Graphs and Multicliques: Reducing Grounding Size for Planning. ICLP Technical Communications 2019: 140-153 - [i19]Md. Solimul Chowdhury, Martin Müller, Jia-Huai You:
Characterization of Glue Variables in CDCL SAT Solving. CoRR abs/1904.11106 (2019) - [i18]David Spies, Jia-Huai You, Ryan Hayward:
Domain-Independent Cost-Optimal Planning in ASP. CoRR abs/1908.00112 (2019) - [i17]Heng Zhang, Yan Zhang, Jia-Huai You, Zhiyong Feng, Guifei Jiang:
Towards Universal Languages for Tractable Ontology Mediated Query Answering. CoRR abs/1911.11359 (2019) - 2018
- [c88]Md. Solimul Chowdhury, Martin Müller, Jia-Huai You:
Preliminary Results on Exploration-Driven Satisfiability Solving. AAAI 2018: 8069-8070 - [c87]Fangfang Liu, Jia-Huai You:
Three-Valued Semantics for Hybrid MKNF Knowledge Bases Revisited (Extended Abstract). IJCAI 2018: 5627-5631 - [c86]Arash Karimi, Heng Zhang, Jia-Huai You:
Restricted Chase Termination: A Hierarchical Approach and Experimentation. RuleML+RR 2018: 98-114 - 2017
- [j43]Fangfang Liu
, Jia-Huai You:
Three-valued semantics for hybrid MKNF knowledge bases revisited. Artif. Intell. 252: 123-138 (2017) - [j42]Jianmin Ji
, Fangfang Liu, Jia-Huai You:
Well-founded operators for normal hybrid MKNF knowledge bases. Theory Pract. Log. Program. 17(5-6): 889-905 (2017) - [c85]Arash Karimi, Heng Zhang, Jia-Huai You:
Beyond Skolem Chase: A Study of Finite Chase under Standard Chase Variant. Description Logics 2017 - [i16]Jianmin Ji, Fangfang Liu, Jia-Huai You:
Well-Founded Operators for Normal Hybrid MKNF Knowledge Bases. CoRR abs/1707.01959 (2017) - 2016
- [c84]Fangfang Liu, Yi Bi, Md. Solimul Chowdhury, Jia-Huai You, Zhiyong Feng:
Flexible Approximators for Approximating Fixpoint Theory. Canadian AI 2016: 224-236 - [c83]Heng Zhang, Yan Zhang, Jia-Huai You:
Expressive Completeness of Existential Rule Languages for Ontology-Based Query Answering. IJCAI 2016: 1330-1337 - [i15]Heng Zhang, Yan Zhang, Jia-Huai You:
Expressive Completeness of Existential Rule Languages for Ontology-based Query Answering. CoRR abs/1604.05006 (2016) - 2015
- [j41]Lengdong Wu, Li-Yan Yuan, Jia-Huai You:
Survey of Large-Scale Data Management Systems for Big Data Applications. J. Comput. Sci. Technol. 30(1): 163-183 (2015) - [c82]Heng Zhang, Yan Zhang, Jia-Huai You:
Existential Rule Languages with Finite Chase: Complexity and Expressiveness. AAAI 2015: 1678-1685 - [c81]Jianmin Ji
, Jia-Huai You, Yisong Wang:
On Forgetting Postulates in Answer Set Programming. IJCAI 2015: 3076-3083 - [c80]Li-Yan Yuan, Lengdong Wu, Jia-Huai You, Yan Chi:
A Demonstration of Rubato DB: A Highly Scalable NewSQL Database System for OLTP and Big Data Applications. SIGMOD Conference 2015: 907-912 - 2014
- [c79]Lengdong Wu, Li-Yan Yuan, Jia-Huai You:
BASIC: An alternative to BASE for large-scale data management system. IEEE BigData 2014: 5-14 - [c78]Li-Yan Yuan, Lengdong Wu, Jia-Huai You, Yan Chi:
Rubato DB: A Highly Scalable Staged Grid Database System for OLTP and Big Data Applications. CIKM 2014: 1-10 - [c77]Md. Solimul Chowdhury, Fangfang Liu, Wu Chen, Arash Karimi, Jia-Huai You:
Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies. LOPSTR 2014: 279-296 - [c76]Yi Bi, Jia-Huai You, Zhiyong Feng:
A Generalization of Approximation Fixpoint Theory and Application. RR 2014: 45-59 - [i14]Yi Bi, Jia-Huai You, Zhiyong Feng:
A Well-Founded Semantics for FOL-Programs. CoRR abs/1405.3365 (2014) - [i13]Heng Zhang, Yan Zhang, Jia-Huai You:
Existential Rule Languages with Finite Chase: Complexity and Expressiveness. CoRR abs/1411.5220 (2014) - 2013
- [j40]Guohua Liu, Jia-Huai You:
Relating weight constraint and aggregate programs: Semantics and representation. Theory Pract. Log. Program. 13(1): 1-31 (2013) - [j39]Jianmin Ji
, Fangzhen Lin, Jia-Huai You:
Computing Loops with at Most One External Support Rule for Basic Logic Programs with Arbitrary Constraint Atoms. Theory Pract. Log. Program. 13(4-5-Online-Supplement) (2013) - [j38]Jia-Huai You, Heng Zhang
, Yan Zhang:
Disjunctive logic programs with existential quantification in rule heads. Theory Pract. Log. Program. 13(4-5): 563-578 (2013) - [c75]Yisong Wang, Jia-Huai You, Mingyi Zhang:
Embedding Functions into Disjunctive Logic Programs. ICTAC 2013: 355-372 - [c74]Yisong Wang, Thomas Eiter, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen:
Eliminating Nonmonotonic DL-Atoms in Description Logic Programs. RR 2013: 168-182 - 2012
- [j37]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. 415: 60-85 (2012) - [c73]Yisong Wang, Fangzhen Lin, Mingyi Zhang, Jia-Huai You:
A Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms. AAAI 2012: 835-841 - [c72]Jia-Huai You, Yi-Dong Shen, Kewen Wang
:
Well-Supported Semantics for Logic Programs with Generalized Rules. Correct Reasoning 2012: 576-591 - [c71]Jia-Huai You, John Morris, Yi Bi:
Reconciling Well-Founded Semantics of DL-Programs and Aggregate Programs. ICLP (Technical Communications) 2012: 235-246 - [c70]Md. Solimul Chowdhury, Jia-Huai You:
SAT with Global Constraints. ICTAI 2012: 73-80 - 2011
- [j36]Chonghai Wang, Li-Yan Yuan, Jia-Huai You:
On the semantics of top-k ranking for objects with uncertain data. Comput. Math. Appl. 62(7): 2812-2823 (2011) - [j35]Guohua Liu, Jia-Huai You:
Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs. Fundam. Informaticae 106(1): 25-43 (2011) - [j34]Chonghai Wang, Li-Yan Yuan, Jia-Huai You, Osmar R. Zaïane, Jian Pei
:
On Pruning for Top-K Ranking in Uncertain Databases. Proc. VLDB Endow. 4(10): 598-609 (2011) - [c69]Qian Yang, Jia-Huai You, Zhiyong Feng:
Integrating Rules and Description Logics by Circumscription. AAAI 2011: 274-279 - [c68]Guohua Liu, Randy Goebel, Tomi Janhunen, Ilkka Niemelä, Jia-Huai You:
Strong Equivalence of Logic Programs with Abstract Constraint Atoms. LPNMR 2011: 161-173 - [c67]Neng-Fa Zhou, Yi-Dong Shen, Jia-Huai You:
Compiling Answer Set Programs into Event-Driven Action Rules. LPNMR 2011: 376-381 - [i12]Guohua Liu, Jia-Huai You:
Relating Weight Constraint and Aggregate Programs: Semantics and Representation. CoRR abs/1105.3414 (2011) - [i11]Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen, Thomas Eiter:
Embedding Description Logic Programs into Default Logic. CoRR abs/1111.1486 (2011) - 2010
- [j33]Yisong Wang, Jia-Huai You, Fangzhen Lin, Li-Yan Yuan, Mingyi Zhang:
Weight constraint programs with evaluable functions. Ann. Math. Artif. Intell. 60(3-4): 341-380 (2010) - [j32]Guohua Liu, Jia-Huai You:
Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs. Fundam. Informaticae 101(3): 237-255 (2010) - [j31]Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen:
Loop formulas for description logic programs. Theory Pract. Log. Program. 10(4-6): 531-545 (2010) - [c66]Chonghai Wang, Li-Yan Yuan, Jia-Huai You:
Top-k ranking for uncertain data. FSKD 2010: 363-368 - [i10]Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen:
Loop Formulas for Description Logic Programs. CoRR abs/1007.4040 (2010)
2000 – 2009
- 2009
- [j30]Yisong Wang, Mingyi Zhang, Jia-Huai You:
Logic Programs, Compatibility and Forward Chaining Construction. J. Comput. Sci. Technol. 24(6): 1125-1137 (2009) - [j29]Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan:
Characterizations of stable model semantics for logic programs with arbitrary constraint atoms. Theory Pract. Log. Program. 9(4): 529-564 (2009) - [c65]Yi-Dong Shen, Jia-Huai You:
A Default Approach to Semantics of Logic Programs with Constraint Atoms. LPNMR 2009: 277-289 - [c64]Yisong Wang, Jia-Huai You, Li-Yan Yuan, Mingyi Zhang:
Weight Constraint Programs with Functions. LPNMR 2009: 329-341 - [c63]Jia-Huai You:
Towards an Embedded Approach to Declarative Problem Solving in ASP. LPNMR 2009: 634-636 - [i9]Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan:
Characterizations of Stable Model Semantics for Logic Programs with Arbitrary Constraint Atoms. CoRR abs/0904.4727 (2009) - 2008
- [j28]Gang Wu, Ming-Yang Kao, Guohui Lin, Jia-Huai You:
Reconstructing phylogenies from noisy quartets in polynomial time with a high success probability. Algorithms Mol. Biol. 3 (2008) - [c62]Fangzhen Lin, Jia-Huai You:
Abductive Logic Programming by Nonground Rewrite Systems. AAAI 2008: 480-485 - [c61]Jia-Huai You, Guohua Liu:
Loop Formulas for Logic Programs with Arbitrary Constraint Atoms. AAAI 2008: 584-589 - [c60]Guohua Liu, Jia-Huai You:
Lparse Programs Revisited: Semantics and Representation of Aggregates. ICLP 2008: 347-361 - 2007
- [j27]Gang Wu, Jia-Huai You, Guohui Lin:
Quartet-Based Phylogeny Reconstruction with Answer Set Programming. IEEE ACM Trans. Comput. Biol. Bioinform. 4(1): 139-152 (2007) - [j26]Fangzhen Lin, Jia-Huai You:
Recycling computed answers in rewrite systems for abduction. ACM Trans. Comput. Log. 8(2): 9 (2007) - [c59]Yi-Dong Shen, Jia-Huai You:
A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints. AAAI 2007: 483-488 - [c58]Guohua Liu, Jia-Huai You:
Adaptive Lookahead for Answer Set Computation. ICTAI (2) 2007: 230-237 - [c57]Jia-Huai You, Li-Yan Yuan, Guohua Liu, Yi-Dong Shen:
Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities. LPNMR 2007: 228-240 - [c56]Guohua Liu, Jia-Huai You:
On the Effectiveness of Looking Ahead in Search for Answer Sets. LPNMR 2007: 303-308 - 2006
- [j25]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. 100(4): 167-171 (2006) - [j24]Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You:
Unfolding partiality and disjunctions in stable model semantics. ACM Trans. Comput. Log. 7(1): 1-37 (2006) - 2005
- [c55]Gang Wu, Guohui Lin, Jia-Huai You, Xiaomeng Wu:
Faster solution to the maximum quartet consistency problem with constraint programming. APBC 2005: 329-338 - [c54]Gang Wu, Jia-Huai You, Guohui Lin:
A Polynomial Algorithm for the Minimum Quartet Inconsistency Problem with O(n) Quartet Errors. CSB Workshops 2005: 55-56 - [c53]Jia-Huai You, Guohua Liu, Li-Yan Yuan, Curtis Onuczko:
Lookahead in Smodels Compared to Local Consistencies in CSP. LPNMR 2005: 266-278 - [c52]Gang Wu, Jia-Huai You, Guohui Lin:
Application of Smodels in Quartet Based Phylogeny Construction. LPNMR 2005: 369-373 - [c51]Gang Wu, Jia-Huai You, Guohui Lin:
A Lookahead Branch-and-Bound Algorithm for the Maximum Quartet Consistency Problem. WABI 2005: 65-76 - [i8]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 abs/cs/0506095 (2005) - [i7]Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan:
Enhancing Global SLS-Resolution with Loop Cutting and Tabling Mechanisms. CoRR abs/cs/0507035 (2005) - 2004
- [j23]Aditya K. Ghose, Pablo O. Hadjinian, Abdul Sattar, Jia-Huai You, Randy Goebel:
Iterated Belief Change. Comput. Intell. 20(1): 37-55 (2004) - [j22]Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan:
Enhancing global SLS-resolution with loop cutting and tabling mechanisms. Theor. Comput. Sci. 328(3): 271-287 (2004) - [c50]Jia-Huai You, Guiwen Hou:
Arc-Consistency + Unit Propagation = Lookahead. ICLP 2004: 314-328 - [c49]Xiumei Jia, Jia-Huai You, Li-Yan Yuan:
Adding Domain Dependent Knowledge into Answer Set Programs for Planning. ICLP 2004: 400-415 - [c48]Gang Wu, Guohui Lin, Jia-Huai You:
Quartet Based Phylogeny Reconstruction with Answer Set Programming. ICTAI 2004: 612-619 - [i6]Fangzhen Lin, Jia-Huai You:
Recycling Computed Answers in Rewrite Systems for Abduction. CoRR cs.AI/0402033 (2004) - 2003
- [j21]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. 4(4): 417-430 (2003) - [c47]Jia-Huai You, Li-Yan Yuan, Mingyi Zhang:
On the Equivalence between Answer Sets and Models of Completion for Nested Logic Programs. IJCAI 2003: 859-866 - [c46]Fangzhen Lin, Jia-Huai You:
Recycling Computed Answers in Rewrite Systems for Abduction. IJCAI 2003: 879-886 - [i5]Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You:
Unfolding Partiality and Disjunctions in Stable Model Semantics. CoRR cs.AI/0303009 (2003) - 2002
- [j20]Fangzhen Lin, Jia-Huai You:
Abduction in logic programming: A new definition and an abductive procedure based on rewriting. Artif. Intell. 140(1/2): 175-205 (2002) - [j19]Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You:
SLT-Resolution for the Well-Founded Semantics. J. Autom. Reason. 28(1): 53-97 (2002) - [c45]Guan-Shieng Huang, Xiumei Jia, Churn-Jung Liau, Jia-Huai You:
Two-Literal Logic Programs and Satisfiability Representation of Stable Models: A Comparison. AI 2002: 119-131 - [i4]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 cs.LO/0204031 (2002) - 2001
- [j18]Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You:
Implementation of a Linear Tabling Mechanism. J. Funct. Log. Program. 2001(10) (2001) - [j17]Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You:
Loop checks for logic programs with functions. Theor. Comput. Sci. 266(1-2): 441-461 (2001) - [j16]Jia-Huai You, Xianchang Wang, Li-Yan Yuan:
Nonmonotonic Reasoning as Prioritized Argumentation. IEEE Trans. Knowl. Data Eng. 13(6): 968-979 (2001) - [j15]Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou:
Linear tabulated resolution based on Prolog control strategy. Theory Pract. Log. Program. 1(1): 71-103 (2001) - [c44]Fangzhen Lin, Jia-Huai You:
Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting. IJCAI 2001: 655-666 - 2000
- [j14]Jia-Huai You, Li-Yan Yuan, Randy Goebel:
An abductive approach to disjunctive logic programming. J. Log. Program. 44(1-3): 101-127 (2000) - [c43]Tomi Janhunen, Ilkka Niemelä, Patrik Simons, Jia-Huai You:
Unfolding Partiality and Disjunctions in Stable Model Semantics. KR 2000: 411-422 - [c42]Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You:
Implementation of a Linear Tabling Mechanism. PADL 2000: 109-123 - [i3]Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You:
SLT-Resolution for the Well-Founded Semantics. CoRR cs.AI/0002016 (2000) - [i2]Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou:
Linear Tabulated Resolution Based on Prolog Control Strategy. CoRR cs.AI/0003046 (2000) - [i1]Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You:
Verifying Termination of General Logic Programs with Concrete Queries. CoRR cs.AI/0006031 (2000)
1990 – 1999
- 1999
- [j13]Jia-Huai You, Xianchang Wang, Li-Yan Yuan:
Compiling Defeasible Inheritance Networks to General Logic Programs. Artif. Intell. 113(1-2): 247-268 (1999) - [c41]Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You:
A Linear Tabling Mechanism. ICLP 1999: 618 - [c40]Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou:
Linear Tabulated Resolutions for the Well-Founded Semantics. LPNMR 1999: 192-205 - 1998
- [j12]Li-Yan Yuan, Jia-Huai You:
Coherence Approach to Logic Program Revision. IEEE Trans. Knowl. Data Eng. 10(1): 108-119 (1998) - [c39]Jia-Huai You, Li-Yan Yuan, Randy Goebel:
Regular Extension Semantics and Disjunctive Eshghi Kowalski Procedure. IJCSLP 1998: 175-189 - 1997
- [c38]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: 60-78 - [c37]Jia-Huai You, Li-Yan Yuan, Randy Goebel:
An Abductive Semantics for Disjunctive Logic Programs and Its Proof Procedure. FSTTCS 1997: 138-152 - [c36]Jia-Huai You, Xianchang Wang, Li-Yan Yuan:
Disjunctive Logic Programming as Constrained Inferences. ICLP 1997: 361-375 - [c35]Xianchang Wang, Jia-Huai You, Li-Yan Yuan:
A Default Interpretation of Defeasible Network. IJCAI (1) 1997: 156-161 - [c34]Li-Yan Yuan, Jia-Huai You, Randy Goebel:
Disjunctive Logic Programming and Autoepistemic Logic. LPKR 1997: 85-101 - [c33]Xianchang Wang, Jia-Huai You, Li-Yan Yuan:
On Confluence Property of Active Databases with Meta-Rules. Rules in Database Systems 1997: 118-132 - 1996
- [j11]Jia-Huai You, Robert Cartwright, Ming Li:
Iterative Belief Revision in Extended Logic Programming. Theor. Comput. Sci. 170(1-2): 383-406 (1996) - [c32]Xianchang Wang, Jia-Huai You, Li-Yan Yuan:
Circumscription by Inference Rules with Priority. ECAI 1996: 110-116 - [c31]Xianchang Wang, Jia-Huai You, Li-Yan Yuan:
Nonmonotonic Reasoning by Monotonic Inference with Priority Constraints. NMELP 1996: 91-109 - [c30]Srinivas Padmanabhuni, Jia-Huai You, Aditya Ghose:
A framework for learning constraints: Preliminary report. PRICAI Workshops 1996: 133-147 - 1995
- [j10]Jia-Huai You, Li-Yan Yuan:
On the Equivalence of Semantics for Normal Logic Programs. J. Log. Program. 22(3): 211-222 (1995) - [c29]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: 41-55 - [c28]Li-Yan Yuan, Jia-Huai You:
On Coherence Approach to Logic Program Revision. ICLP 1995: 167-181 - [c27]Li-Yan Yuan, Jia-Huai You:
On the Extension of Logic Programming with Negation through Uniform Proofs. LPNMR 1995: 231-244 - [c26]Jia-Huai You, Suryanil Ghosh, Li-Yan Yuan, Randy Goebel:
An Introspective Framework for Paraconsistent Logic Programs. ILPS 1995: 384-398 - 1994
- [j9]Jia-Huai You, Li-Yan Yuan:
A Three-Valued Semantics for Deductive Databases and Logic Programs. J. Comput. Syst. Sci. 49(2): 334-361 (1994) - [c25]Jia-Huai You, Li-Yan Yuan:
Logic Programming with Assumption Denials. NMELP 1994: 85-100 - [c24]Jia-Huai You, Robert Cartwright:
Tractable Argumentation Semantics via Iterative Belief Revision. ILPS 1994: 239-253 - [c23]Li-Yan Yuan, Jia-Huai You:
A Simple but Effective Program Revision Method. ILPS 1994: 686 - 1993
- [j8]Li-Yan Yuan, Jia-Huai You:
Autoepistemic Circumscription and Logic Programming. J. Autom. Reason. 10(2): 143-160 (1993) - [j7]Zhiyong Liu, Jia-Huai You:
Conflict-Free Routing for BPC-Permutations on Synchronous Hupercubes. Parallel Comput. 19(3): 323-342 (1993) - [c22]Li-Yan Yuan, Jia-Huai You:
Knowledge Base Revision Using Circumscription. DOOD 1993: 444-458 - [c21]Jia-Huai You, Li-Yan Yuan:
Contradiction Resolving for Extended Logic Programs and Default Theories. ILPS 1993: 640 - 1992
- [j6]Zhiyong Liu, Jia-Huai You:
An Implementation of a Nonlinear Skewing Scheme. Inf. Process. Lett. 42(4): 209-215 (1992) - [c20]Zhiyong Liu, Jia-Huai You, Xiaobo Li:
Conflict-Free Routing on Hypercubes. ICCI 1992: 153-158 - [c19]Zhiyong Liu, Xiaobo Li, Jia-Huai You:
On storage schemes for parallel array access. ICS 1992: 282-291 - [c18]Zhiyong Liu, Jia-Huai You, Xiaobo Li:
The Odd-Even Expansion Storage Scheme and Its Implementation Issues. IPPS 1992: 550-557 - 1991
- [j5]Liwu Li, Jia-Huai You:
Making default inferences from logic programs. Comput. Intell. 7: 142-153 (1991) - [j4]Jia-Huai You:
Unification Modulo an Equality Theory for Equational Logic Programming. J. Comput. Syst. Sci. 42(1): 54-75 (1991) - [c17]Zhiyong Liu, Jia-Huai You:
Increasing Communication Bandwidth on Hypercube. ICCI 1991: 403-414 - [c16]Li-Yan Yuan, Jia-Huai You, Cheng Hui Wang:
A Proof-Theoretic Framework for Nonmonotonic Reasoning and Logic Programming. ICCI 1991: 699-708 - [c15]Zhiyong Liu, Jia-Huai You:
Realizing Frequently Used Permutations on Syncube. ICPP (1) 1991: 274-277 - 1990
- [c14]Li-Yan Yuan, Jia-Huai You:
Discriminant Circumscription. FSTTCS 1990: 21-32 - [c13]Zhiyong Liu, Jia-Huai You:
Finding the Shortest Path in ESMSS Network. ICPP (1) 1990: 589-590 - [c12]Jia-Huai You, Li-Yan Yuan:
Three-Valued Formalization of Logic Programming: Is It Needed? PODS 1990: 172-182 - [c11]Zhiyong Liu, Jia-Huai You:
Dynamic load-balancing on a parallel inference system. SPDP 1990: 58-61
1980 – 1989
- 1989
- [j3]Jia-Huai You:
Enumarating Outer Narrowing Derivations for Constructor-Based Term Rewriting Systems. J. Symb. Comput. 7(3/4): 319-341 (1989) - [c10]Jia-Huai You, Brian Wong, Chung-Sea Law:
A new intelligent backtracking scheme for Prolog: a summary of results. TAI 1989: 190-197 - [c9]Jia-Huai You, P. A. Subrahmanyam:
On the Completeness of Narrowing for E-Unification. KBCS 1989: 296-305 - [c8]Jia-Huai You, Liwu Li:
Supported Circumscription and Its Relation to Logic Programming with Negation. NACLP 1989: 291-309 - 1988
- [c7]Jia-Huai You:
Solving Equations in an Equational Language. ALP 1988: 245-254 - [c6]Vickitt Lau, Jia-Huai You:
Parallelism in Nonmonotonic Multiple Inheritance Systems. Australian Joint Conference on Artificial Intelligence 1988: 449-462 - [c5]Jia-Huai You:
Outer Narrowing for Equational Theories Based on Constructors. ICALP 1988: 727-741 - 1986
- [j2]Jia-Huai You, P. A. Subrahmanyam:
A Class of Confluent Term Rewriting Systems and Unification. J. Autom. Reason. 2(4): 391-418 (1986) - [c4]Jia-Huai You, P. A. Subrahmanyam:
E-Unification Algorithms for a Class of Confluent Term Rewriting Systems. ICALP 1986: 454-463 - [c3]Jia-Huai You, P. A. Subrahmanyam:
Equational Logic Programming: An Extension to Equational Programming. POPL 1986: 209-218 - [p1]P. A. Subrahmanyam, Jia-Huai You:
FUNLOG: A Computational Model Integrating Logic Programming and Functional Programming. Logic Programming: Functions, Relations, and Equations 1986: 157-198 - 1984
- [j1]P. A. Subrahmanyam, Jia-Huai You:
On Embedding Functions in Logic. Inf. Process. Lett. 19(1): 41-46 (1984) - [c2]P. A. Subrahmanyam, Jia-Huai You:
Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic Programs. POPL 1984: 228-234 - [c1]P. A. Subrahmanyam, Jia-Huai You:
Conceptual Basis and Evaluation Strategies for Integrating Functional and Logic Programming. SLP 1984: 144-153
Coauthor Index
aka: Yi-Dong Shen
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-10 00:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint