The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Jia-Huai You" ( http://dblp.L3S.de/Authors/Jia-Huai_You )

URL (Homepage):  http://web.cs.ualberta.ca/~you  Author page on DBLP  Author page in RDF  Community of Jia-Huai You in ASPL-2

Publication years (Num. hits)
1984-1990 (18) 1991-1994 (17) 1995-1997 (15) 1998-2001 (16) 2002-2005 (21) 2006-2009 (18) 2010-2012 (18) 2013-2015 (15) 2016-2019 (13)
Publication types (Num. hits)
article(61) incollection(1) inproceedings(89)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 28 occurrences of 26 keywords

Results
Found 152 publication records. Showing 151 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1David Spies, Jia-Huai You, Ryan Hayward Domain-Independent Cost-Optimal Planning in ASP. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Md. Solimul Chowdhury, Martin Müller 0003, Jia-Huai You Characterization of Glue Variables in CDCL SAT Solving. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Fangfang Liu, Jia-Huai You Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT. Search on Bibsonomy RuleML+RR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Md. Solimul Chowdhury, Martin Müller 0003, Jia-Huai You Preliminary Results on Exploration-Driven Satisfiability Solving. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Arash Karimi, Heng Zhang 0006, Jia-Huai You Restricted Chase Termination: A Hierarchical Approach and Experimentation. Search on Bibsonomy RuleML+RR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Fangfang Liu, Jia-Huai You Three-Valued Semantics for Hybrid MKNF Knowledge Bases Revisited (Extended Abstract). Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Fangfang Liu, Jia-Huai You Three-valued semantics for hybrid MKNF knowledge bases revisited. Search on Bibsonomy Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jianmin Ji, Fangfang Liu, Jia-Huai You Well-Founded Operators for Normal Hybrid MKNF Knowledge Bases. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Jianmin Ji, Fangfang Liu, Jia-Huai You Well-founded operators for normal hybrid MKNF knowledge bases. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Arash Karimi, Heng Zhang 0006, Jia-Huai You Beyond Skolem Chase: A Study of Finite Chase under Standard Chase Variant. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Heng Zhang 0006, Yan Zhang 0003, Jia-Huai You Expressive Completeness of Existential Rule Languages for Ontology-based Query Answering. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Fangfang Liu, Yi Bi, Md. Solimul Chowdhury, Jia-Huai You, Zhiyong Feng Flexible Approximators for Approximating Fixpoint Theory. Search on Bibsonomy Canadian Conference on AI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Heng Zhang 0006, Yan Zhang 0003, Jia-Huai You Expressive Completeness of Existential Rule Languages for Ontology-Based Query Answering. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Lengdong Wu, Li-Yan Yuan, Jia-Huai You Survey of Large-Scale Data Management Systems for Big Data Applications. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Li-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. Search on Bibsonomy SIGMOD Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Heng Zhang 0006, Yan Zhang 0003, Jia-Huai You Existential Rule Languages with Finite Chase: Complexity and Expressiveness. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Jianmin Ji, Jia-Huai You, Yisong Wang On Forgetting Postulates in Answer Set Programming. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Yi Bi, Jia-Huai You, Zhiyong Feng A Well-Founded Semantics for FOL-Programs. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Heng Zhang 0006, Yan Zhang 0003, Jia-Huai You Existential Rule Languages with Finite Chase: Complexity and Expressiveness. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Li-Yan Yuan, Lengdong Wu, Jia-Huai You, Yan Chi Rubato DB: A Highly Scalable Staged Grid Database System for OLTP and Big Data Applications. Search on Bibsonomy CIKM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Lengdong Wu, Li-Yan Yuan, Jia-Huai You BASIC: An alternative to BASE for large-scale data management system. Search on Bibsonomy BigData The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Md. 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. Search on Bibsonomy LOPSTR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yi Bi, Jia-Huai You, Zhiyong Feng A Generalization of Approximation Fixpoint Theory and Application. Search on Bibsonomy RR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jia-Huai You, Heng Zhang 0006, Yan Zhang 0003 Disjunctive logic programs with existential quantification in rule heads. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jianmin Ji, Fangzhen Lin, Jia-Huai You Computing Loops with at Most One External Support Rule for Basic Logic Programs with Arbitrary Constraint Atoms. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  BibTeX  RDF
1Guohua Liu, Jia-Huai You Relating weight constraint and aggregate programs: Semantics and representation. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Yisong Wang, Jia-Huai You, Mingyi Zhang Embedding Functions into Disjunctive Logic Programs. Search on Bibsonomy ICTAC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Yisong Wang, Thomas Eiter, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen Eliminating Nonmonotonic DL-Atoms in Description Logic Programs. Search on Bibsonomy RR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen, Mingyi Zhang The loop formula based semantics of description logic programs. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jia-Huai You, Yi-Dong Shen, Kewen Wang Well-Supported Semantics for Logic Programs with Generalized Rules. Search on Bibsonomy Correct Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jia-Huai You, John Morris, Yi Bi Reconciling Well-Founded Semantics of DL-Programs and Aggregate Programs. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yisong Wang, Fangzhen Lin, Mingyi Zhang, Jia-Huai You A Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms. Search on Bibsonomy AAAI The full citation details ... 2012 DBLP  BibTeX  RDF
1Md. Solimul Chowdhury, Jia-Huai You SAT with Global Constraints. Search on Bibsonomy ICTAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Guohua Liu, Jia-Huai You Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs. Search on Bibsonomy Fundam. Inform. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Chonghai Wang, Li-Yan Yuan, Jia-Huai You On the semantics of top-k ranking for objects with uncertain data. Search on Bibsonomy Computers & Mathematics with Applications The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Guohua Liu, Jia-Huai You Relating Weight Constraint and Aggregate Programs: Semantics and Representation Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen, Thomas Eiter Embedding Description Logic Programs into Default Logic Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Chonghai Wang, Li-Yan Yuan, Jia-Huai You, Osmar R. Zaïane, Jian Pei On Pruning for Top-K Ranking in Uncertain Databases. (PDF / PS) Search on Bibsonomy PVLDB The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Guohua Liu, Randy Goebel, Tomi Janhunen, Ilkka Niemelä, Jia-Huai You Strong Equivalence of Logic Programs with Abstract Constraint Atoms. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Neng-Fa Zhou, Yi-Dong Shen, Jia-Huai You Compiling Answer Set Programs into Event-Driven Action Rules. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Qian Yang, Jia-Huai You, Zhiyong Feng Integrating Rules and Description Logics by Circumscription. Search on Bibsonomy AAAI The full citation details ... 2011 DBLP  BibTeX  RDF
1Guohua Liu, Jia-Huai You Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs. Search on Bibsonomy Fundam. Inform. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yisong Wang, Jia-Huai You, Fangzhen Lin, Li-Yan Yuan, Mingyi Zhang Weight constraint programs with evaluable functions. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen Loop Formulas for Description Logic Programs Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen Loop formulas for description logic programs. Search on Bibsonomy TPLP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Chonghai Wang, Li-Yan Yuan, Jia-Huai You Top-k ranking for uncertain data. Search on Bibsonomy FSKD The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yisong Wang, Mingyi Zhang, Jia-Huai You Logic Programs, Compatibility and Forward Chaining Construction. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan Characterizations of Stable Model Semantics for Logic Programs with Arbitrary Constraint Atoms Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan Characterizations of stable model semantics for logic programs with arbitrary constraint atoms. Search on Bibsonomy TPLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Yi-Dong Shen, Jia-Huai You A Default Approach to Semantics of Logic Programs with Constraint Atoms. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Yisong Wang, Jia-Huai You, Li-Yan Yuan, Mingyi Zhang Weight Constraint Programs with Functions. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jia-Huai You Towards an Embedded Approach to Declarative Problem Solving in ASP. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Gang Wu, Ming-Yang Kao, Guohui Lin, Jia-Huai You Reconstructing phylogenies from noisy quartets in polynomial time with a high success probability. Search on Bibsonomy Algorithms for Molecular Biology The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Guohua Liu, Jia-Huai You Lparse Programs Revisited: Semantics and Representation of Aggregates. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jia-Huai You, Guohua Liu Loop Formulas for Logic Programs with Arbitrary Constraint Atoms. Search on Bibsonomy AAAI The full citation details ... 2008 DBLP  BibTeX  RDF
1Fangzhen Lin, Jia-Huai You Abductive Logic Programming by Nonground Rewrite Systems. Search on Bibsonomy AAAI The full citation details ... 2008 DBLP  BibTeX  RDF
1Fangzhen Lin, Jia-Huai You Recycling computed answers in rewrite systems for abduction. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF partial stable model semantics, logic programming, abduction, rewrite systems, recycling, Stable model semantics
1Gang Wu, Jia-Huai You, Guohui Lin Quartet-Based Phylogeny Reconstruction with Answer Set Programming. Search on Bibsonomy IEEE/ACM Trans. Comput. Biology Bioinform. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF quartet, Maximum Quartet Consistency (MQC), Answer Set Programming (ASP), ultrametric matrix, Phylogeny
1Guohua Liu, Jia-Huai You On the Effectiveness of Looking Ahead in Search for Answer Sets. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jia-Huai You, Li-Yan Yuan, Guohua Liu, Yi-Dong Shen Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Yi-Dong Shen, Jia-Huai You A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints. Search on Bibsonomy AAAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Guohua Liu, Jia-Huai You Adaptive Lookahead for Answer Set Computation. Search on Bibsonomy ICTAI (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Gang Wu, Jia-Huai You, Guohui Lin A polynomial time algorithm for the minimum quartet inconsistency problem with O(n) quartet errors. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You Unfolding partiality and disjunctions in stable model semantics. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF disjunctive stable models, partial models, Answer set programming, inference engine, quantified Boolean formulas, minimal models
1Yi-Dong Shen, Qiang Yang 0001, Jia-Huai You, Li-Yan Yuan Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan Enhancing Global SLS-Resolution with Loop Cutting and Tabling Mechanisms Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1Gang Wu, Jia-Huai You, Guohui Lin Application of Smodels in Quartet Based Phylogeny Construction. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Jia-Huai You, Guohua Liu, Li-Yan Yuan, Curtis Onuczko Lookahead in Smodels Compared to Local Consistencies in CSP. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Gang Wu, Jia-Huai You, Guohui Lin A Polynomial Algorithm for the Minimum Quartet Inconsistency Problem with O(n) Quartet Errors. Search on Bibsonomy CSB Workshops The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Gang Wu, Guohui Lin, Jia-Huai You, Xiaomeng Wu Faster solution to the maximum quartet consistency problem with constraint programming. Search on Bibsonomy APBC The full citation details ... 2005 DBLP  BibTeX  RDF
1Gang Wu, Jia-Huai You, Guohui Lin A Lookahead Branch-and-Bound Algorithm for the Maximum Quartet Consistency Problem. Search on Bibsonomy WABI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan Enhancing global SLS-resolution with loop cutting and tabling mechanisms. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Fangzhen Lin, Jia-Huai You Recycling Computed Answers in Rewrite Systems for Abduction Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
1Aditya K. Ghose, Pablo O. Hadjinian, Abdul Sattar 0001, Jia-Huai You, Randy Goebel Iterated Belief Change. Search on Bibsonomy Computational Intelligence The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Jia-Huai You, Guiwen Hou Arc-Consistency + Unit Propagation = Lookahead. Search on Bibsonomy ICLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Xiumei Jia, Jia-Huai You, Li-Yan Yuan Adding Domain Dependent Knowledge into Answer Set Programs for Planning. Search on Bibsonomy ICLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Gang Wu, Guohui Lin, Jia-Huai You Quartet Based Phylogeny Reconstruction with Answer Set Programming. Search on Bibsonomy ICTAI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan, Samuel S. P. Shen, Qiang Yang 0001 A dynamic approach to characterizing termination of general logic programs. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF dynamic characterization, Prolog, Termination analysis
1Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You Unfolding Partiality and Disjunctions in Stable Model Semantics Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Jia-Huai You, Li-Yan Yuan, Mingyi Zhang On the Equivalence between Answer Sets and Models of Completion for Nested Logic Programs. Search on Bibsonomy IJCAI The full citation details ... 2003 DBLP  BibTeX  RDF
1Fangzhen Lin, Jia-Huai You Recycling Computed Answers in Rewrite Systems for Abduction. Search on Bibsonomy IJCAI The full citation details ... 2003 DBLP  BibTeX  RDF
1Fangzhen Lin, Jia-Huai You Abduction in logic programming: A new definition and an abductive procedure based on rewriting. Search on Bibsonomy Artif. Intell. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan, Samuel S. P. Shen, Qiang Yang 0001 A Dynamic Approach to Characterizing Termination of General Logic Programs Search on Bibsonomy CoRR The full citation details ... 2002 DBLP  BibTeX  RDF
1Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You SLT-Resolution for the Well-Founded Semantics. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Guan-Shieng Huang, Xiumei Jia, Churn-Jung Liau, Jia-Huai You Two-Literal Logic Programs and Satisfiability Representation of Stable Models: A Comparison. Search on Bibsonomy Canadian Conference on AI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You Loop checks for logic programs with functions. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You Implementation of a Linear Tabling Mechanism. Search on Bibsonomy Journal of Functional and Logic Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Jia-Huai You, Xianchang Wang, Li-Yan Yuan Nonmonotonic Reasoning as Prioritized Argumentation. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou Linear tabulated resolution based on Prolog control strategy. Search on Bibsonomy TPLP The full citation details ... 2001 DBLP  BibTeX  RDF
1Fangzhen Lin, Jia-Huai You Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting. Search on Bibsonomy IJCAI The full citation details ... 2001 DBLP  BibTeX  RDF
1Jia-Huai You, Li-Yan Yuan, Randy Goebel An abductive approach to disjunctive logic programming. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You Verifying Termination of General Logic Programs with Concrete Queries Search on Bibsonomy CoRR The full citation details ... 2000 DBLP  BibTeX  RDF
1Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou Linear Tabulated Resolution Based on Prolog Control Strategy Search on Bibsonomy CoRR The full citation details ... 2000 DBLP  BibTeX  RDF
1Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You SLT-Resolution for the Well-Founded Semantics Search on Bibsonomy CoRR The full citation details ... 2000 DBLP  BibTeX  RDF
1Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You Implementation of a Linear Tabling Mechanism. Search on Bibsonomy PADL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen, Ilkka Niemelä, Patrik Simons, Jia-Huai You Unfolding Partiality and Disjunctions in Stable Model Semantics. Search on Bibsonomy KR The full citation details ... 2000 DBLP  BibTeX  RDF
1Jia-Huai You, Xianchang Wang, Li-Yan Yuan Compiling Defeasible Inheritance Networks to General Logic Programs. Search on Bibsonomy Artif. Intell. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You A Linear Tabling Mechanism. Search on Bibsonomy ICLP The full citation details ... 1999 DBLP  BibTeX  RDF
1Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou Linear Tabulated Resolutions for the Well-Founded Semantics. Search on Bibsonomy LPNMR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Li-Yan Yuan, Jia-Huai You Coherence Approach to Logic Program Revision. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF knowledge representation, Logic programming, belief revision, nonmonotonic reasoning
Displaying result #1 - #100 of 151 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license