Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Jia-Huai You
@inproceedings{DBLP:conf/iclp/KillenGY23, author = {Spencer Killen and Wenkai Gao and Jia{-}Huai You}, editor = {Joaqu{\'{\i}}n Arias and Sotiris Batsakis and Wolfgang Faber and Gopal Gupta and Francesco Pacenza and Emmanuel Papadakis and Livio Robaldo and Kilian R{\"{u}}ckschlo{\ss} and Elmer Salazar and Zeynep G. Saribatur and Ilias Tachmazidis and Felix Weitk{\"{a}}mper and Adam Z. Wyner}, title = {Expanding the Class of Polynomial Time Computable Well-Founded Semantics for Hybrid {MKNF}}, booktitle = {Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming {(ICLP} 2023), London, United Kingdom, July 9th and 10th, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3437}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3437/paper8ASPOCP.pdf}, timestamp = {Mon, 18 Dec 2023 10:22:48 +0100}, biburl = {https://dblp.org/rec/conf/iclp/KillenGY23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2307-11286, author = {Spencer Killen and Jia{-}Huai You}, title = {Eliminating Unintended Stable Fixpoints for Hybrid Reasoning Systems}, journal = {CoRR}, volume = {abs/2307.11286}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2307.11286}, doi = {10.48550/ARXIV.2307.11286}, eprinttype = {arXiv}, eprint = {2307.11286}, timestamp = {Wed, 26 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2307-11286.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/LiuY22, author = {Fangfang Liu and Jia{-}Huai You}, title = {Alternating Fixpoint Operator for Hybrid {MKNF} Knowledge Bases as an Approximator of {AFT}}, journal = {Theory Pract. Log. Program.}, volume = {22}, number = {2}, pages = {305--334}, year = {2022}, url = {https://doi.org/10.1017/S1471068421000168}, doi = {10.1017/S1471068421000168}, timestamp = {Wed, 27 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tplp/LiuY22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-2208-03087, author = {Spencer Killen and Jia{-}Huai You}, editor = {Yuliya Lierler and Jos{\'{e}} F. Morales and Carmine Dodaro and Ver{\'{o}}nica Dahl and Martin Gebser and K. Tuncay Tekle}, title = {A Fixpoint Characterization of Three-Valued Disjunctive Hybrid {MKNF} Knowledge Bases}, booktitle = {Proceedings 38th International Conference on Logic Programming, {ICLP} 2022 Technical Communications / Doctoral Consortium, Haifa, Israel, 31st July 2022 - 6th August 2022}, series = {{EPTCS}}, volume = {364}, pages = {51--64}, year = {2022}, url = {https://doi.org/10.4204/EPTCS.364.6}, doi = {10.4204/EPTCS.364.6}, timestamp = {Mon, 21 Aug 2023 17:48:16 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2208-03087.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ngc/HuangWYZZ21, author = {Yi Huang and Yisong Wang and Jia{-}Huai You and Mingyi Zhang and Ying Zhang}, title = {Learning Disjunctive Logic Programs from Nondeterministic Interpretation Transitions}, journal = {New Gener. Comput.}, volume = {39}, number = {1}, pages = {273--301}, year = {2021}, url = {https://doi.org/10.1007/s00354-020-00112-0}, doi = {10.1007/S00354-020-00112-0}, timestamp = {Thu, 29 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ngc/HuangWYZZ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/KarimiZY21, author = {Arash Karimi and Heng Zhang and Jia{-}Huai You}, title = {Restricted Chase Termination for Existential Rules: {A} Hierarchical Approach and Experimentation}, journal = {Theory Pract. Log. Program.}, volume = {21}, number = {1}, pages = {4--50}, year = {2021}, url = {https://doi.org/10.1017/S1471068420000101}, doi = {10.1017/S1471068420000101}, timestamp = {Tue, 26 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/KarimiZY21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/KillenY21, author = {Spencer Killen and Jia{-}Huai You}, editor = {Joaqu{\'{\i}}n Arias and Fabio Aurelio D'Asaro and Abeer Dyoub and Gopal Gupta and Markus Hecher and Emily LeBlanc and Rafael Pe{\~{n}}aloza and Elmer Salazar and Ari Saptawijaya and Felix Weitk{\"{a}}mper and Jessica Zangari}, title = {Fixpoint Characterizations of Disjunctive Hybrid {MKNF} Knowledge Bases}, booktitle = {Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming {(ICLP} 2021), Porto, Portugal (virtual), September 20th-21st, 2021}, series = {{CEUR} Workshop Proceedings}, volume = {2970}, publisher = {CEUR-WS.org}, year = {2021}, url = {https://ceur-ws.org/Vol-2970/aspocppaper3.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:26 +0100}, biburl = {https://dblp.org/rec/conf/iclp/KillenY21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/KillenY21, author = {Spencer Killen and Jia{-}Huai You}, editor = {Meghyn Bienvenu and Gerhard Lakemeyer and Esra Erdem}, title = {Unfounded Sets for Disjunctive Hybrid {MKNF} Knowledge Bases}, booktitle = {Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2021, Online event, November 3-12, 2021}, pages = {432--441}, year = {2021}, url = {https://doi.org/10.24963/kr.2021/41}, doi = {10.24963/KR.2021/41}, timestamp = {Wed, 03 Nov 2021 12:46:57 +0100}, biburl = {https://dblp.org/rec/conf/kr/KillenY21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2102-13162, author = {Spencer Killen and Jia{-}Huai You}, title = {Unfounded Sets for Disjunctive Hybrid {MKNF} Knowledge Bases}, journal = {CoRR}, volume = {abs/2102.13162}, year = {2021}, url = {https://arxiv.org/abs/2102.13162}, eprinttype = {arXiv}, eprint = {2102.13162}, timestamp = {Fri, 03 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2102-13162.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2105-04595, author = {Md. Solimul Chowdhury and Martin M{\"{u}}ller and Jia{-}Huai You}, title = {A Deep Dive into Conflict Generating Decisions}, journal = {CoRR}, volume = {abs/2105.04595}, year = {2021}, url = {https://arxiv.org/abs/2105.04595}, eprinttype = {arXiv}, eprint = {2105.04595}, timestamp = {Tue, 01 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2105-04595.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2105-11071, author = {Fangfang Liu and Jia{-}Huai You}, title = {Alternating Fixpoint Operator for Hybrid {MKNF} Knowledge Bases as an Approximator of {AFT}}, journal = {CoRR}, volume = {abs/2105.11071}, year = {2021}, url = {https://arxiv.org/abs/2105.11071}, eprinttype = {arXiv}, eprint = {2105.11071}, timestamp = {Mon, 31 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2105-11071.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/ChowdhuryMY20, author = {Md. Solimul Chowdhury and Martin M{\"{u}}ller and Jia{-}Huai You}, title = {Guiding {CDCL} {SAT} Search via Random Exploration amid Conflict Depression}, booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI} 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA, February 7-12, 2020}, pages = {1428--1435}, publisher = {{AAAI} Press}, year = {2020}, url = {https://doi.org/10.1609/aaai.v34i02.5500}, doi = {10.1609/AAAI.V34I02.5500}, timestamp = {Mon, 04 Sep 2023 12:29:24 +0200}, biburl = {https://dblp.org/rec/conf/aaai/ChowdhuryMY20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/0006ZY0J20, author = {Heng Zhang and Yan Zhang and Jia{-}Huai You and Zhiyong Feng and Guifei Jiang}, title = {Towards Universal Languages for Tractable Ontology Mediated Query Answering}, booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI} 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA, February 7-12, 2020}, pages = {3049--3056}, publisher = {{AAAI} Press}, year = {2020}, url = {https://doi.org/10.1609/aaai.v34i03.5699}, doi = {10.1609/AAAI.V34I03.5699}, timestamp = {Mon, 04 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/0006ZY0J20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/KarimiY20, author = {Arash Karimi and Jia{-}Huai You}, editor = {V{\'{\i}}ctor Guti{\'{e}}rrez{-}Basulto and Tom{\'{a}}s Kliegr and Ahmet Soylu and Martin Giese and Dumitru Roman}, title = {Distributed Reasoning for Restricted Weakly-Linear Disjunctive Tuple-Generating Dependencies}, booktitle = {Rules and Reasoning - 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 - July 1, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12173}, pages = {140--149}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-57977-7\_10}, doi = {10.1007/978-3-030-57977-7\_10}, timestamp = {Thu, 20 Aug 2020 14:53:35 +0200}, biburl = {https://dblp.org/rec/conf/ruleml/KarimiY20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2005-05423, author = {Arash Karimi and Heng Zhang and Jia{-}Huai You}, title = {Restricted Chase Termination for Existential Rules: a Hierarchical Approach and Experimentation}, journal = {CoRR}, volume = {abs/2005.05423}, year = {2020}, url = {https://arxiv.org/abs/2005.05423}, eprinttype = {arXiv}, eprint = {2005.05423}, timestamp = {Thu, 14 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2005-05423.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/SpiesYH19, author = {David Spies and Jia{-}Huai You and Ryan Hayward}, title = {Domain-Independent Cost-Optimal Planning in {ASP}}, journal = {Theory Pract. Log. Program.}, volume = {19}, number = {5-6}, pages = {1124--1142}, year = {2019}, url = {https://doi.org/10.1017/S1471068419000395}, doi = {10.1017/S1471068419000395}, timestamp = {Thu, 13 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/SpiesYH19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Chowdhury0Y19, author = {Md. Solimul Chowdhury and Martin M{\"{u}}ller and Jia{-}Huai You}, editor = {Thomas Schiex and Simon de Givry}, title = {Exploiting Glue Clauses to Design Effective {CDCL} Branching Heuristics}, booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11802}, pages = {126--143}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30048-7\_8}, doi = {10.1007/978-3-030-30048-7\_8}, timestamp = {Mon, 23 Sep 2019 13:55:24 +0200}, biburl = {https://dblp.org/rec/conf/cp/Chowdhury0Y19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/LiuY19, author = {Fangfang Liu and Jia{-}Huai You}, editor = {Paul Fodor and Marco Montali and Diego Calvanese and Dumitru Roman}, title = {Alternating Fixpoint Operator for Hybrid {MKNF} Knowledge Bases as an Approximator of {AFT}}, booktitle = {Rules and Reasoning - Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11784}, pages = {113--127}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-31095-0\_8}, doi = {10.1007/978-3-030-31095-0\_8}, timestamp = {Tue, 17 Sep 2019 08:33:32 +0200}, biburl = {https://dblp.org/rec/conf/ruleml/LiuY19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1909-08240, author = {David Spies and Jia{-}Huai You and Ryan Hayward}, editor = {Bart Bogaerts and Esra Erdem and Paul Fodor and Andrea Formisano and Giovambattista Ianni and Daniela Inclezan and Germ{\'{a}}n Vidal and Alicia Villanueva and Marina De Vos and Fangkai Yang}, title = {Mutex Graphs and Multicliques: Reducing Grounding Size for Planning}, booktitle = {Proceedings 35th International Conference on Logic Programming (Technical Communications), {ICLP} 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019}, series = {{EPTCS}}, volume = {306}, pages = {140--153}, year = {2019}, url = {https://doi.org/10.4204/EPTCS.306.20}, doi = {10.4204/EPTCS.306.20}, timestamp = {Mon, 03 Jan 2022 22:03:32 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1909-08240.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1904-11106, author = {Md. Solimul Chowdhury and Martin M{\"{u}}ller and Jia{-}Huai You}, title = {Characterization of Glue Variables in {CDCL} {SAT} Solving}, journal = {CoRR}, volume = {abs/1904.11106}, year = {2019}, url = {http://arxiv.org/abs/1904.11106}, eprinttype = {arXiv}, eprint = {1904.11106}, timestamp = {Thu, 02 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1904-11106.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1908-00112, author = {David Spies and Jia{-}Huai You and Ryan Hayward}, title = {Domain-Independent Cost-Optimal Planning in {ASP}}, journal = {CoRR}, volume = {abs/1908.00112}, year = {2019}, url = {http://arxiv.org/abs/1908.00112}, eprinttype = {arXiv}, eprint = {1908.00112}, timestamp = {Fri, 09 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1908-00112.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1911-11359, author = {Heng Zhang and Yan Zhang and Jia{-}Huai You and Zhiyong Feng and Guifei Jiang}, title = {Towards Universal Languages for Tractable Ontology Mediated Query Answering}, journal = {CoRR}, volume = {abs/1911.11359}, year = {2019}, url = {http://arxiv.org/abs/1911.11359}, eprinttype = {arXiv}, eprint = {1911.11359}, timestamp = {Thu, 11 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1911-11359.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/ChowdhuryMY18, author = {Md. Solimul Chowdhury and Martin M{\"{u}}ller and Jia{-}Huai You}, editor = {Sheila A. McIlraith and Kilian Q. Weinberger}, title = {Preliminary Results on Exploration-Driven Satisfiability Solving}, booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2-7, 2018}, pages = {8069--8070}, publisher = {{AAAI} Press}, year = {2018}, url = {https://doi.org/10.1609/aaai.v32i1.12164}, doi = {10.1609/AAAI.V32I1.12164}, timestamp = {Mon, 04 Sep 2023 12:29:24 +0200}, biburl = {https://dblp.org/rec/conf/aaai/ChowdhuryMY18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/LiuY18, author = {Fangfang Liu and Jia{-}Huai You}, editor = {J{\'{e}}r{\^{o}}me Lang}, title = {Three-Valued Semantics for Hybrid {MKNF} Knowledge Bases Revisited (Extended Abstract)}, booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm, Sweden}, pages = {5627--5631}, publisher = {ijcai.org}, year = {2018}, url = {https://doi.org/10.24963/ijcai.2018/798}, doi = {10.24963/IJCAI.2018/798}, timestamp = {Tue, 20 Aug 2019 16:19:08 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/LiuY18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/Karimi0Y18, author = {Arash Karimi and Heng Zhang and Jia{-}Huai You}, editor = {Christoph Benzm{\"{u}}ller and Francesco Ricca and Xavier Parent and Dumitru Roman}, title = {Restricted Chase Termination: {A} Hierarchical Approach and Experimentation}, booktitle = {Rules and Reasoning - Second International Joint Conference, RuleML+RR 2018, Luxembourg, September 18-21, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11092}, pages = {98--114}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99906-7\_7}, doi = {10.1007/978-3-319-99906-7\_7}, timestamp = {Tue, 31 Mar 2020 16:35:50 +0200}, biburl = {https://dblp.org/rec/conf/ruleml/Karimi0Y18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/LiuY17, author = {Fangfang Liu and Jia{-}Huai You}, title = {Three-valued semantics for hybrid {MKNF} knowledge bases revisited}, journal = {Artif. Intell.}, volume = {252}, pages = {123--138}, year = {2017}, url = {https://doi.org/10.1016/j.artint.2017.08.003}, doi = {10.1016/J.ARTINT.2017.08.003}, timestamp = {Thu, 28 Dec 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ai/LiuY17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/JiLY17, author = {Jianmin Ji and Fangfang Liu and Jia{-}Huai You}, title = {Well-founded operators for normal hybrid {MKNF} knowledge bases}, journal = {Theory Pract. Log. Program.}, volume = {17}, number = {5-6}, pages = {889--905}, year = {2017}, url = {https://doi.org/10.1017/S1471068417000291}, doi = {10.1017/S1471068417000291}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/JiLY17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/KarimiZY17, author = {Arash Karimi and Heng Zhang and Jia{-}Huai You}, editor = {Alessandro Artale and Birte Glimm and Roman Kontchakov}, title = {Beyond Skolem Chase: {A} Study of Finite Chase under Standard Chase Variant}, booktitle = {Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1879}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1879/paper26.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/KarimiZY17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/JiLY17, author = {Jianmin Ji and Fangfang Liu and Jia{-}Huai You}, title = {Well-Founded Operators for Normal Hybrid {MKNF} Knowledge Bases}, journal = {CoRR}, volume = {abs/1707.01959}, year = {2017}, url = {http://arxiv.org/abs/1707.01959}, eprinttype = {arXiv}, eprint = {1707.01959}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/JiLY17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ai/LiuBCYF16, author = {Fangfang Liu and Yi Bi and Md. Solimul Chowdhury and Jia{-}Huai You and Zhiyong Feng}, editor = {Richard Khoury and Christopher Drummond}, title = {Flexible Approximators for Approximating Fixpoint Theory}, booktitle = {Advances in Artificial Intelligence - 29th Canadian Conference on Artificial Intelligence, Canadian {AI} 2016, Victoria, BC, Canada, May 31 - June 3, 2016. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9673}, pages = {224--236}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-34111-8\_28}, doi = {10.1007/978-3-319-34111-8\_28}, timestamp = {Thu, 28 Sep 2023 12:27:16 +0200}, biburl = {https://dblp.org/rec/conf/ai/LiuBCYF16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/ZhangZY16, author = {Heng Zhang and Yan Zhang and Jia{-}Huai You}, editor = {Subbarao Kambhampati}, title = {Expressive Completeness of Existential Rule Languages for Ontology-Based Query Answering}, booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July 2016}, pages = {1330--1337}, publisher = {{IJCAI/AAAI} Press}, year = {2016}, url = {http://www.ijcai.org/Abstract/16/192}, timestamp = {Tue, 20 Aug 2019 16:19:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/ZhangZY16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/ZhangZY16, author = {Heng Zhang and Yan Zhang and Jia{-}Huai You}, title = {Expressive Completeness of Existential Rule Languages for Ontology-based Query Answering}, journal = {CoRR}, volume = {abs/1604.05006}, year = {2016}, url = {http://arxiv.org/abs/1604.05006}, eprinttype = {arXiv}, eprint = {1604.05006}, timestamp = {Tue, 21 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/ZhangZY16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcst/WuYY15, author = {Lengdong Wu and Li{-}Yan Yuan and Jia{-}Huai You}, title = {Survey of Large-Scale Data Management Systems for Big Data Applications}, journal = {J. Comput. Sci. Technol.}, volume = {30}, number = {1}, pages = {163--183}, year = {2015}, url = {https://doi.org/10.1007/s11390-015-1511-8}, doi = {10.1007/S11390-015-1511-8}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcst/WuYY15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/ZhangZY15, author = {Heng Zhang and Yan Zhang and Jia{-}Huai You}, editor = {Blai Bonet and Sven Koenig}, title = {Existential Rule Languages with Finite Chase: Complexity and Expressiveness}, booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, {USA}}, pages = {1678--1685}, publisher = {{AAAI} Press}, year = {2015}, url = {https://doi.org/10.1609/aaai.v29i1.9404}, doi = {10.1609/AAAI.V29I1.9404}, timestamp = {Mon, 18 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/ZhangZY15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/JiYW15, author = {Jianmin Ji and Jia{-}Huai You and Yisong Wang}, editor = {Qiang Yang and Michael J. Wooldridge}, title = {On Forgetting Postulates in Answer Set Programming}, booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July 25-31, 2015}, pages = {3076--3083}, publisher = {{AAAI} Press}, year = {2015}, url = {http://ijcai.org/Abstract/15/434}, timestamp = {Thu, 21 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ijcai/JiYW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigmod/YuanWYC15, author = {Li{-}Yan Yuan and Lengdong Wu and Jia{-}Huai You and Yan Chi}, editor = {Timos K. Sellis and Susan B. Davidson and Zachary G. Ives}, title = {A Demonstration of Rubato {DB:} {A} Highly Scalable NewSQL Database System for {OLTP} and Big Data Applications}, booktitle = {Proceedings of the 2015 {ACM} {SIGMOD} International Conference on Management of Data, Melbourne, Victoria, Australia, May 31 - June 4, 2015}, pages = {907--912}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2723372.2735380}, doi = {10.1145/2723372.2735380}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sigmod/YuanWYC15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bigdataconf/WuYY14, author = {Lengdong Wu and Li{-}Yan Yuan and Jia{-}Huai You}, editor = {Jimmy Lin and Jian Pei and Xiaohua Hu and Wo Chang and Raghunath Nambiar and Charu C. Aggarwal and Nick Cercone and Vasant G. Honavar and Jun Huan and Bamshad Mobasher and Saumyadipta Pyne}, title = {{BASIC:} An alternative to {BASE} for large-scale data management system}, booktitle = {2014 {IEEE} International Conference on Big Data {(IEEE} BigData 2014), Washington, DC, USA, October 27-30, 2014}, pages = {5--14}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/BigData.2014.7004206}, doi = {10.1109/BIGDATA.2014.7004206}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/bigdataconf/WuYY14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cikm/YuanWYC14, author = {Li{-}Yan Yuan and Lengdong Wu and Jia{-}Huai You and Yan Chi}, editor = {Jianzhong Li and Xiaoyang Sean Wang and Minos N. Garofalakis and Ian Soboroff and Torsten Suel and Min Wang}, title = {Rubato {DB:} {A} Highly Scalable Staged Grid Database System for {OLTP} and Big Data Applications}, booktitle = {Proceedings of the 23rd {ACM} International Conference on Conference on Information and Knowledge Management, {CIKM} 2014, Shanghai, China, November 3-7, 2014}, pages = {1--10}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2661829.2661879}, doi = {10.1145/2661829.2661879}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cikm/YuanWYC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/ChowdhuryLCKY14, author = {Md. Solimul Chowdhury and Fangfang Liu and Wu Chen and Arash Karimi and Jia{-}Huai You}, editor = {Maurizio Proietti and Hirohisa Seki}, title = {Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies}, booktitle = {Logic-Based Program Synthesis and Transformation - 24th International Symposium, {LOPSTR} 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8981}, pages = {279--296}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-17822-6\_16}, doi = {10.1007/978-3-319-17822-6\_16}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/ChowdhuryLCKY14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rr/BiYF14, author = {Yi Bi and Jia{-}Huai You and Zhiyong Feng}, editor = {Roman Kontchakov and Marie{-}Laure Mugnier}, title = {A Generalization of Approximation Fixpoint Theory and Application}, booktitle = {Web Reasoning and Rule Systems - 8th International Conference, {RR} 2014, Athens, Greece, September 15-17, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8741}, pages = {45--59}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-11113-1\_4}, doi = {10.1007/978-3-319-11113-1\_4}, timestamp = {Tue, 24 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rr/BiYF14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BiYF14, author = {Yi Bi and Jia{-}Huai You and Zhiyong Feng}, title = {A Well-Founded Semantics for FOL-Programs}, journal = {CoRR}, volume = {abs/1405.3365}, year = {2014}, url = {http://arxiv.org/abs/1405.3365}, eprinttype = {arXiv}, eprint = {1405.3365}, timestamp = {Tue, 24 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/BiYF14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/ZhangZY14, author = {Heng Zhang and Yan Zhang and Jia{-}Huai You}, title = {Existential Rule Languages with Finite Chase: Complexity and Expressiveness}, journal = {CoRR}, volume = {abs/1411.5220}, year = {2014}, url = {http://arxiv.org/abs/1411.5220}, eprinttype = {arXiv}, eprint = {1411.5220}, timestamp = {Tue, 21 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/ZhangZY14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/LiuY13, author = {Guohua Liu and Jia{-}Huai You}, title = {Relating weight constraint and aggregate programs: Semantics and representation}, journal = {Theory Pract. Log. Program.}, volume = {13}, number = {1}, pages = {1--31}, year = {2013}, url = {https://doi.org/10.1017/S147106841100038X}, doi = {10.1017/S147106841100038X}, timestamp = {Thu, 13 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/LiuY13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/JiLY13, author = {Jianmin Ji and Fangzhen Lin and Jia{-}Huai You}, title = {Computing Loops with at Most One External Support Rule for Basic Logic Programs with Arbitrary Constraint Atoms}, journal = {Theory Pract. Log. Program.}, volume = {13}, number = {4-5-Online-Supplement}, year = {2013}, url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013015.pdf}, timestamp = {Thu, 21 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/JiLY13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/YouZZ13, author = {Jia{-}Huai You and Heng Zhang and Yan Zhang}, title = {Disjunctive logic programs with existential quantification in rule heads}, journal = {Theory Pract. Log. Program.}, volume = {13}, number = {4-5}, pages = {563--578}, year = {2013}, url = {https://doi.org/10.1017/S1471068413000355}, doi = {10.1017/S1471068413000355}, timestamp = {Thu, 13 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/YouZZ13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/WangYZ13, author = {Yisong Wang and Jia{-}Huai You and Mingyi Zhang}, editor = {Zhiming Liu and Jim Woodcock and Huibiao Zhu}, title = {Embedding Functions into Disjunctive Logic Programs}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8049}, pages = {355--372}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39718-9\_21}, doi = {10.1007/978-3-642-39718-9\_21}, timestamp = {Fri, 17 Feb 2023 09:02:01 +0100}, biburl = {https://dblp.org/rec/conf/ictac/WangYZ13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rr/WangEYYS13, author = {Yisong Wang and Thomas Eiter and Jia{-}Huai You and Li{-}Yan Yuan and Yi{-}Dong Shen}, editor = {Wolfgang Faber and Domenico Lembo}, title = {Eliminating Nonmonotonic DL-Atoms in Description Logic Programs}, booktitle = {Web Reasoning and Rule Systems - 7th International Conference, {RR} 2013, Mannheim, Germany, July 27-29, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7994}, pages = {168--182}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39666-3\_13}, doi = {10.1007/978-3-642-39666-3\_13}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/rr/WangEYYS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/WangYYSZ12, author = {Yisong Wang and Jia{-}Huai You and Li{-}Yan Yuan and Yi{-}Dong Shen and Mingyi Zhang}, title = {The loop formula based semantics of description logic programs}, journal = {Theor. Comput. Sci.}, volume = {415}, pages = {60--85}, year = {2012}, url = {https://doi.org/10.1016/j.tcs.2011.10.026}, doi = {10.1016/J.TCS.2011.10.026}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/WangYYSZ12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/WangLZY12, author = {Yisong Wang and Fangzhen Lin and Mingyi Zhang and Jia{-}Huai You}, editor = {J{\"{o}}rg Hoffmann and Bart Selman}, title = {A Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms}, booktitle = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada}, pages = {835--841}, publisher = {{AAAI} Press}, year = {2012}, url = {https://doi.org/10.1609/aaai.v26i1.8213}, doi = {10.1609/AAAI.V26I1.8213}, timestamp = {Mon, 04 Sep 2023 15:56:47 +0200}, biburl = {https://dblp.org/rec/conf/aaai/WangLZY12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/YouSW12, author = {Jia{-}Huai You and Yi{-}Dong Shen and Kewen Wang}, editor = {Esra Erdem and Joohyung Lee and Yuliya Lierler and David Pearce}, title = {Well-Supported Semantics for Logic Programs with Generalized Rules}, booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir Lifschitz}, series = {Lecture Notes in Computer Science}, volume = {7265}, pages = {576--591}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-30743-0\_39}, doi = {10.1007/978-3-642-30743-0\_39}, timestamp = {Wed, 27 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/YouSW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/YouMB12, author = {Jia{-}Huai You and John Morris and Yi Bi}, editor = {Agostino Dovier and V{\'{\i}}tor Santos Costa}, title = {Reconciling Well-Founded Semantics of DL-Programs and Aggregate Programs}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary}, series = {LIPIcs}, volume = {17}, pages = {235--246}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2012}, url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.235}, doi = {10.4230/LIPICS.ICLP.2012.235}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/iclp/YouMB12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictai/ChowdhuryY12, author = {Md. Solimul Chowdhury and Jia{-}Huai You}, title = {{SAT} with Global Constraints}, booktitle = {{IEEE} 24th International Conference on Tools with Artificial Intelligence, {ICTAI} 2012, Athens, Greece, November 7-9, 2012}, pages = {73--80}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/ICTAI.2012.19}, doi = {10.1109/ICTAI.2012.19}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictai/ChowdhuryY12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cma/WangYY11, author = {Chonghai Wang and Li{-}Yan Yuan and Jia{-}Huai You}, title = {On the semantics of top-\emph{k} ranking for objects with uncertain data}, journal = {Comput. Math. Appl.}, volume = {62}, number = {7}, pages = {2812--2823}, year = {2011}, url = {https://doi.org/10.1016/j.camwa.2011.07.047}, doi = {10.1016/J.CAMWA.2011.07.047}, timestamp = {Thu, 11 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cma/WangYY11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/LiuY11, author = {Guohua Liu and Jia{-}Huai You}, title = {Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs}, journal = {Fundam. Informaticae}, volume = {106}, number = {1}, pages = {25--43}, year = {2011}, url = {https://doi.org/10.3233/FI-2011-375}, doi = {10.3233/FI-2011-375}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/LiuY11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pvldb/WangYYZP11, author = {Chonghai Wang and Li{-}Yan Yuan and Jia{-}Huai You and Osmar R. Za{\"{\i}}ane and Jian Pei}, title = {On Pruning for Top-K Ranking in Uncertain Databases}, journal = {Proc. {VLDB} Endow.}, volume = {4}, number = {10}, pages = {598--609}, year = {2011}, url = {http://www.vldb.org/pvldb/vol4/p598-wang.pdf}, doi = {10.14778/2021017.2021018}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pvldb/WangYYZP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/YangYF11, author = {Qian Yang and Jia{-}Huai You and Zhiyong Feng}, editor = {Wolfram Burgard and Dan Roth}, title = {Integrating Rules and Description Logics by Circumscription}, booktitle = {Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI} 2011, San Francisco, California, USA, August 7-11, 2011}, pages = {274--279}, publisher = {{AAAI} Press}, year = {2011}, url = {https://doi.org/10.1609/aaai.v25i1.7850}, doi = {10.1609/AAAI.V25I1.7850}, timestamp = {Mon, 04 Sep 2023 16:05:54 +0200}, biburl = {https://dblp.org/rec/conf/aaai/YangYF11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpnmr/LiuGJNY11, author = {Guohua Liu and Randy Goebel and Tomi Janhunen and Ilkka Niemel{\"{a}} and Jia{-}Huai You}, editor = {James P. Delgrande and Wolfgang Faber}, title = {Strong Equivalence of Logic Programs with Abstract Constraint Atoms}, booktitle = {Logic Programming and Nonmonotonic Reasoning - 11th International Conference, {LPNMR} 2011, Vancouver, Canada, May 16-19, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6645}, pages = {161--173}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-20895-9\_15}, doi = {10.1007/978-3-642-20895-9\_15}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/lpnmr/LiuGJNY11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpnmr/ZhouSY11, author = {Neng{-}Fa Zhou and Yi{-}Dong Shen and Jia{-}Huai You}, editor = {James P. Delgrande and Wolfgang Faber}, title = {Compiling Answer Set Programs into Event-Driven Action Rules}, booktitle = {Logic Programming and Nonmonotonic Reasoning - 11th International Conference, {LPNMR} 2011, Vancouver, Canada, May 16-19, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6645}, pages = {376--381}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-20895-9\_44}, doi = {10.1007/978-3-642-20895-9\_44}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpnmr/ZhouSY11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1105-3414, author = {Guohua Liu and Jia{-}Huai You}, title = {Relating Weight Constraint and Aggregate Programs: Semantics and Representation}, journal = {CoRR}, volume = {abs/1105.3414}, year = {2011}, url = {http://arxiv.org/abs/1105.3414}, eprinttype = {arXiv}, eprint = {1105.3414}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1105-3414.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1111-1486, author = {Yisong Wang and Jia{-}Huai You and Li{-}Yan Yuan and Yi{-}Dong Shen and Thomas Eiter}, title = {Embedding Description Logic Programs into Default Logic}, journal = {CoRR}, volume = {abs/1111.1486}, year = {2011}, url = {http://arxiv.org/abs/1111.1486}, eprinttype = {arXiv}, eprint = {1111.1486}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1111-1486.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/amai/WangYLYZ10, author = {Yisong Wang and Jia{-}Huai You and Fangzhen Lin and Li{-}Yan Yuan and Mingyi Zhang}, title = {Weight constraint programs with evaluable functions}, journal = {Ann. Math. Artif. Intell.}, volume = {60}, number = {3-4}, pages = {341--380}, year = {2010}, url = {https://doi.org/10.1007/s10472-011-9237-y}, doi = {10.1007/S10472-011-9237-Y}, timestamp = {Mon, 03 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/amai/WangYLYZ10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/LiuY10, author = {Guohua Liu and Jia{-}Huai You}, title = {Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs}, journal = {Fundam. Informaticae}, volume = {101}, number = {3}, pages = {237--255}, year = {2010}, url = {https://doi.org/10.3233/FI-2010-286}, doi = {10.3233/FI-2010-286}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/LiuY10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/WangYYS10, author = {Yisong Wang and Jia{-}Huai You and Li{-}Yan Yuan and Yi{-}Dong Shen}, title = {Loop formulas for description logic programs}, journal = {Theory Pract. Log. Program.}, volume = {10}, number = {4-6}, pages = {531--545}, year = {2010}, url = {https://doi.org/10.1017/S1471068410000268}, doi = {10.1017/S1471068410000268}, timestamp = {Thu, 13 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/WangYYS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fskd/WangYY10, author = {Chonghai Wang and Li{-}Yan Yuan and Jia{-}Huai You}, editor = {Maozhen Li and Qilian Liang and Lipo Wang and Yibin Song}, title = {Top-k ranking for uncertain data}, booktitle = {Seventh International Conference on Fuzzy Systems and Knowledge Discovery, {FSKD} 2010, 10-12 August 2010, Yantai, Shandong, China}, pages = {363--368}, publisher = {{IEEE}}, year = {2010}, url = {https://doi.org/10.1109/FSKD.2010.5569645}, doi = {10.1109/FSKD.2010.5569645}, timestamp = {Sat, 25 Jun 2022 17:37:25 +0200}, biburl = {https://dblp.org/rec/conf/fskd/WangYY10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1007-4040, author = {Yisong Wang and Jia{-}Huai You and Li{-}Yan Yuan and Yi{-}Dong Shen}, title = {Loop Formulas for Description Logic Programs}, journal = {CoRR}, volume = {abs/1007.4040}, year = {2010}, url = {http://arxiv.org/abs/1007.4040}, eprinttype = {arXiv}, eprint = {1007.4040}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1007-4040.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcst/WangZY09, author = {Yisong Wang and Mingyi Zhang and Jia{-}Huai You}, title = {Logic Programs, Compatibility and Forward Chaining Construction}, journal = {J. Comput. Sci. Technol.}, volume = {24}, number = {6}, pages = {1125--1137}, year = {2009}, url = {https://doi.org/10.1007/s11390-009-9285-5}, doi = {10.1007/S11390-009-9285-5}, timestamp = {Mon, 03 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcst/WangZY09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/ShenYY09, author = {Yi{-}Dong Shen and Jia{-}Huai You and Li{-}Yan Yuan}, title = {Characterizations of stable model semantics for logic programs with arbitrary constraint atoms}, journal = {Theory Pract. Log. Program.}, volume = {9}, number = {4}, pages = {529--564}, year = {2009}, url = {https://doi.org/10.1017/S1471068409990056}, doi = {10.1017/S1471068409990056}, timestamp = {Thu, 13 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/ShenYY09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpnmr/ShenY09, author = {Yi{-}Dong Shen and Jia{-}Huai You}, editor = {Esra Erdem and Fangzhen Lin and Torsten Schaub}, title = {A Default Approach to Semantics of Logic Programs with Constraint Atoms}, booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference, {LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5753}, pages = {277--289}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04238-6\_24}, doi = {10.1007/978-3-642-04238-6\_24}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/lpnmr/ShenY09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpnmr/WangYYZ09, author = {Yisong Wang and Jia{-}Huai You and Li{-}Yan Yuan and Mingyi Zhang}, editor = {Esra Erdem and Fangzhen Lin and Torsten Schaub}, title = {Weight Constraint Programs with Functions}, booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference, {LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5753}, pages = {329--341}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04238-6\_28}, doi = {10.1007/978-3-642-04238-6\_28}, timestamp = {Mon, 03 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lpnmr/WangYYZ09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpnmr/You09, author = {Jia{-}Huai You}, editor = {Esra Erdem and Fangzhen Lin and Torsten Schaub}, title = {Towards an Embedded Approach to Declarative Problem Solving in {ASP}}, booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference, {LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5753}, pages = {634--636}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04238-6\_74}, doi = {10.1007/978-3-642-04238-6\_74}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpnmr/You09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0904-4727, author = {Yi{-}Dong Shen and Jia{-}Huai You and Li{-}Yan Yuan}, title = {Characterizations of Stable Model Semantics for Logic Programs with Arbitrary Constraint Atoms}, journal = {CoRR}, volume = {abs/0904.4727}, year = {2009}, url = {http://arxiv.org/abs/0904.4727}, eprinttype = {arXiv}, eprint = {0904.4727}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0904-4727.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/almob/WuKLY08, author = {Gang Wu and Ming{-}Yang Kao and Guohui Lin and Jia{-}Huai You}, title = {Reconstructing phylogenies from noisy quartets in polynomial time with a high success probability}, journal = {Algorithms Mol. Biol.}, volume = {3}, year = {2008}, url = {https://doi.org/10.1186/1748-7188-3-1}, doi = {10.1186/1748-7188-3-1}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/almob/WuKLY08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/LinY08, author = {Fangzhen Lin and Jia{-}Huai You}, editor = {Dieter Fox and Carla P. Gomes}, title = {Abductive Logic Programming by Nonground Rewrite Systems}, booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence, {AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008}, pages = {480--485}, publisher = {{AAAI} Press}, year = {2008}, url = {http://www.aaai.org/Library/AAAI/2008/aaai08-076.php}, timestamp = {Tue, 05 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/LinY08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/YouL08, author = {Jia{-}Huai You and Guohua Liu}, editor = {Dieter Fox and Carla P. Gomes}, title = {Loop Formulas for Logic Programs with Arbitrary Constraint Atoms}, booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence, {AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008}, pages = {584--589}, publisher = {{AAAI} Press}, year = {2008}, url = {http://www.aaai.org/Library/AAAI/2008/aaai08-093.php}, timestamp = {Tue, 05 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/YouL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/LiuY08, author = {Guohua Liu and Jia{-}Huai You}, editor = {Maria Garcia de la Banda and Enrico Pontelli}, title = {Lparse Programs Revisited: Semantics and Representation of Aggregates}, booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine, Italy, December 9-13 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5366}, pages = {347--361}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-89982-2\_33}, doi = {10.1007/978-3-540-89982-2\_33}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/iclp/LiuY08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcbb/WuYL07, author = {Gang Wu and Jia{-}Huai You and Guohui Lin}, title = {Quartet-Based Phylogeny Reconstruction with Answer Set Programming}, journal = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.}, volume = {4}, number = {1}, pages = {139--152}, year = {2007}, url = {https://doi.org/10.1109/TCBB.2007.1008}, doi = {10.1109/TCBB.2007.1008}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcbb/WuYL07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/LinY07, author = {Fangzhen Lin and Jia{-}Huai You}, title = {Recycling computed answers in rewrite systems for abduction}, journal = {{ACM} Trans. Comput. Log.}, volume = {8}, number = {2}, pages = {9}, year = {2007}, url = {https://doi.org/10.1145/1227839.1227841}, doi = {10.1145/1227839.1227841}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tocl/LinY07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/ShenY07, author = {Yi{-}Dong Shen and Jia{-}Huai You}, title = {A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints}, booktitle = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada}, pages = {483--488}, publisher = {{AAAI} Press}, year = {2007}, url = {http://www.aaai.org/Library/AAAI/2007/aaai07-076.php}, timestamp = {Tue, 05 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/ShenY07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictai/LiuY07, author = {Guohua Liu and Jia{-}Huai You}, title = {Adaptive Lookahead for Answer Set Computation}, booktitle = {19th {IEEE} International Conference on Tools with Artificial Intelligence {(ICTAI} 2007), October 29-31, 2007, Patras, Greece, Volume 2}, pages = {230--237}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/ICTAI.2007.92}, doi = {10.1109/ICTAI.2007.92}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictai/LiuY07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpnmr/YouYLS07, author = {Jia{-}Huai You and Li{-}Yan Yuan and Guohua Liu and Yi{-}Dong Shen}, editor = {Chitta Baral and Gerhard Brewka and John S. Schlipf}, title = {Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities}, booktitle = {Logic Programming and Nonmonotonic Reasoning, 9th International Conference, {LPNMR} 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4483}, pages = {228--240}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-72200-7\_20}, doi = {10.1007/978-3-540-72200-7\_20}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/lpnmr/YouYLS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpnmr/LiuY07, author = {Guohua Liu and Jia{-}Huai You}, editor = {Chitta Baral and Gerhard Brewka and John S. Schlipf}, title = {On the Effectiveness of Looking Ahead in Search for Answer Sets}, booktitle = {Logic Programming and Nonmonotonic Reasoning, 9th International Conference, {LPNMR} 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4483}, pages = {303--308}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-72200-7\_30}, doi = {10.1007/978-3-540-72200-7\_30}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpnmr/LiuY07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/WuYL06, author = {Gang Wu and Jia{-}Huai You and Guohui Lin}, title = {A polynomial time algorithm for the minimum quartet inconsistency problem with O(n) quartet errors}, journal = {Inf. Process. Lett.}, volume = {100}, number = {4}, pages = {167--171}, year = {2006}, url = {https://doi.org/10.1016/j.ipl.2006.05.013}, doi = {10.1016/J.IPL.2006.05.013}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ipl/WuYL06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/JanhunenNSSY06, author = {Tomi Janhunen and Ilkka Niemel{\"{a}} and Dietmar Seipel and Patrik Simons and Jia{-}Huai You}, title = {Unfolding partiality and disjunctions in stable model semantics}, journal = {{ACM} Trans. Comput. Log.}, volume = {7}, number = {1}, pages = {1--37}, year = {2006}, url = {https://doi.org/10.1145/1119439.1119440}, doi = {10.1145/1119439.1119440}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tocl/JanhunenNSSY06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apbc/WuLYW05, author = {Gang Wu and Guohui Lin and Jia{-}Huai You and Xiaomeng Wu}, editor = {Yi{-}Ping Phoebe Chen and Limsoon Wong}, title = {Faster solution to the maximum quartet consistency problem with constraint programming}, booktitle = {Proceedings of 3rd Asia-Pacific Bioinformatics Conference, 17-21 January 2005, Singapore}, pages = {329--338}, publisher = {Imperial College Press, London}, year = {2005}, url = {http://www.comp.nus.edu.sg/\%7Ewongls/psZ/apbc2005/camera-ready/128.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apbc/WuLYW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csb/WuYL05, author = {Gang Wu and Jia{-}Huai You and Guohui Lin}, title = {A Polynomial Algorithm for the Minimum Quartet Inconsistency Problem with O(n) Quartet Errors}, booktitle = {Fourth International {IEEE} Computer Society Computational Systems Bioinformatics Conference Workshops {\&} Poster Abstracts, {CSB} 2005 Workshops, Stanford, CA, USA, August 8-11, 2005}, pages = {55--56}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/CSBW.2005.14}, doi = {10.1109/CSBW.2005.14}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csb/WuYL05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpnmr/YouLYO05, author = {Jia{-}Huai You and Guohua Liu and Li{-}Yan Yuan and Curtis Onuczko}, editor = {Chitta Baral and Gianluigi Greco and Nicola Leone and Giorgio Terracina}, title = {Lookahead in Smodels Compared to Local Consistencies in {CSP}}, booktitle = {Logic Programming and Nonmonotonic Reasoning, 8th International Conference, {LPNMR} 2005, Diamante, Italy, September 5-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3662}, pages = {266--278}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11546207\_21}, doi = {10.1007/11546207\_21}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/lpnmr/YouLYO05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpnmr/WuYL05, author = {Gang Wu and Jia{-}Huai You and Guohui Lin}, editor = {Chitta Baral and Gianluigi Greco and Nicola Leone and Giorgio Terracina}, title = {Application of Smodels in Quartet Based Phylogeny Construction}, booktitle = {Logic Programming and Nonmonotonic Reasoning, 8th International Conference, {LPNMR} 2005, Diamante, Italy, September 5-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3662}, pages = {369--373}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11546207\_29}, doi = {10.1007/11546207\_29}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpnmr/WuYL05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wabi/WuYL05, author = {Gang Wu and Jia{-}Huai You and Guohui Lin}, editor = {Rita Casadio and Gene Myers}, title = {A Lookahead Branch-and-Bound Algorithm for the Maximum Quartet Consistency Problem}, booktitle = {Algorithms in Bioinformatics, 5th International Workshop, {WABI} 2005, Mallorca, Spain, October 3-6, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3692}, pages = {65--76}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11557067\_6}, doi = {10.1007/11557067\_6}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/wabi/WuYL05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-cs-0506095, author = {Yi{-}Dong Shen and Qiang Yang and Jia{-}Huai You and Li{-}Yan Yuan}, title = {Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops}, journal = {CoRR}, volume = {abs/cs/0506095}, year = {2005}, url = {http://arxiv.org/abs/cs/0506095}, eprinttype = {arXiv}, eprint = {cs/0506095}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-cs-0506095.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-cs-0507035, author = {Yi{-}Dong Shen and Jia{-}Huai You and Li{-}Yan Yuan}, title = {Enhancing Global SLS-Resolution with Loop Cutting and Tabling Mechanisms}, journal = {CoRR}, volume = {abs/cs/0507035}, year = {2005}, url = {http://arxiv.org/abs/cs/0507035}, eprinttype = {arXiv}, eprint = {cs/0507035}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-cs-0507035.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ci/GhoseHSYG04, author = {Aditya K. Ghose and Pablo O. Hadjinian and Abdul Sattar and Jia{-}Huai You and Randy Goebel}, title = {Iterated Belief Change}, journal = {Comput. Intell.}, volume = {20}, number = {1}, pages = {37--55}, year = {2004}, url = {https://doi.org/10.1111/j.0824-7935.2004.t01-1-00229.x}, doi = {10.1111/J.0824-7935.2004.T01-1-00229.X}, timestamp = {Sun, 15 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ci/GhoseHSYG04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/ShenYY04, author = {Yi{-}Dong Shen and Jia{-}Huai You and Li{-}Yan Yuan}, title = {Enhancing global SLS-resolution with loop cutting and tabling mechanisms}, journal = {Theor. Comput. Sci.}, volume = {328}, number = {3}, pages = {271--287}, year = {2004}, url = {https://doi.org/10.1016/j.tcs.2004.07.028}, doi = {10.1016/J.TCS.2004.07.028}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/ShenYY04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/YouH04, author = {Jia{-}Huai You and Guiwen Hou}, editor = {Bart Demoen and Vladimir Lifschitz}, title = {Arc-Consistency + Unit Propagation = Lookahead}, booktitle = {Logic Programming, 20th International Conference, {ICLP} 2004, Saint-Malo, France, September 6-10, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3132}, pages = {314--328}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-27775-0\_22}, doi = {10.1007/978-3-540-27775-0\_22}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/iclp/YouH04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/JiaYY04, author = {Xiumei Jia and Jia{-}Huai You and Li{-}Yan Yuan}, editor = {Bart Demoen and Vladimir Lifschitz}, title = {Adding Domain Dependent Knowledge into Answer Set Programs for Planning}, booktitle = {Logic Programming, 20th International Conference, {ICLP} 2004, Saint-Malo, France, September 6-10, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3132}, pages = {400--415}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-27775-0\_28}, doi = {10.1007/978-3-540-27775-0\_28}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/JiaYY04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictai/WuLY04, author = {Gang Wu and Guohui Lin and Jia{-}Huai You}, title = {Quartet Based Phylogeny Reconstruction with Answer Set Programming}, booktitle = {16th {IEEE} International Conference on Tools with Artificial Intelligence {(ICTAI} 2004), 15-17 November 2004, Boca Raton, FL, {USA}}, pages = {612--619}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.org/10.1109/ICTAI.2004.103}, doi = {10.1109/ICTAI.2004.103}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictai/WuLY04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-AI-0402033, author = {Fangzhen Lin and Jia{-}Huai You}, title = {Recycling Computed Answers in Rewrite Systems for Abduction}, journal = {CoRR}, volume = {cs.AI/0402033}, year = {2004}, url = {http://arxiv.org/abs/cs/0402033}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-AI-0402033.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/ShenYYSY03, author = {Yi{-}Dong Shen and Jia{-}Huai You and Li{-}Yan Yuan and Samuel S. P. Shen and Qiang Yang}, title = {A dynamic approach to characterizing termination of general logic programs}, journal = {{ACM} Trans. Comput. Log.}, volume = {4}, number = {4}, pages = {417--430}, year = {2003}, url = {https://doi.org/10.1145/937555.937556}, doi = {10.1145/937555.937556}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tocl/ShenYYSY03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/YouYM03, author = {Jia{-}Huai You and Li{-}Yan Yuan and Mingyi Zhang}, editor = {Georg Gottlob and Toby Walsh}, title = {On the Equivalence between Answer Sets and Models of Completion for Nested Logic Programs}, booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003}, pages = {859--866}, publisher = {Morgan Kaufmann}, year = {2003}, url = {http://ijcai.org/Proceedings/03/Papers/124.pdf}, timestamp = {Tue, 04 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ijcai/YouYM03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/LinY03, author = {Fangzhen Lin and Jia{-}Huai You}, editor = {Georg Gottlob and Toby Walsh}, title = {Recycling Computed Answers in Rewrite Systems for Abduction}, booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003}, pages = {879--886}, publisher = {Morgan Kaufmann}, year = {2003}, url = {http://ijcai.org/Proceedings/03/Papers/127.pdf}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/LinY03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-AI-0303009, author = {Tomi Janhunen and Ilkka Niemel{\"{a}} and Dietmar Seipel and Patrik Simons and Jia{-}Huai You}, title = {Unfolding Partiality and Disjunctions in Stable Model Semantics}, journal = {CoRR}, volume = {cs.AI/0303009}, year = {2003}, url = {http://arxiv.org/abs/cs/0303009}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-AI-0303009.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/LinY02, author = {Fangzhen Lin and Jia{-}Huai You}, title = {Abduction in logic programming: {A} new definition and an abductive procedure based on rewriting}, journal = {Artif. Intell.}, volume = {140}, number = {1/2}, pages = {175--205}, year = {2002}, url = {https://doi.org/10.1016/S0004-3702(02)00227-8}, doi = {10.1016/S0004-3702(02)00227-8}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/LinY02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/ShenYY02, author = {Yi{-}Dong Shen and Li{-}Yan Yuan and Jia{-}Huai You}, title = {SLT-Resolution for the Well-Founded Semantics}, journal = {J. Autom. Reason.}, volume = {28}, number = {1}, pages = {53--97}, year = {2002}, url = {https://doi.org/10.1023/A:1020116927466}, doi = {10.1023/A:1020116927466}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/ShenYY02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ai/HuangJLY02, author = {Guan{-}Shieng Huang and Xiumei Jia and Churn{-}Jung Liau and Jia{-}Huai You}, editor = {Robin Cohen and Bruce Spencer}, title = {Two-Literal Logic Programs and Satisfiability Representation of Stable Models: {A} Comparison}, booktitle = {Advances in Artificial Intelligence, 15th Conference of the Canadian Society for Computational Studies of Intelligence, {AI} 2002, Calgary, Canada, May 27-29, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2338}, pages = {119--131}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-47922-8\_11}, doi = {10.1007/3-540-47922-8\_11}, timestamp = {Thu, 28 Sep 2023 12:27:05 +0200}, biburl = {https://dblp.org/rec/conf/ai/HuangJLY02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-LO-0204031, author = {Yi{-}Dong Shen and Jia{-}Huai You and Li{-}Yan Yuan and Samuel S. P. Shen and Qiang Yang}, title = {A Dynamic Approach to Characterizing Termination of General Logic Programs}, journal = {CoRR}, volume = {cs.LO/0204031}, year = {2002}, url = {https://arxiv.org/abs/cs/0204031}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-LO-0204031.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jflp/ZhouSYY01, author = {Neng{-}Fa Zhou and Yi{-}Dong Shen and Li{-}Yan Yuan and Jia{-}Huai You}, title = {Implementation of a Linear Tabling Mechanism}, journal = {J. Funct. Log. Program.}, volume = {2001}, number = {10}, year = {2001}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jflp/ZhouSYY01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/ShenYY01, author = {Yi{-}Dong Shen and Li{-}Yan Yuan and Jia{-}Huai You}, title = {Loop checks for logic programs with functions}, journal = {Theor. Comput. Sci.}, volume = {266}, number = {1-2}, pages = {441--461}, year = {2001}, url = {https://doi.org/10.1016/S0304-3975(00)00197-3}, doi = {10.1016/S0304-3975(00)00197-3}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/ShenYY01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tkde/YouWY01, author = {Jia{-}Huai You and Xianchang Wang and Li{-}Yan Yuan}, title = {Nonmonotonic Reasoning as Prioritized Argumentation}, journal = {{IEEE} Trans. Knowl. Data Eng.}, volume = {13}, number = {6}, pages = {968--979}, year = {2001}, url = {https://doi.org/10.1109/69.971190}, doi = {10.1109/69.971190}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tkde/YouWY01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/ShenYYZ01, author = {Yi{-}Dong Shen and Li{-}Yan Yuan and Jia{-}Huai You and Neng{-}Fa Zhou}, title = {Linear tabulated resolution based on Prolog control strategy}, journal = {Theory Pract. Log. Program.}, volume = {1}, number = {1}, pages = {71--103}, year = {2001}, url = {http://journals.cambridge.org/action/displayAbstract?aid=71138}, timestamp = {Thu, 13 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/ShenYYZ01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/LinY01, author = {Fangzhen Lin and Jia{-}Huai You}, editor = {Bernhard Nebel}, title = {Abduction in Logic Programming: {A} New Definition and an Abductive Procedure Based on Rewriting}, booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, {IJCAI} 2001, Seattle, Washington, USA, August 4-10, 2001}, pages = {655--666}, publisher = {Morgan Kaufmann}, year = {2001}, timestamp = {Tue, 20 Aug 2019 16:18:14 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/LinY01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/YouYG00, author = {Jia{-}Huai You and Li{-}Yan Yuan and Randy Goebel}, title = {An abductive approach to disjunctive logic programming}, journal = {J. Log. Program.}, volume = {44}, number = {1-3}, pages = {101--127}, year = {2000}, url = {https://doi.org/10.1016/S0743-1066(99)00074-6}, doi = {10.1016/S0743-1066(99)00074-6}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/YouYG00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/JanhunenNSY00, author = {Tomi Janhunen and Ilkka Niemel{\"{a}} and Patrik Simons and Jia{-}Huai You}, editor = {Anthony G. Cohn and Fausto Giunchiglia and Bart Selman}, title = {Unfolding Partiality and Disjunctions in Stable Model Semantics}, booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings of the Seventh International Conference, Breckenridge, Colorado, USA, April 11-15, 2000}, pages = {411--422}, publisher = {Morgan Kaufmann}, year = {2000}, timestamp = {Tue, 20 Jun 2023 09:03:42 +0200}, biburl = {https://dblp.org/rec/conf/kr/JanhunenNSY00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/padl/ZhouSYY00, author = {Neng{-}Fa Zhou and Yi{-}Dong Shen and Li{-}Yan Yuan and Jia{-}Huai You}, editor = {Enrico Pontelli and V{\'{\i}}tor Santos Costa}, title = {Implementation of a Linear Tabling Mechanism}, booktitle = {Practical Aspects of Declarative Languages, Second International Workshop, {PADL} 2000, Boston, MA, USA, January 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1753}, pages = {109--123}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-46584-7\_8}, doi = {10.1007/3-540-46584-7\_8}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/padl/ZhouSYY00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-AI-0002016, author = {Yi{-}Dong Shen and Li{-}Yan Yuan and Jia{-}Huai You}, title = {SLT-Resolution for the Well-Founded Semantics}, journal = {CoRR}, volume = {cs.AI/0002016}, year = {2000}, url = {https://arxiv.org/abs/cs/0002016}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-AI-0002016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-AI-0003046, author = {Yi{-}Dong Shen and Li{-}Yan Yuan and Jia{-}Huai You and Neng{-}Fa Zhou}, title = {Linear Tabulated Resolution Based on Prolog Control Strategy}, journal = {CoRR}, volume = {cs.AI/0003046}, year = {2000}, url = {https://arxiv.org/abs/cs/0003046}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-AI-0003046.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-AI-0006031, author = {Yi{-}Dong Shen and Li{-}Yan Yuan and Jia{-}Huai You}, title = {Verifying Termination of General Logic Programs with Concrete Queries}, journal = {CoRR}, volume = {cs.AI/0006031}, year = {2000}, url = {https://arxiv.org/abs/cs/0006031}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-AI-0006031.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ai/YouWY99, author = {Jia{-}Huai You and Xianchang Wang and Li{-}Yan Yuan}, title = {Compiling Defeasible Inheritance Networks to General Logic Programs}, journal = {Artif. Intell.}, volume = {113}, number = {1-2}, pages = {247--268}, year = {1999}, url = {https://doi.org/10.1016/S0004-3702(99)00055-7}, doi = {10.1016/S0004-3702(99)00055-7}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/YouWY99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/ZhouSYY99, author = {Neng{-}Fa Zhou and Yi{-}Dong Shen and Li{-}Yan Yuan and Jia{-}Huai You}, editor = {Danny De Schreye}, title = {A Linear Tabling Mechanism}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {618}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 17:40:45 +0100}, biburl = {https://dblp.org/rec/conf/iclp/ZhouSYY99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpnmr/ShenYYZ99, author = {Yi{-}Dong Shen and Li{-}Yan Yuan and Jia{-}Huai You and Neng{-}Fa Zhou}, editor = {Michael Gelfond and Nicola Leone and Gerald Pfeifer}, title = {Linear Tabulated Resolutions for the Well-Founded Semantics}, booktitle = {Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1730}, pages = {192--205}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-46767-X\_14}, doi = {10.1007/3-540-46767-X\_14}, timestamp = {Sun, 02 Oct 2022 16:11:19 +0200}, biburl = {https://dblp.org/rec/conf/lpnmr/ShenYYZ99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tkde/YuanY98, author = {Li{-}Yan Yuan and Jia{-}Huai You}, title = {Coherence Approach to Logic Program Revision}, journal = {{IEEE} Trans. Knowl. Data Eng.}, volume = {10}, number = {1}, pages = {108--119}, year = {1998}, url = {https://doi.org/10.1109/69.667094}, doi = {10.1109/69.667094}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tkde/YuanY98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/YouYG98, author = {Jia{-}Huai You and Li{-}Yan Yuan and Randy Goebel}, editor = {Joxan Jaffar}, title = {Regular Extension Semantics and Disjunctive Eshghi Kowalski Procedure}, booktitle = {Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998}, pages = {175--189}, publisher = {{MIT} Press}, year = {1998}, timestamp = {Mon, 02 Dec 2013 17:40:44 +0100}, biburl = {https://dblp.org/rec/conf/iclp/YouYG98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ausai/YuanYG97, author = {Li{-}Yan Yuan and Jia{-}Huai You and Randy Goebel}, editor = {Wayne Wobcke and Maurice Pagnucco and Chengqi Zhang}, title = {Disjunctive Logic Programming and Possible Model Semantics (Invited Paper)}, booktitle = {Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications, Based on the AI'97 Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence, Perth, Australia, December 1, 1997}, series = {Lecture Notes in Computer Science}, volume = {1441}, pages = {60--78}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0055020}, doi = {10.1007/BFB0055020}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/ausai/YuanYG97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/YouYG97, author = {Jia{-}Huai You and Li{-}Yan Yuan and Randy Goebel}, editor = {S. Ramesh and G. Sivakumar}, title = {An Abductive Semantics for Disjunctive Logic Programs and Its Proof Procedure}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, 17th Conference, Kharagpur, India, December 18-20, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1346}, pages = {138--152}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0058028}, doi = {10.1007/BFB0058028}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/YouYG97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/YouWY97, author = {Jia{-}Huai You and Xianchang Wang and Li{-}Yan Yuan}, editor = {Lee Naish}, title = {Disjunctive Logic Programming as Constrained Inferences}, booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997}, pages = {361--375}, publisher = {{MIT} Press}, year = {1997}, timestamp = {Mon, 02 Dec 2013 17:40:44 +0100}, biburl = {https://dblp.org/rec/conf/iclp/YouWY97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/WangYY97, author = {Xianchang Wang and Jia{-}Huai You and Li{-}Yan Yuan}, title = {A Default Interpretation of Defeasible Network}, booktitle = {Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, {IJCAI} 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes}, pages = {156--161}, publisher = {Morgan Kaufmann}, year = {1997}, url = {http://ijcai.org/Proceedings/97-1/Papers/026.pdf}, timestamp = {Tue, 20 Aug 2019 16:17:27 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/WangYY97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpkr/YuanYG97, author = {Li{-}Yan Yuan and Jia{-}Huai You and Randy Goebel}, editor = {J{\"{u}}rgen Dix and Lu{\'{\i}}s Moniz Pereira and Teodor C. Przymusinski}, title = {Disjunctive Logic Programming and Autoepistemic Logic}, booktitle = {Logic Programming and Knowledge Representation, Third International Workshop, {LPKR} '97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1471}, pages = {85--101}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0054791}, doi = {10.1007/BFB0054791}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/lpkr/YuanYG97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rules/WangYY97, author = {Xianchang Wang and Jia{-}Huai You and Li{-}Yan Yuan}, editor = {Andreas Geppert and Mikael Berndtsson}, title = {On Confluence Property of Active Databases with Meta-Rules}, booktitle = {Rules in Database Systems, Third International Workshop, {RIDS} '97, Sk{\"{o}}vde, Sweden, June 26-28, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1312}, pages = {118--132}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-63516-5\_21}, doi = {10.1007/3-540-63516-5\_21}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/rules/WangYY97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/YouCL96, author = {Jia{-}Huai You and Robert Cartwright and Ming Li}, title = {Iterative Belief Revision in Extended Logic Programming}, journal = {Theor. Comput. Sci.}, volume = {170}, number = {1-2}, pages = {383--406}, year = {1996}, url = {https://doi.org/10.1016/S0304-3975(96)80712-2}, doi = {10.1016/S0304-3975(96)80712-2}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/YouCL96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/WangYY96, author = {Xianchang Wang and Jia{-}Huai You and Li{-}Yan Yuan}, editor = {Wolfgang Wahlster}, title = {Circumscription by Inference Rules with Priority}, booktitle = {12th European Conference on Artificial Intelligence, Budapest, Hungary, August 11-16, 1996, Proceedings}, pages = {110--116}, publisher = {John Wiley and Sons, Chichester}, year = {1996}, timestamp = {Thu, 03 Jan 2002 11:56:53 +0100}, biburl = {https://dblp.org/rec/conf/ecai/WangYY96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nmelp/WangYY96, author = {Xianchang Wang and Jia{-}Huai You and Li{-}Yan Yuan}, editor = {J{\"{u}}rgen Dix and Lu{\'{\i}}s Moniz Pereira and Teodor C. Przymusinski}, title = {Nonmonotonic Reasoning by Monotonic Inference with Priority Constraints}, booktitle = {Non-Monotonic Extensions of Logic Programming, {NMELP} '96, Bad Honnef, Germany, September 5-6, 1996, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1216}, pages = {91--109}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/BFb0023803}, doi = {10.1007/BFB0023803}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/nmelp/WangYY96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pricai/PadmanabhuniYG96, author = {Srinivas Padmanabhuni and Jia{-}Huai You and Aditya Ghose}, editor = {Grigoris Antoniou and Aditya Ghose and Miroslaw Truszczynski}, title = {A framework for learning constraints: Preliminary report}, booktitle = {Learning and Reasoning with Complex Representations, PRICAI'96 Workshops on Reasoning with Incomplete and Changing Information and on Inducing Complex Representations, Cairns, Australia, August 26-30, 1996, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1359}, pages = {133--147}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-64413-X\_33}, doi = {10.1007/3-540-64413-X\_33}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/pricai/PadmanabhuniYG96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/YouY95, author = {Jia{-}Huai You and Li{-}Yan Yuan}, title = {On the Equivalence of Semantics for Normal Logic Programs}, journal = {J. Log. Program.}, volume = {22}, number = {3}, pages = {211--222}, year = {1995}, url = {https://doi.org/10.1016/0743-1066(94)00023-Y}, doi = {10.1016/0743-1066(94)00023-Y}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/YouY95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deductive/YouGYG95, author = {Jia{-}Huai You and Suryanil Ghosh and Li{-}Yan Yuan and Randy Goebel}, editor = {Hendrik Decker and Ulrich Geske and Antonis C. Kakas and Chiaki Sakama and Dietmar Seipel and Toni Urp{\'{\i}}}, title = {An Introspective Framework for Paraconsistent Logic Programs and Disjunctive Databases}, booktitle = {Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995}, series = {GMD-Studien}, volume = {266}, pages = {41--55}, publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung MbH}, year = {1995}, timestamp = {Wed, 04 Dec 2013 14:42:57 +0100}, biburl = {https://dblp.org/rec/conf/deductive/YouGYG95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/YuanY95, author = {Li{-}Yan Yuan and Jia{-}Huai You}, editor = {Leon Sterling}, title = {On Coherence Approach to Logic Program Revision}, booktitle = {Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, Tokyo, Japan, June 13-16, 1995}, pages = {167--181}, publisher = {{MIT} Press}, year = {1995}, timestamp = {Mon, 02 Dec 2013 17:40:44 +0100}, biburl = {https://dblp.org/rec/conf/iclp/YuanY95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpnmr/YuanY95, author = {Li{-}Yan Yuan and Jia{-}Huai You}, editor = {V. Wiktor Marek and Anil Nerode}, title = {On the Extension of Logic Programming with Negation through Uniform Proofs}, booktitle = {Logic Programming and Nonmonotonic Reasoning, Third International Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {928}, pages = {231--244}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-59487-6\_17}, doi = {10.1007/3-540-59487-6\_17}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/lpnmr/YuanY95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/YouGYG95, author = {Jia{-}Huai You and Suryanil Ghosh and Li{-}Yan Yuan and Randy Goebel}, editor = {John W. Lloyd}, title = {An Introspective Framework for Paraconsistent Logic Programs}, booktitle = {Logic Programming, Proceedings of the 1995 International Symposium, Portland, Oregon, USA, December 4-7, 1995}, pages = {384--398}, publisher = {{MIT} Press}, year = {1995}, url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300106}, timestamp = {Wed, 11 Aug 2021 17:02:32 +0200}, biburl = {https://dblp.org/rec/conf/slp/YouGYG95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/YouY94, author = {Jia{-}Huai You and Li{-}Yan Yuan}, title = {A Three-Valued Semantics for Deductive Databases and Logic Programs}, journal = {J. Comput. Syst. Sci.}, volume = {49}, number = {2}, pages = {334--361}, year = {1994}, url = {https://doi.org/10.1016/S0022-0000(05)80053-4}, doi = {10.1016/S0022-0000(05)80053-4}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/YouY94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nmelp/YouY94, author = {Jia{-}Huai You and Li{-}Yan Yuan}, editor = {J{\"{u}}rgen Dix and Lu{\'{\i}}s Moniz Pereira and Teodor C. Przymusinski}, title = {Logic Programming with Assumption Denials}, booktitle = {Non-Monotonic Extensions of Logic Programming (NMELP'94), {ICLP} '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {927}, pages = {85--100}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/BFb0030661}, doi = {10.1007/BFB0030661}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/nmelp/YouY94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/YouC94, author = {Jia{-}Huai You and Robert Cartwright}, editor = {Maurice Bruynooghe}, title = {Tractable Argumentation Semantics via Iterative Belief Revision}, booktitle = {Logic Programming, Proceedings of the 1994 International Symposium, Ithaca, New York, USA, November 13-17, 1994}, pages = {239--253}, publisher = {{MIT} Press}, year = {1994}, timestamp = {Wed, 04 Dec 2013 14:42:58 +0100}, biburl = {https://dblp.org/rec/conf/slp/YouC94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/YuanY94, author = {Li{-}Yan Yuan and Jia{-}Huai You}, editor = {Maurice Bruynooghe}, title = {A Simple but Effective Program Revision Method}, booktitle = {Logic Programming, Proceedings of the 1994 International Symposium, Ithaca, New York, USA, November 13-17, 1994}, pages = {686}, publisher = {{MIT} Press}, year = {1994}, timestamp = {Wed, 04 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/slp/YuanY94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/YuanY93, author = {Li{-}Yan Yuan and Jia{-}Huai You}, title = {Autoepistemic Circumscription and Logic Programming}, journal = {J. Autom. Reason.}, volume = {10}, number = {2}, pages = {143--160}, year = {1993}, url = {https://doi.org/10.1007/BF00881833}, doi = {10.1007/BF00881833}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/YuanY93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pc/LiuY93, author = {Zhiyong Liu and Jia{-}Huai You}, title = {Conflict-Free Routing for BPC-Permutations on Synchronous Hupercubes}, journal = {Parallel Comput.}, volume = {19}, number = {3}, pages = {323--342}, year = {1993}, url = {https://doi.org/10.1016/0167-8191(93)90040-R}, doi = {10.1016/0167-8191(93)90040-R}, timestamp = {Sat, 22 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pc/LiuY93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dood/YuanY93, author = {Li{-}Yan Yuan and Jia{-}Huai You}, editor = {Stefano Ceri and Katsumi Tanaka and Shalom Tsur}, title = {Knowledge Base Revision Using Circumscription}, booktitle = {Deductive and Object-Oriented Databases, Third International Conference, DOOD'93, Phoenix, Arizona, USA, December 6-8, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {760}, pages = {444--458}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57530-8\_29}, doi = {10.1007/3-540-57530-8\_29}, timestamp = {Fri, 17 Jul 2020 16:12:46 +0200}, biburl = {https://dblp.org/rec/conf/dood/YuanY93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/YouY93, author = {Jia{-}Huai You and Li{-}Yan Yuan}, editor = {Dale Miller}, title = {Contradiction Resolving for Extended Logic Programs and Default Theories}, booktitle = {Logic Programming, Proceedings of the 1993 International Symposium, Vancouver, British Columbia, Canada, October 26-29, 1993}, pages = {640}, publisher = {{MIT} Press}, year = {1993}, timestamp = {Sun, 12 Nov 2017 16:01:30 +0100}, biburl = {https://dblp.org/rec/conf/slp/YouY93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/LiuY92, author = {Zhiyong Liu and Jia{-}Huai You}, title = {An Implementation of a Nonlinear Skewing Scheme}, journal = {Inf. Process. Lett.}, volume = {42}, number = {4}, pages = {209--215}, year = {1992}, url = {https://doi.org/10.1016/0020-0190(92)90241-M}, doi = {10.1016/0020-0190(92)90241-M}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ipl/LiuY92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icci/LiuYL92, author = {Zhiyong Liu and Jia{-}Huai You and Xiaobo Li}, editor = {Waldemar W. Koczkodaj and Peter E. Lauer and Anestis A. Toptsis}, title = {Conflict-Free Routing on Hypercubes}, booktitle = {Computing and Information - ICCI'92, Fourth International Conference on Computing and Information, Toronto, Ontario, Canada, May 28-30, 1992, Proceedings}, pages = {153--158}, publisher = {{IEEE} Computer Society}, year = {1992}, timestamp = {Wed, 31 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icci/LiuYL92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ics/LiuLY92, author = {Zhiyong Liu and Xiaobo Li and Jia{-}Huai You}, editor = {Ken Kennedy and Constantine D. Polychronopoulos}, title = {On storage schemes for parallel array access}, booktitle = {Proceedings of the 6th international conference on Supercomputing, {ICS} 1992, Washington, DC, USA, July 19-24, 1992}, pages = {282--291}, publisher = {{ACM}}, year = {1992}, url = {https://doi.org/10.1145/143369.143421}, doi = {10.1145/143369.143421}, timestamp = {Wed, 31 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ics/LiuLY92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ipps/LiuYL92, author = {Zhiyong Liu and Jia{-}Huai You and Xiaobo Li}, editor = {Viktor K. Prasanna and Larry H. Canter}, title = {The Odd-Even Expansion Storage Scheme and Its Implementation Issues}, booktitle = {Proceedings of the 6th International Parallel Processing Symposium, Beverly Hills, CA, USA, March 1992}, pages = {550--557}, publisher = {{IEEE} Computer Society}, year = {1992}, url = {https://doi.org/10.1109/IPPS.1992.222969}, doi = {10.1109/IPPS.1992.222969}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ipps/LiuYL92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ci/LiY91, author = {Liwu Li and Jia{-}Huai You}, title = {Making default inferences from logic programs}, journal = {Comput. Intell.}, volume = {7}, pages = {142--153}, year = {1991}, url = {https://doi.org/10.1111/j.1467-8640.1991.tb00389.x}, doi = {10.1111/J.1467-8640.1991.TB00389.X}, timestamp = {Sun, 15 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ci/LiY91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/You91, author = {Jia{-}Huai You}, title = {Unification Modulo an Equality Theory for Equational Logic Programming}, journal = {J. Comput. Syst. Sci.}, volume = {42}, number = {1}, pages = {54--75}, year = {1991}, url = {https://doi.org/10.1016/0022-0000(91)90039-8}, doi = {10.1016/0022-0000(91)90039-8}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/You91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icci/LiuY91, author = {Zhiyong Liu and Jia{-}Huai You}, editor = {Frank K. H. A. Dehne and Frantisek Fiala and Waldemar W. Koczkodaj}, title = {Increasing Communication Bandwidth on Hypercube}, booktitle = {Advances in Computing and Information - ICCI'91, International Conference on Computing and Information, Ottawa, Canada, May 27-29, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {497}, pages = {403--414}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54029-6\_188}, doi = {10.1007/3-540-54029-6\_188}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/icci/LiuY91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icci/YuanYW91, author = {Li{-}Yan Yuan and Jia{-}Huai You and Cheng Hui Wang}, editor = {Frank K. H. A. Dehne and Frantisek Fiala and Waldemar W. Koczkodaj}, title = {A Proof-Theoretic Framework for Nonmonotonic Reasoning and Logic Programming}, booktitle = {Advances in Computing and Information - ICCI'91, International Conference on Computing and Information, Ottawa, Canada, May 27-29, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {497}, pages = {699--708}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54029-6\_219}, doi = {10.1007/3-540-54029-6\_219}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icci/YuanYW91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icpp/LiuY91, author = {Zhiyong Liu and Jia{-}Huai You}, title = {Realizing Frequently Used Permutations on Syncube}, booktitle = {Proceedings of the International Conference on Parallel Processing, {ICPP} '91, Austin, Texas, USA, August 1991. Volume {I:} Architecture/Hardware}, pages = {274--277}, publisher = {{CRC} Press}, year = {1991}, timestamp = {Mon, 28 Jul 2014 17:06:00 +0200}, biburl = {https://dblp.org/rec/conf/icpp/LiuY91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/YuanY90, author = {Li{-}Yan Yuan and Jia{-}Huai You}, editor = {Kesav V. Nori and C. E. Veni Madhavan}, title = {Discriminant Circumscription}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {472}, pages = {21--32}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/3-540-53487-3\_32}, doi = {10.1007/3-540-53487-3\_32}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/YuanY90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icpp/LiuY90a, author = {Zhiyong Liu and Jia{-}Huai You}, editor = {Benjamin W. Wah}, title = {Finding the Shortest Path in {ESMSS} Network}, booktitle = {Proceedings of the 1990 International Conference on Parallel Processing, Urbana-Champaign, IL, USA, August 1990. Volume 1: Architecture}, pages = {589--590}, publisher = {Pennsylvania State University Press}, year = {1990}, timestamp = {Mon, 28 Jul 2014 17:06:01 +0200}, biburl = {https://dblp.org/rec/conf/icpp/LiuY90a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pods/YouY90, author = {Jia{-}Huai You and Li{-}Yan Yuan}, editor = {Daniel J. Rosenkrantz and Yehoshua Sagiv}, title = {Three-Valued Formalization of Logic Programming: Is It Needed?}, booktitle = {Proceedings of the Ninth {ACM} {SIGACT-SIGMOD-SIGART} Symposium on Principles of Database Systems, April 2-4, 1990, Nashville, Tennessee, {USA}}, pages = {172--182}, publisher = {{ACM} Press}, year = {1990}, url = {https://doi.org/10.1145/298514.298559}, doi = {10.1145/298514.298559}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pods/YouY90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spdp/LiuY90, author = {Zhiyong Liu and Jia{-}Huai You}, title = {Dynamic load-balancing on a parallel inference system}, booktitle = {Proceedings of the Second {IEEE} Symposium on Parallel and Distributed Processing, {SPDP} 1990, Dallas, Texas, USA, December 9-13, 1990}, pages = {58--61}, publisher = {{IEEE} Computer Society}, year = {1990}, url = {https://doi.org/10.1109/SPDP.1990.143507}, doi = {10.1109/SPDP.1990.143507}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/spdp/LiuY90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsc/You89, author = {Jia{-}Huai You}, title = {Enumarating Outer Narrowing Derivations for Constructor-Based Term Rewriting Systems}, journal = {J. Symb. Comput.}, volume = {7}, number = {3/4}, pages = {319--341}, year = {1989}, url = {https://doi.org/10.1016/S0747-7171(89)80015-X}, doi = {10.1016/S0747-7171(89)80015-X}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jsc/You89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictai/YouWL89, author = {Jia{-}Huai You and Brian Wong and Chung{-}Sea Law}, title = {A new intelligent backtracking scheme for Prolog: a summary of results}, booktitle = {{IEEE} International Workshop on Tools for Artificial Intelligence: Architectures, Languages and Algorithms, {TAI} 1989, Fairfax, VA, USA, October 23-25, 1989}, pages = {190--197}, publisher = {{IEEE} Computer Society}, year = {1989}, url = {https://doi.org/10.1109/TAI.1989.65320}, doi = {10.1109/TAI.1989.65320}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictai/YouWL89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbcs/YouS89, author = {Jia{-}Huai You and P. A. Subrahmanyam}, editor = {S. Ramani and Raman Chandrasekar and K. S. R. Anjaneyulu}, title = {On the Completeness of Narrowing for E-Unification}, booktitle = {Knowledge Based Computer Systems, International Conference {KBCS} '89, Bombay, India, December 11-13, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {444}, pages = {296--305}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0018388}, doi = {10.1007/BFB0018388}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/kbcs/YouS89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/YouL89, author = {Jia{-}Huai You and Liwu Li}, editor = {Ewing L. Lusk and Ross A. Overbeek}, title = {Supported Circumscription and Its Relation to Logic Programming with Negation}, booktitle = {Logic Programming, Proceedings of the North American Conference 1989, Cleveland, Ohio, USA, October 16-20, 1989. 2 Volumes}, pages = {291--309}, publisher = {{MIT} Press}, year = {1989}, timestamp = {Wed, 04 Dec 2013 14:43:00 +0100}, biburl = {https://dblp.org/rec/conf/slp/YouL89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alp/You88, author = {Jia{-}Huai You}, editor = {Jan Grabowski and Pierre Lescanne and Wolfgang Wechler}, title = {Solving Equations in an Equational Language}, booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig, GDR, November 14-18, 1988, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {343}, pages = {245--254}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/3-540-50667-5\_77}, doi = {10.1007/3-540-50667-5\_77}, timestamp = {Tue, 14 May 2019 10:00:36 +0200}, biburl = {https://dblp.org/rec/conf/alp/You88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ausai/LauY88, author = {Vickitt Lau and Jia{-}Huai You}, editor = {Chris J. Barter and Michael J. Brooks}, title = {Parallelism in Nonmonotonic Multiple Inheritance Systems}, booktitle = {{AI} '88: 2nd Australian Joint Artificial Intelligence Conference, Adelaide, Australia, November 15-18, 1988, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {406}, pages = {449--462}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/3-540-52062-7\_96}, doi = {10.1007/3-540-52062-7\_96}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/ausai/LauY88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/You88, author = {Jia{-}Huai You}, editor = {Timo Lepist{\"{o}} and Arto Salomaa}, title = {Outer Narrowing for Equational Theories Based on Constructors}, booktitle = {Automata, Languages and Programming, 15th International Colloquium, ICALP88, Tampere, Finland, July 11-15, 1988, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {317}, pages = {727--741}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/3-540-19488-6\_153}, doi = {10.1007/3-540-19488-6\_153}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/You88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/YouS86, author = {Jia{-}Huai You and P. A. Subrahmanyam}, title = {A Class of Confluent Term Rewriting Systems and Unification}, journal = {J. Autom. Reason.}, volume = {2}, number = {4}, pages = {391--418}, year = {1986}, url = {https://doi.org/10.1007/BF00248250}, doi = {10.1007/BF00248250}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/YouS86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/YouS86, author = {Jia{-}Huai You and P. A. Subrahmanyam}, editor = {Laurent Kott}, title = {E-Unification Algorithms for a Class of Confluent Term Rewriting Systems}, booktitle = {Automata, Languages and Programming, 13th International Colloquium, ICALP86, Rennes, France, July 15-19, 1986, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {226}, pages = {454--463}, publisher = {Springer}, year = {1986}, url = {https://doi.org/10.1007/3-540-16761-7\_95}, doi = {10.1007/3-540-16761-7\_95}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/YouS86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/YouS86, author = {Jia{-}Huai You and P. A. Subrahmanyam}, title = {Equational Logic Programming: An Extension to Equational Programming}, booktitle = {Conference Record of the Thirteenth Annual {ACM} Symposium on Principles of Programming Languages, St. Petersburg Beach, Florida, USA, January 1986}, pages = {209--218}, publisher = {{ACM} Press}, year = {1986}, url = {https://doi.org/10.1145/512644.512663}, doi = {10.1145/512644.512663}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/YouS86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/ph/deGrootL86/SubrahmanyamY86, author = {P. A. Subrahmanyam and Jia{-}Huai You}, editor = {Doug DeGroot and Gary Lindstrom}, title = {{FUNLOG:} {A} Computational Model Integrating Logic Programming and Functional Programming}, booktitle = {Logic Programming: Functions, Relations, and Equations}, pages = {157--198}, publisher = {Prentice-Hall}, year = {1986}, timestamp = {Mon, 05 Aug 2019 11:53:35 +0200}, biburl = {https://dblp.org/rec/books/ph/deGrootL86/SubrahmanyamY86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/SubrahmanyamY84, author = {P. A. Subrahmanyam and Jia{-}Huai You}, title = {On Embedding Functions in Logic}, journal = {Inf. Process. Lett.}, volume = {19}, number = {1}, pages = {41--46}, year = {1984}, url = {https://doi.org/10.1016/0020-0190(84)90127-3}, doi = {10.1016/0020-0190(84)90127-3}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ipl/SubrahmanyamY84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/SubrahmanyamY84, author = {P. A. Subrahmanyam and Jia{-}Huai You}, editor = {Ken Kennedy and Mary S. Van Deusen and Larry Landweber}, title = {Pattern Driven Lazy Reduction: {A} Unifying Evaluation Mechanism for Functional and Logic Programs}, booktitle = {Conference Record of the Eleventh Annual {ACM} Symposium on Principles of Programming Languages, Salt Lake City, Utah, USA, January 1984}, pages = {228--234}, publisher = {{ACM} Press}, year = {1984}, url = {https://doi.org/10.1145/800017.800534}, doi = {10.1145/800017.800534}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/SubrahmanyamY84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/SubrahmanyamY84, author = {P. A. Subrahmanyam and Jia{-}Huai You}, title = {Conceptual Basis and Evaluation Strategies for Integrating Functional and Logic Programming}, booktitle = {Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City, New Jersey, USA, February 6-9, 1984}, pages = {144--153}, publisher = {{IEEE-CS}}, year = {1984}, timestamp = {Wed, 04 Dec 2013 14:42:58 +0100}, biburl = {https://dblp.org/rec/conf/slp/SubrahmanyamY84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.