Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJia-Huai You
Person information
- affiliation: University of Alberta, Edmonton, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 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 Conference on 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 - [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 - [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. Canadian Conference on 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