BibTeX records: Zuoquan Lin

download as .bib file

@inproceedings{DBLP:conf/eacl/LinS24,
  author       = {Zuoquan Lin and
                  Xinyi Shen},
  editor       = {Yvette Graham and
                  Matthew Purver},
  title        = {Local and Global Contexts for Conversation},
  booktitle    = {Findings of the Association for Computational Linguistics: {EACL}
                  2024, St. Julian's, Malta, March 17-22, 2024},
  pages        = {1408--1418},
  publisher    = {Association for Computational Linguistics},
  year         = {2024},
  url          = {https://aclanthology.org/2024.findings-eacl.95},
  timestamp    = {Tue, 02 Apr 2024 16:32:10 +0200},
  biburl       = {https://dblp.org/rec/conf/eacl/LinS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-17588,
  author       = {Zuoquan Lin and
                  Xinyi Shen},
  title        = {Local and Global Contexts for Conversation},
  journal      = {CoRR},
  volume       = {abs/2401.17588},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2401.17588},
  doi          = {10.48550/ARXIV.2401.17588},
  eprinttype    = {arXiv},
  eprint       = {2401.17588},
  timestamp    = {Wed, 07 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2401-17588.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-17445,
  author       = {Jiqun Chu and
                  Zuoquan Lin},
  title        = {Incorporating Exponential Smoothing into {MLP:} {A} Simple but Effective
                  Sequence Model},
  journal      = {CoRR},
  volume       = {abs/2403.17445},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2403.17445},
  doi          = {10.48550/ARXIV.2403.17445},
  eprinttype    = {arXiv},
  eprint       = {2403.17445},
  timestamp    = {Wed, 10 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2403-17445.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pricai/ShenL23,
  author       = {Xinyi Shen and
                  Zuoquan Lin},
  editor       = {Fenrong Liu and
                  Arun Anand Sadanandan and
                  Duc Nghia Pham and
                  Petrus Mursanto and
                  Dickson Lukose},
  title        = {An Empirical Study on Context Length for Open-Domain Dialog Generation},
  booktitle    = {{PRICAI} 2023: Trends in Artificial Intelligence - 20th Pacific Rim
                  International Conference on Artificial Intelligence, {PRICAI} 2023,
                  Jakarta, Indonesia, November 15-19, 2023, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14326},
  pages        = {336--341},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-7022-3\_29},
  doi          = {10.1007/978-981-99-7022-3\_29},
  timestamp    = {Fri, 17 Nov 2023 16:25:43 +0100},
  biburl       = {https://dblp.org/rec/conf/pricai/ShenL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acai2/ChuL22,
  author       = {Jiqun Chu and
                  Zuoquan Lin},
  title        = {Entangled Representation Learning: {A} Bidirectional Encoder Decoder
                  Model},
  booktitle    = {Proceedings of the 5th International Conference on Algorithms, Computing
                  and Artificial Intelligence, {ACAI} 2022, Sanya, China, December 23-25,
                  2022},
  pages        = {70:1--70:7},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3579654.3579728},
  doi          = {10.1145/3579654.3579728},
  timestamp    = {Thu, 29 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acai2/ChuL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmai2/SongL21,
  author       = {Jiehu Song and
                  Zuoquan Lin},
  title        = {Neural Machine Translating from {XML} to {RDF}},
  booktitle    = {{ICMAI} 2021: 6th International Conference on Mathematics and Artificial
                  Intelligence, Chengdu, China, March 19 - 21, 2021},
  pages        = {130--136},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3460569.3460589},
  doi          = {10.1145/3460569.3460589},
  timestamp    = {Wed, 27 Sep 2023 13:41:06 +0200},
  biburl       = {https://dblp.org/rec/conf/icmai2/SongL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chinaf/LinC19,
  author       = {Zuoquan Lin and
                  Hanxuan Chen},
  title        = {Recommendation over time: a probabilistic model of time-aware recommender
                  systems},
  journal      = {Sci. China Inf. Sci.},
  volume       = {62},
  number       = {11},
  pages        = {212105:1--212105:14},
  year         = {2019},
  url          = {https://doi.org/10.1007/s11432-018-9915-8},
  doi          = {10.1007/S11432-018-9915-8},
  timestamp    = {Mon, 02 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/chinaf/LinC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/LinS19,
  author       = {Zuoquan Lin and
                  Jiehu Song},
  editor       = {H. Jaap van den Herik and
                  Ana Paula Rocha and
                  Luc Steels},
  title        = {Neural Hidden Markov Model},
  booktitle    = {Agents and Artificial Intelligence - 11th International Conference,
                  {ICAART} 2019, Prague, Czech Republic, February 19-21, 2019, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11978},
  pages        = {37--54},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-37494-5\_3},
  doi          = {10.1007/978-3-030-37494-5\_3},
  timestamp    = {Fri, 27 Mar 2020 08:49:32 +0100},
  biburl       = {https://dblp.org/rec/conf/icaart/LinS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/ChenL19,
  author       = {Hanxuan Chen and
                  Zuoquan Lin},
  editor       = {Ana Paula Rocha and
                  Luc Steels and
                  H. Jaap van den Herik},
  title        = {A Hybrid Neural Network and Hidden Markov Model for Time-aware Recommender
                  Systems},
  booktitle    = {Proceedings of the 11th International Conference on Agents and Artificial
                  Intelligence, {ICAART} 2019, Volume 2, Prague, Czech Republic, February
                  19-21, 2019},
  pages        = {204--213},
  publisher    = {SciTePress},
  year         = {2019},
  url          = {https://doi.org/10.5220/0007380402040213},
  doi          = {10.5220/0007380402040213},
  timestamp    = {Tue, 06 Jun 2023 14:58:01 +0200},
  biburl       = {https://dblp.org/rec/conf/icaart/ChenL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wims/LinC19,
  author       = {Zuoquan Lin and
                  Hanxuan Chen},
  editor       = {Rajendra Akerkar and
                  Jason J. Jung},
  title        = {A Probabilistic Model for Collaborative Filtering},
  booktitle    = {Proceedings of the 9th International Conference on Web Intelligence,
                  Mining and Semantics, {WIMS} 2019, Seoul, Republic of Korea, June
                  26-28, 2019},
  pages        = {25:1--25:8},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3326467.3326472},
  doi          = {10.1145/3326467.3326472},
  timestamp    = {Tue, 28 May 2019 14:26:44 +0200},
  biburl       = {https://dblp.org/rec/conf/wims/LinC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/LinC18,
  author       = {Zuoquan Lin and
                  Chen Chen},
  title        = {Restricted semantics for default reasoning},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {84},
  number       = {3-4},
  pages        = {185--200},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10472-018-9592-z},
  doi          = {10.1007/S10472-018-9592-Z},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/LinC18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ksem/LinJ18,
  author       = {Zuoquan Lin and
                  Zhaocong Jia},
  editor       = {Weiru Liu and
                  Fausto Giunchiglia and
                  Bo Yang},
  title        = {Another Useful Four-Valued Logic},
  booktitle    = {Knowledge Science, Engineering and Management - 11th International
                  Conference, {KSEM} 2018, Changchun, China, August 17-19, 2018, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11062},
  pages        = {89--101},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-99247-1\_9},
  doi          = {10.1007/978-3-319-99247-1\_9},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/ksem/LinJ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscid/XieL16,
  author       = {Fangfang Xie and
                  Zuoquan Lin},
  title        = {Group-Based Argumentation},
  booktitle    = {9th International Symposium on Computational Intelligence and Design,
                  {ISCID} 2016, Hangzhou, China, December 10-11, 2016, Volume 1},
  pages        = {464--468},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/ISCID.2016.1114},
  doi          = {10.1109/ISCID.2016.1114},
  timestamp    = {Tue, 17 May 2022 16:11:27 +0200},
  biburl       = {https://dblp.org/rec/conf/iscid/XieL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pricai/ChenL16,
  author       = {Chen Chen and
                  Zuoquan Lin},
  editor       = {Richard Booth and
                  Min{-}Ling Zhang},
  title        = {Restricted Four-Valued Semantics for Answer Set Programming},
  booktitle    = {{PRICAI} 2016: Trends in Artificial Intelligence - 14th Pacific Rim
                  International Conference on Artificial Intelligence, Phuket, Thailand,
                  August 22-26, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9810},
  pages        = {68--79},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-42911-3\_6},
  doi          = {10.1007/978-3-319-42911-3\_6},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/pricai/ChenL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ksem/ChenL15,
  author       = {Chen Chen and
                  Zuoquan Lin},
  editor       = {Songmao Zhang and
                  Martin Wirsing and
                  Zili Zhang},
  title        = {Restricted Four-Valued Logic for Default Reasoning},
  booktitle    = {Knowledge Science, Engineering and Management - 8th International
                  Conference, {KSEM} 2015, Chongqing, China, October 28-30, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9403},
  pages        = {40--52},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-25159-2\_4},
  doi          = {10.1007/978-3-319-25159-2\_4},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/ksem/ChenL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/ZhangXLB14,
  author       = {Xiaowang Zhang and
                  Guohui Xiao and
                  Zuoquan Lin and
                  Jan Van den Bussche},
  title        = {Inconsistency-tolerant reasoning with {OWL} {DL}},
  journal      = {Int. J. Approx. Reason.},
  volume       = {55},
  number       = {2},
  pages        = {557--584},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.ijar.2013.09.005},
  doi          = {10.1016/J.IJAR.2013.09.005},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijar/ZhangXLB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cai/ZhangL13,
  author       = {Xiaowang Zhang and
                  Zuoquan Lin},
  title        = {An Approach to Generating Arguments over DL-Lite Ontologies},
  journal      = {Comput. Informatics},
  volume       = {32},
  number       = {5},
  pages        = {924--948},
  year         = {2013},
  url          = {http://www.cai.sk/ojs/index.php/cai/article/view/874},
  timestamp    = {Mon, 14 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cai/ZhangL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jiis/ZhangL13,
  author       = {Xiaowang Zhang and
                  Zuoquan Lin},
  title        = {An argumentation framework for description logic ontology reasoning
                  and management},
  journal      = {J. Intell. Inf. Syst.},
  volume       = {40},
  number       = {3},
  pages        = {375--403},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10844-012-0230-7},
  doi          = {10.1007/S10844-012-0230-7},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jiis/ZhangL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ai/LiangLB13,
  author       = {Xin Liang and
                  Zuoquan Lin and
                  Jan Van den Bussche},
  editor       = {Osmar R. Za{\"{\i}}ane and
                  Sandra Zilles},
  title        = {Quantitatively Evaluating Formula-Variable Relevance by Forgetting},
  booktitle    = {Advances in Artificial Intelligence, 26th Canadian Conference on Artificial
                  Intelligence, Canadian {AI} 2013, Regina, SK, Canada, May 28-31, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7884},
  pages        = {271--277},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38457-8\_26},
  doi          = {10.1007/978-3-642-38457-8\_26},
  timestamp    = {Thu, 28 Sep 2023 12:27:13 +0200},
  biburl       = {https://dblp.org/rec/conf/ai/LiangLB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apweb/FanL13,
  author       = {Chaosheng Fan and
                  Zuoquan Lin},
  editor       = {Yoshiharu Ishikawa and
                  Jianzhong Li and
                  Wei Wang and
                  Rui Zhang and
                  Wenjie Zhang},
  title        = {Collaborative Ranking with Ranking-Based Neighborhood},
  booktitle    = {Web Technologies and Applications - 15th Asia-Pacific Web Conference,
                  APWeb 2013, Sydney, Australia, April 4-6, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7808},
  pages        = {770--781},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-37401-2\_74},
  doi          = {10.1007/978-3-642-37401-2\_74},
  timestamp    = {Mon, 28 Aug 2023 21:17:33 +0200},
  biburl       = {https://dblp.org/rec/conf/apweb/FanL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ksem/ZhangL13,
  author       = {Wei Zhang and
                  Zuoquan Lin},
  editor       = {Mingzheng Wang},
  title        = {Representation and Reasoning on {RBAC:} {A} Nonmonotonic Approach},
  booktitle    = {Knowledge Science, Engineering and Management - 6th International
                  Conference, {KSEM} 2013, Dalian, China, August 10-12, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8041},
  pages        = {230--240},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39787-5\_19},
  doi          = {10.1007/978-3-642-39787-5\_19},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/ksem/ZhangL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ksem/LiangL13,
  author       = {Xin Liang and
                  Zuoquan Lin},
  editor       = {Mingzheng Wang},
  title        = {Measuring Formula-Variable Relevance in Four-Valued Logic by Forgetting},
  booktitle    = {Knowledge Science, Engineering and Management - 6th International
                  Conference, {KSEM} 2013, Dalian, China, August 10-12, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8041},
  pages        = {336--348},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39787-5\_28},
  doi          = {10.1007/978-3-642-39787-5\_28},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ksem/LiangL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigir/FanLGLC13,
  author       = {Chaosheng Fan and
                  Yanyan Lan and
                  Jiafeng Guo and
                  Zuoquan Lin and
                  Xueqi Cheng},
  editor       = {Gareth J. F. Jones and
                  Paraic Sheridan and
                  Diane Kelly and
                  Maarten de Rijke and
                  Tetsuya Sakai},
  title        = {Collaborative factorization for recommender systems},
  booktitle    = {The 36th International {ACM} {SIGIR} conference on research and development
                  in Information Retrieval, {SIGIR} '13, Dublin, Ireland - July 28 -
                  August 01, 2013},
  pages        = {949--953},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2484028.2484176},
  doi          = {10.1145/2484028.2484176},
  timestamp    = {Tue, 06 Nov 2018 11:07:23 +0100},
  biburl       = {https://dblp.org/rec/conf/sigir/FanLGLC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-2137,
  author       = {Dai Xu and
                  Xiaowang Zhang and
                  Zuoquan Lin},
  title        = {A Forgetting-based Approach to Merging Knowledge Bases},
  journal      = {CoRR},
  volume       = {abs/1301.2137},
  year         = {2013},
  url          = {http://arxiv.org/abs/1301.2137},
  eprinttype    = {arXiv},
  eprint       = {1301.2137},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1301-2137.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-2146,
  author       = {Xiaowang Zhang and
                  Guohui Xiao and
                  Zuoquan Lin},
  title        = {A Paraconsistent Tableau Algorithm Based on Sign Transformation in
                  Semantic Web},
  journal      = {CoRR},
  volume       = {abs/1301.2146},
  year         = {2013},
  url          = {http://arxiv.org/abs/1301.2146},
  eprinttype    = {arXiv},
  eprint       = {1301.2146},
  timestamp    = {Sat, 20 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1301-2146.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/ZhangL12,
  author       = {Zhihu Zhang and
                  Zuoquan Lin},
  title        = {Minimal hypotheses: extension-based semantics to argumentation},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {65},
  number       = {2-3},
  pages        = {245--283},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10472-012-9308-8},
  doi          = {10.1007/S10472-012-9308-8},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/ZhangL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mvl/ZhangL12,
  author       = {Xiaowang Zhang and
                  Zuoquan Lin},
  title        = {Quasi-Classical Description Logic},
  journal      = {J. Multiple Valued Log. Soft Comput.},
  volume       = {18},
  number       = {3-4},
  pages        = {291--327},
  year         = {2012},
  url          = {http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-18-number-3-4-2012/mvlsc-18-3-4-p-291-327/},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mvl/ZhangL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/WangL12,
  author       = {Geng Wang and
                  Zuoquan Lin},
  editor       = {G. Michael Youngblood and
                  Philip M. McCarthy},
  title        = {A Model-Theoretic Semantics for Two-Sided Argumentation},
  booktitle    = {Proceedings of the Twenty-Fifth International Florida Artificial Intelligence
                  Research Society Conference, Marco Island, Florida, USA, May 23-25,
                  2012},
  publisher    = {{AAAI} Press},
  year         = {2012},
  url          = {http://www.aaai.org/ocs/index.php/FLAIRS/FLAIRS12/paper/view/4368},
  timestamp    = {Wed, 26 Oct 2022 08:35:17 +0200},
  biburl       = {https://dblp.org/rec/conf/flairs/WangL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rskt/WangL12,
  author       = {Geng Wang and
                  Zuoquan Lin},
  editor       = {Tianrui Li and
                  Hung Son Nguyen and
                  Guoyin Wang and
                  Jerzy W. Grzymala{-}Busse and
                  Ryszard Janicki and
                  Aboul Ella Hassanien and
                  Hong Yu},
  title        = {An Argumentation Framework for Non-monotonic Reasoning in Description
                  Logic},
  booktitle    = {Rough Sets and Knowledge Technology - 7th International Conference,
                  {RSKT} 2012, Chengdu, China, August 17-20, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7414},
  pages        = {200--206},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31900-6\_26},
  doi          = {10.1007/978-3-642-31900-6\_26},
  timestamp    = {Thu, 15 Jul 2021 13:46:36 +0200},
  biburl       = {https://dblp.org/rec/conf/rskt/WangL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/skg/ZhangL12,
  author       = {Wei Zhang and
                  Zuoquan Lin},
  title        = {A Logic-Based {RBAC} Framework for Flexible Policies},
  booktitle    = {Eighth International Conference on Semantics, Knowledge and Grids,
                  {SKG} 2012, Beijing, China, October 22-24, 2012},
  pages        = {279--282},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/SKG.2012.5},
  doi          = {10.1109/SKG.2012.5},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/skg/ZhangL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apweb/ZhangLW11,
  author       = {Xiaowang Zhang and
                  Zuoquan Lin and
                  Kewen Wang},
  editor       = {Xiaoyong Du and
                  Wenfei Fan and
                  Jianmin Wang and
                  Zhiyong Peng and
                  Mohamed A. Sharaf},
  title        = {A Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning
                  in Description Logic-Based System},
  booktitle    = {Web Technologies and Applications - 13th Asia-Pacific Web Conference,
                  APWeb 2011, Beijing, China, April 18-20, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6612},
  pages        = {345--356},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-20291-9\_36},
  doi          = {10.1007/978-3-642-20291-9\_36},
  timestamp    = {Mon, 26 Jun 2023 20:48:23 +0200},
  biburl       = {https://dblp.org/rec/conf/apweb/ZhangLW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/MaQXHL10,
  author       = {Yue Ma and
                  Guilin Qi and
                  Guohui Xiao and
                  Pascal Hitzler and
                  Zuoquan Lin},
  title        = {Computational Complexity and Anytime Algorithm for Inconsistency Measurement},
  journal      = {Int. J. Softw. Informatics},
  volume       = {4},
  number       = {1},
  pages        = {3--21},
  year         = {2010},
  url          = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i41\&\#38;flag=1},
  timestamp    = {Fri, 04 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijsi/MaQXHL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ai/ZhangZXL10,
  author       = {Xiaowang Zhang and
                  Zhihu Zhang and
                  Dai Xu and
                  Zuoquan Lin},
  editor       = {Atefeh Farzindar and
                  Vlado Keselj},
  title        = {Argumentation-Based Reasoning with Inconsistent Knowledge Bases},
  booktitle    = {Advances in Artificial Intelligence, 23rd Canadian Conference on Artificial
                  Intelligence, Canadian, {AI} 2010, Ottawa, Canada, May 31 - June 2,
                  2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6085},
  pages        = {87--99},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13059-5\_11},
  doi          = {10.1007/978-3-642-13059-5\_11},
  timestamp    = {Thu, 28 Sep 2023 12:27:10 +0200},
  biburl       = {https://dblp.org/rec/conf/ai/ZhangZXL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/ZhangL09,
  author       = {Zhihu Zhang and
                  Zuoquan Lin},
  editor       = {Sebastian Link and
                  Henri Prade},
  title        = {Enhancing Dung's Preferred Semantics},
  booktitle    = {Foundations of Information and Knowledge Systems, 6th International
                  Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5956},
  pages        = {58--75},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11829-6\_7},
  doi          = {10.1007/978-3-642-11829-6\_7},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/foiks/ZhangL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/ZhangLW09,
  author       = {Xiaowang Zhang and
                  Zuoquan Lin and
                  Kewen Wang},
  editor       = {Sebastian Link and
                  Henri Prade},
  title        = {Towards a Paradoxical Description Logic for the Semantic Web},
  booktitle    = {Foundations of Information and Knowledge Systems, 6th International
                  Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5956},
  pages        = {306--325},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-11829-6\_20},
  doi          = {10.1007/978-3-642-11829-6\_20},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foiks/ZhangLW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/XiaoLMQ10,
  author       = {Guohui Xiao and
                  Zuoquan Lin and
                  Yue Ma and
                  Guilin Qi},
  editor       = {Fangzhen Lin and
                  Ulrike Sattler and
                  Miroslaw Truszczynski},
  title        = {Computing Inconsistency Measurements under Multi-Valued Semantics
                  by Partial Max-SAT Solvers},
  booktitle    = {Principles of Knowledge Representation and Reasoning: Proceedings
                  of the Twelfth International Conference, {KR} 2010, Toronto, Ontario,
                  Canada, May 9-13, 2010},
  publisher    = {{AAAI} Press},
  year         = {2010},
  url          = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1203},
  timestamp    = {Tue, 08 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kr/XiaoLMQ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ZhangQML09,
  author       = {Xiaowang Zhang and
                  Guilin Qi and
                  Yue Ma and
                  Zuoquan Lin},
  editor       = {Bernardo Cuenca Grau and
                  Ian Horrocks and
                  Boris Motik and
                  Ulrike Sattler},
  title        = {Quasi-Classical Semantics for Expressive Description Logics},
  booktitle    = {Proceedings of the 22nd International Workshop on Description Logics
                  {(DL} 2009), Oxford, UK, July 27-30, 2009},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {477},
  publisher    = {CEUR-WS.org},
  year         = {2009},
  url          = {https://ceur-ws.org/Vol-477/paper\_1.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:16 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/ZhangQML09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ZhangZL09,
  author       = {Xiaowang Zhang and
                  Zhihu Zhang and
                  Zuoquan Lin},
  editor       = {Bernardo Cuenca Grau and
                  Ian Horrocks and
                  Boris Motik and
                  Ulrike Sattler},
  title        = {An Argumentative Semantics for Paraconsistent Reasoning in Description
                  Logic {ALC}},
  booktitle    = {Proceedings of the 22nd International Workshop on Description Logics
                  {(DL} 2009), Oxford, UK, July 27-30, 2009},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {477},
  publisher    = {CEUR-WS.org},
  year         = {2009},
  url          = {https://ceur-ws.org/Vol-477/paper\_14.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/ZhangZL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/ZhangXL09,
  author       = {Xiaowang Zhang and
                  Guohui Xiao and
                  Zuoquan Lin},
  editor       = {Lora Aroyo and
                  Paolo Traverso and
                  Fabio Ciravegna and
                  Philipp Cimiano and
                  Tom Heath and
                  Eero Hyv{\"{o}}nen and
                  Riichiro Mizoguchi and
                  Eyal Oren and
                  Marta Sabou and
                  Elena Simperl},
  title        = {A Tableau Algorithm for Handling Inconsistency in {OWL}},
  booktitle    = {The Semantic Web: Research and Applications, 6th European Semantic
                  Web Conference, {ESWC} 2009, Heraklion, Crete, Greece, May 31-June
                  4, 2009, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5554},
  pages        = {399--413},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02121-3\_31},
  doi          = {10.1007/978-3-642-02121-3\_31},
  timestamp    = {Fri, 23 Jun 2023 11:56:12 +0200},
  biburl       = {https://dblp.org/rec/conf/esws/ZhangXL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/ZhangLR09,
  author       = {Zhihu Zhang and
                  Zuoquan Lin and
                  Shuang Ren},
  editor       = {Jan Rauch and
                  Zbigniew W. Ras and
                  Petr Berka and
                  Tapio Elomaa},
  title        = {Quasi-Classical Model Semantics for Logic Programs - {A} Paraconsistent
                  Approach},
  booktitle    = {Foundations of Intelligent Systems, 18th International Symposium,
                  {ISMIS} 2009, Prague, Czech Republic, September 14-17, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5722},
  pages        = {181--190},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04125-9\_21},
  doi          = {10.1007/978-3-642-04125-9\_21},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/ismis/ZhangLR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/ZhangL09,
  author       = {Xiaowang Zhang and
                  Zuoquan Lin},
  editor       = {B{\"{a}}rbel Mertsching and
                  Marcus Hund and
                  Muhammad Zaheer Aziz},
  title        = {An Argumentation-Based Approach to Handling Inconsistencies in DL-Lite},
  booktitle    = {{KI} 2009: Advances in Artificial Intelligence, 32nd Annual German
                  Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5803},
  pages        = {615--622},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04617-9\_77},
  doi          = {10.1007/978-3-642-04617-9\_77},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/ZhangL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ksem/MaQXHL09,
  author       = {Yue Ma and
                  Guilin Qi and
                  Guohui Xiao and
                  Pascal Hitzler and
                  Zuoquan Lin},
  editor       = {Dimitris Karagiannis and
                  Zhi Jin},
  title        = {An Anytime Algorithm for Computing Inconsistency Measurement},
  booktitle    = {Knowledge Science, Engineering and Management, Third International
                  Conference, {KSEM} 2009, Vienna, Austria, November 25-27, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5914},
  pages        = {29--40},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-10488-6\_7},
  doi          = {10.1007/978-3-642-10488-6\_7},
  timestamp    = {Fri, 04 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ksem/MaQXHL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/MaHL08,
  author       = {Yue Ma and
                  Pascal Hitzler and
                  Zuoquan Lin},
  editor       = {Franz Baader and
                  Carsten Lutz and
                  Boris Motik},
  title        = {Paraconsistent Reasoning for Expressive and Tractable Description
                  Logics},
  booktitle    = {Proceedings of the 21st International Workshop on Description Logics
                  (DL2008), Dresden, Germany, May 13-16, 2008},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {353},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-353/MaHitzlerLin.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:16 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/MaHL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcn/LuoCL08,
  author       = {Zhenxing Luo and
                  Jing Chen and
                  Zuoquan Lin},
  title        = {Hybrid role hierarchy for the extended role based access control model},
  booktitle    = {{LCN} 2008, The 33rd {IEEE} Conference on Local Computer Networks,
                  The Conference on Leading Edge and Practical Computer Networking,
                  Hyatt Regency Montreal, Montreal, Quebec, Canada, 14-17 October 2008,
                  Proceedings},
  pages        = {566--567},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/LCN.2008.4664239},
  doi          = {10.1109/LCN.2008.4664239},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lcn/LuoCL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/ZhangL08,
  author       = {Xiaowang Zhang and
                  Zuoquan Lin},
  editor       = {Diego Calvanese and
                  Georg Lausen},
  title        = {Paraconsistent Reasoning with Quasi-classical Semantic in},
  booktitle    = {Web Reasoning and Rule Systems, Second International Conference, {RR}
                  2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5341},
  pages        = {222--229},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-88737-9\_18},
  doi          = {10.1007/978-3-540-88737-9\_18},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rr/ZhangL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ci/MeiLBLB07,
  author       = {Jing Mei and
                  Zuoquan Lin and
                  Harold Boley and
                  Jie Li and
                  Virendrakumar C. Bhavsar},
  title        = {The DATALOG\({}^{\mbox{DL}}\) Combination of Deduction Rules and Description
                  Logics},
  journal      = {Comput. Intell.},
  volume       = {23},
  number       = {3},
  pages        = {356--372},
  year         = {2007},
  url          = {https://doi.org/10.1111/j.1467-8640.2007.00311.x},
  doi          = {10.1111/J.1467-8640.2007.00311.X},
  timestamp    = {Sun, 15 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ci/MeiLBLB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/YueL07,
  author       = {Anbu Yue and
                  Zuoquan Lin},
  title        = {A Coherent and Paraconsistent Variant of the Default Logic},
  booktitle    = {Logical Formalizations of Commonsense Reasoning, Papers from the 2007
                  {AAAI} Spring Symposium, Technical Report SS-07-05, Stanford, California,
                  USA, March 26-28, 2007},
  pages        = {162},
  publisher    = {{AAAI}},
  year         = {2007},
  url          = {http://www.aaai.org/Library/Symposia/Spring/2007/ss07-05-028.php},
  timestamp    = {Fri, 17 Feb 2012 14:14:44 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/YueL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexaw/LuoHL07,
  author       = {Zhenxing Luo and
                  NuerMaimaiti Heilili and
                  Zuoquan Lin},
  title        = {A Flexible Applicable {RBAC} Model and Its Administration},
  booktitle    = {18th International Workshop on Database and Expert Systems Applications
                  {(DEXA} 2007), 3-7 September 2007, Regensburg, Germany},
  pages        = {192--196},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/DEXA.2007.7},
  doi          = {10.1109/DEXA.2007.7},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dexaw/LuoHL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/MaHL07,
  author       = {Yue Ma and
                  Pascal Hitzler and
                  Zuoquan Lin},
  editor       = {Diego Calvanese and
                  Enrico Franconi and
                  Volker Haarslev and
                  Domenico Lembo and
                  Boris Motik and
                  Anni{-}Yasmin Turhan and
                  Sergio Tessaris},
  title        = {Paraconsistent Resolution for Four-valued Description Logics},
  booktitle    = {Proceedings of the 2007 International Workshop on Description Logics
                  (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June,
                  2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {250},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-250/paper\_41.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/MaHL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/MaQHL07,
  author       = {Yue Ma and
                  Guilin Qi and
                  Pascal Hitzler and
                  Zuoquan Lin},
  editor       = {Diego Calvanese and
                  Enrico Franconi and
                  Volker Haarslev and
                  Domenico Lembo and
                  Boris Motik and
                  Anni{-}Yasmin Turhan and
                  Sergio Tessaris},
  title        = {Measuring Inconsistency for Description Logics Based on Paraconsistent
                  Semantics},
  booktitle    = {Proceedings of the 2007 International Workshop on Description Logics
                  (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June,
                  2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {250},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-250/paper\_5.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/MaQHL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/MaQHL07,
  author       = {Yue Ma and
                  Guilin Qi and
                  Pascal Hitzler and
                  Zuoquan Lin},
  editor       = {Khaled Mellouli},
  title        = {Measuring Inconsistency for Description Logics Based on Paraconsistent
                  Semantics},
  booktitle    = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
                  9th European Conference, {ECSQARU} 2007, Hammamet, Tunisia, October
                  31 - November 2, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4724},
  pages        = {30--41},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75256-1\_6},
  doi          = {10.1007/978-3-540-75256-1\_6},
  timestamp    = {Fri, 04 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecsqaru/MaQHL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/MaQHL07a,
  author       = {Yue Ma and
                  Guilin Qi and
                  Pascal Hitzler and
                  Zuoquan Lin},
  editor       = {Khaled Mellouli},
  title        = {An Algorithm for Computing Inconsistency Measurement by Paraconsistent
                  Semantics},
  booktitle    = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
                  9th European Conference, {ECSQARU} 2007, Hammamet, Tunisia, October
                  31 - November 2, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4724},
  pages        = {91--102},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75256-1\_11},
  doi          = {10.1007/978-3-540-75256-1\_11},
  timestamp    = {Fri, 04 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecsqaru/MaQHL07a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/MaHL07,
  author       = {Yue Ma and
                  Pascal Hitzler and
                  Zuoquan Lin},
  editor       = {Enrico Franconi and
                  Michael Kifer and
                  Wolfgang May},
  title        = {Algorithms for Paraconsistent Reasoning with {OWL}},
  booktitle    = {The Semantic Web: Research and Applications, 4th European Semantic
                  Web Conference, {ESWC} 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4519},
  pages        = {399--413},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-72667-8\_29},
  doi          = {10.1007/978-3-540-72667-8\_29},
  timestamp    = {Fri, 04 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/esws/MaHL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ksem/LinL07,
  author       = {Zhangang Lin and
                  Zuoquan Lin},
  editor       = {Zili Zhang and
                  J{\"{o}}rg H. Siekmann},
  title        = {Handling Contradictions in Default Theories},
  booktitle    = {Knowledge Science, Engineering and Management, Second International
                  Conference, {KSEM} 2007, Melbourne, Australia, November 28-30, 2007,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4798},
  pages        = {556--561},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-76719-0\_58},
  doi          = {10.1007/978-3-540-76719-0\_58},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/ksem/LinL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/MeiLB07,
  author       = {Jing Mei and
                  Zuoquan Lin and
                  Harold Boley},
  editor       = {Massimo Marchiori and
                  Jeff Z. Pan and
                  Christian de Sainte Marie},
  title        = {\emph{ALC}\({}^{\mbox{\emph{u}}}\)\({}_{\mbox{\emph{P}}}\): An Integration
                  of Description Logic and General Rules},
  booktitle    = {Web Reasoning and Rule Systems, First International Conference, {RR}
                  2007, Innsbruck , Austria, June 7-8, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4524},
  pages        = {163--177},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-72982-2\_12},
  doi          = {10.1007/978-3-540-72982-2\_12},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/rr/MeiLB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ai/YueML06,
  author       = {Anbu Yue and
                  Yue Ma and
                  Zuoquan Lin},
  editor       = {Luc Lamontagne and
                  Mario Marchand},
  title        = {Four-Valued Semantics for Default Logic},
  booktitle    = {Advances in Artificial Intelligence, 19th Conference of the Canadian
                  Society for Computational Studies of Intelligence, Canadian {AI} 2006,
                  Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada, June 7-9, 2006,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4013},
  pages        = {195--205},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11766247\_17},
  doi          = {10.1007/11766247\_17},
  timestamp    = {Thu, 28 Sep 2023 12:27:07 +0200},
  biburl       = {https://dblp.org/rec/conf/ai/YueML06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cswws/MeiBLBL06,
  author       = {Jing Mei and
                  Harold Boley and
                  Jie Li and
                  Virendrakumar C. Bhavsar and
                  Zuoquan Lin},
  editor       = {Mamadou Tadiou Kone and
                  Daniel Lemire},
  title        = {Datalog\({}^{\mbox{DL}}\): Datalog Rules Parameterized by Description
                  Logics},
  booktitle    = {Canadian Semantic Web, {CSWWS} 2006, first Canadian Semantic Web Working
                  Symposium, June 2006, Quebec, Canada},
  series       = {Semantic Web and Beyond: Computing for Human Experience},
  volume       = {2},
  pages        = {171--187},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-0-387-34347-1\_12},
  doi          = {10.1007/978-0-387-34347-1\_12},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cswws/MeiBLBL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbtw/MaLL06,
  author       = {Yue Ma and
                  Zuoquan Lin and
                  Zhangang Lin},
  editor       = {Torsten Grust and
                  Hagen H{\"{o}}pfner and
                  Arantza Illarramendi and
                  Stefan Jablonski and
                  Marco Mesiti and
                  Sascha M{\"{u}}ller and
                  Paula{-}Lavinia Patranjan and
                  Kai{-}Uwe Sattler and
                  Myra Spiliopoulou and
                  Jef Wijsen},
  title        = {Inferring with Inconsistent {OWL} {DL} Ontology: {A} Multi-valued
                  Logic Approach},
  booktitle    = {Current Trends in Database Technology - {EDBT} 2006, {EDBT} 2006 Workshops
                  PhD, DataX, IIDB, IIHA, ICSNW, QLQP, PIM, PaRMA, and Reactivity on
                  the Web, Munich, Germany, March 26-31, 2006, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4254},
  pages        = {535--553},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11896548\_40},
  doi          = {10.1007/11896548\_40},
  timestamp    = {Fri, 04 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edbtw/MaLL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/LinML06,
  author       = {Zhangang Lin and
                  Yue Ma and
                  Zuoquan Lin},
  editor       = {Michael Fisher and
                  Wiebe van der Hoek and
                  Boris Konev and
                  Alexei Lisitsa},
  title        = {A Fault-Tolerant Default Logic},
  booktitle    = {Logics in Artificial Intelligence, 10th European Conference, {JELIA}
                  2006, Liverpool, UK, September 13-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4160},
  pages        = {253--265},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11853886\_22},
  doi          = {10.1007/11853886\_22},
  timestamp    = {Fri, 03 Jun 2022 08:18:13 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/LinML06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kes/PuZQLH06,
  author       = {Geguang Pu and
                  Chong Zhang and
                  Zongyan Qiu and
                  Zuoquan Lin and
                  Jifeng He},
  editor       = {Bogdan Gabrys and
                  Robert J. Howlett and
                  Lakhmi C. Jain},
  title        = {A Hybrid Heuristic Algorithm for {HW-SW} Partitioning Within Timed
                  Automata},
  booktitle    = {Knowledge-Based Intelligent Information and Engineering Systems, 10th
                  International Conference, {KES} 2006, Bournemouth, UK, October 9-11,
                  2006, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {4251},
  pages        = {459--466},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11892960\_56},
  doi          = {10.1007/11892960\_56},
  timestamp    = {Mon, 21 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kes/PuZQLH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ksem/HeililiCZLL06,
  author       = {NuerMaimaiti Heilili and
                  Yang Chen and
                  Chen Zhao and
                  Zhenxing Luo and
                  Zuoquan Lin},
  editor       = {J{\'{e}}r{\^{o}}me Lang and
                  Fangzhen Lin and
                  Ju Wang},
  title        = {An OWL-Based Approach for {RBAC} with Negative Authorization},
  booktitle    = {Knowledge Science, Engineering and Management, First International
                  Conference, {KSEM} 2006, Guilin, China, August 5-8, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4092},
  pages        = {164--175},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11811220\_15},
  doi          = {10.1007/11811220\_15},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/ksem/HeililiCZLL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ngits/LuoHXZL06,
  author       = {Zhenxing Luo and
                  NuerMaimaiti Heilili and
                  Dawei Xu and
                  Chen Zhao and
                  Zuoquan Lin},
  editor       = {Opher Etzion and
                  Tsvi Kuflik and
                  Amihai Motro},
  title        = {Web Application Security Gateway with Java Non-blocking {IO}},
  booktitle    = {Next Generation Information Technologies and Systems, 6th International
                  Workshop, {NGITS} 2006, Kibbutz Shefayim, Israel, July 4-6, 2006,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4032},
  pages        = {96--105},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11780991\_9},
  doi          = {10.1007/11780991\_9},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/ngits/LuoHXZL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pricai/MuLJL06,
  author       = {Kedian Mu and
                  Zuoquan Lin and
                  Zhi Jin and
                  Ruqian Lu},
  editor       = {Qiang Yang and
                  Geoffrey I. Webb},
  title        = {Reasoning About Hybrid Probabilistic Knowledge Bases},
  booktitle    = {{PRICAI} 2006: Trends in Artificial Intelligence, 9th Pacific Rim
                  International Conference on Artificial Intelligence, Guilin, China,
                  August 7-11, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4099},
  pages        = {130--139},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11801603\_16},
  doi          = {10.1007/11801603\_16},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/pricai/MuLJL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ceemas/ZhaoFZYL05,
  author       = {Xinyu Zhao and
                  Shaofeng Fan and
                  Runjie Zhang and
                  Anbu Yue and
                  Zuoquan Lin},
  editor       = {Michal Pechoucek and
                  Paolo Petta and
                  L{\'{a}}szl{\'{o}} Zsolt Varga},
  title        = {Toward a Formal Theory of Belief, Capability and Promise Incorporating
                  Temporal Aspect},
  booktitle    = {Multi-Agent Systems and Applications IV, 4th International Central
                  and Eastern European Conference on Multi-Agent Systems, {CEEMAS} 2005,
                  Budapest, Hungary, September 15-17, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3690},
  pages        = {296--305},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11559221\_30},
  doi          = {10.1007/11559221\_30},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/ceemas/ZhaoFZYL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ZhaoHLL05,
  author       = {Chen Zhao and
                  NuerMaimaiti Heilili and
                  Shengping Liu and
                  Zuoquan Lin},
  editor       = {Ian Horrocks and
                  Ulrike Sattler and
                  Frank Wolter},
  title        = {Using Description Logic to Formalize Role-Based Access Control Model},
  booktitle    = {Proceedings of the 2005 International Workshop on Description Logics
                  (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {147},
  publisher    = {CEUR-WS.org},
  year         = {2005},
  url          = {https://ceur-ws.org/Vol-147/08-Zhao.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/ZhaoHLL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnc/ZhaoL05a,
  author       = {Xinyu Zhao and
                  Zuoquan Lin},
  editor       = {Lipo Wang and
                  Ke Chen and
                  Yew{-}Soon Ong},
  title        = {Modeling Belief, Capability and Promise for Cognitive Agents - {A}
                  Modal Logic Approach},
  booktitle    = {Advances in Natural Computation, First International Conference, {ICNC}
                  2005, Changsha, China, August 27-29, 2005, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {3610},
  pages        = {825--834},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11539087\_111},
  doi          = {10.1007/11539087\_111},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/icnc/ZhaoL05a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/ZhaoHLL05,
  author       = {Chen Zhao and
                  NuerMaimaiti Heilili and
                  Shengping Liu and
                  Zuoquan Lin},
  editor       = {Dang Van Hung and
                  Martin Wirsing},
  title        = {Representation and Reasoning on {RBAC:} {A} Description Logic Approach},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2005, Second International
                  Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3722},
  pages        = {381--393},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11560647\_25},
  doi          = {10.1007/11560647\_25},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/ZhaoHLL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispa/MeiBL05,
  author       = {Jing Mei and
                  Elena Paslaru Bontas and
                  Zuoquan Lin},
  editor       = {Guihai Chen and
                  Yi Pan and
                  Minyi Guo and
                  Jian Lu},
  title        = {OWL2Jess: {A} Transformational Implementation of the {OWL} Semantics},
  booktitle    = {Parallel and Distributed Processing and Applications - {ISPA} 2005
                  Workshops, {ISPA} 2005 International Workshops AEPP, ASTD, BIOS, GCIC,
                  IADS, MASN, SGCA, and WISA, Nanjing, China, November 2-5, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3759},
  pages        = {599--608},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11576259\_65},
  doi          = {10.1007/11576259\_65},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/ispa/MeiBL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kes/ZhangLL05,
  author       = {Chong Zhang and
                  Zhangang Lin and
                  Zuoquan Lin},
  editor       = {Rajiv Khosla and
                  Robert J. Howlett and
                  Lakhmi C. Jain},
  title        = {Variable Neighborhood Search with Permutation Distance for {QAP}},
  booktitle    = {Knowledge-Based Intelligent Information and Engineering Systems, 9th
                  International Conference, {KES} 2005, Melbourne, Australia, September
                  14-16, 2005, Proceedings, Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {3684},
  pages        = {81--88},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11554028\_12},
  doi          = {10.1007/11554028\_12},
  timestamp    = {Sun, 02 Jun 2019 21:22:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kes/ZhangLL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/waim/ZhaoCXHL05,
  author       = {Chen Zhao and
                  Yang Chen and
                  Dawei Xu and
                  NuerMaimaiti Heilili and
                  Zuoquan Lin},
  editor       = {Wenfei Fan and
                  Zhaohui Wu and
                  Jun Yang},
  title        = {Integrative Security Management for Web-Based Enterprise Applications},
  booktitle    = {Advances in Web-Age Information Management, 6th International Conference,
                  {WAIM} 2005, Hangzhou, China, October 11-13, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3739},
  pages        = {618--625},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11563952\_54},
  doi          = {10.1007/11563952\_54},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/waim/ZhaoCXHL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceb/ZhaoWZZL04,
  author       = {Xinyu Zhao and
                  Cen Wu and
                  Runjie Zhang and
                  Chen Zhao and
                  Zuoquan Lin},
  editor       = {Jian Chen},
  title        = {A Multi-Agent System for E-Business Processes Monitoring in a Web-Based
                  Environment},
  booktitle    = {The Fourth International Conference on Electronic Business - Shaping
                  Business Strategy in a Networked World},
  pages        = {470--475},
  publisher    = {Academic Publishers/World Publishing Corporation},
  year         = {2004},
  timestamp    = {Tue, 07 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iceb/ZhaoWZZL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/HanL04,
  author       = {Qing Han and
                  Zuoquan Lin},
  editor       = {James P. Delgrande and
                  Torsten Schaub},
  title        = {Paraconsistent default reasoning},
  booktitle    = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
                  Whistler, Canada, June 6-8, 2004, Proceedings},
  pages        = {197--203},
  year         = {2004},
  url          = {http://www.pims.math.ca/science/2004/NMR/papers/paper26.pdf},
  timestamp    = {Mon, 21 Jun 2004 10:11:59 +0200},
  biburl       = {https://dblp.org/rec/conf/nmr/HanL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/MeiLYL04,
  author       = {Jing Mei and
                  Shengping Liu and
                  Anbu Yue and
                  Zuoquan Lin},
  editor       = {Grigoris Antoniou and
                  Harold Boley},
  title        = {An Extension to {OWL} with General Rules},
  booktitle    = {Rules and Rule Markup Languages for the Semantic Web: Third International
                  Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3323},
  pages        = {155--169},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30504-0\_12},
  doi          = {10.1007/978-3-540-30504-0\_12},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/MeiLYL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/LiuMYL04,
  author       = {Shengping Liu and
                  Jing Mei and
                  Anbu Yue and
                  Zuoquan Lin},
  editor       = {Christoph Bussler and
                  Val Tannen and
                  Irini Fundulaki},
  title        = {{XSDL:} Making {XML} Semantics Explicit},
  booktitle    = {Semantic Web and Databases, Second International Workshop, {SWDB}
                  2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers},
  volume       = {3372},
  pages        = {64--83},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31839-2\_6},
  doi          = {10.1007/978-3-540-31839-2\_6},
  timestamp    = {Tue, 30 May 2017 16:36:52 +0200},
  biburl       = {https://dblp.org/rec/conf/semweb/LiuMYL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/waim/LiLLW04,
  author       = {Jianqing Li and
                  Shengping Liu and
                  Zuoquan Lin and
                  Cen Wu},
  editor       = {Qing Li and
                  Guoren Wang and
                  Ling Feng},
  title        = {A Real-Time Information Gathering Agent Based on Ontology},
  booktitle    = {Advances in Web-Age Information Management: 5th International Conference,
                  {WAIM} 2004, Dalian, China, July 15-17, 2004},
  series       = {Lecture Notes in Computer Science},
  volume       = {3129},
  pages        = {696--701},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-27772-9\_75},
  doi          = {10.1007/978-3-540-27772-9\_75},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/waim/LiLLW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/Lin98,
  author       = {Zuoquan Lin},
  title        = {Tableau systems for paraconsistency and minimal inconsistency},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {13},
  number       = {2},
  pages        = {174--188},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF02946605},
  doi          = {10.1007/BF02946605},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcst/Lin98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijprai/Lin96a,
  author       = {Zuoquan Lin},
  title        = {Paraconsistent Circumscription: Preliminary Report},
  journal      = {Int. J. Pattern Recognit. Artif. Intell.},
  volume       = {10},
  number       = {6},
  pages        = {679--686},
  year         = {1996},
  url          = {https://doi.org/10.1142/S0218001496000402},
  doi          = {10.1142/S0218001496000402},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijprai/Lin96a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ai/Lin96,
  author       = {Zuoquan Lin},
  editor       = {Gordon I. McCalla},
  title        = {Paraconsistent Circumscription},
  booktitle    = {Advances in Artificial Intelligence, 11th Biennial Conference of the
                  Canadian Society for Computational Studies of Intelligence, {AI} '96,
                  Toronto, Ontario, Canada, May 21-24, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1081},
  pages        = {296--308},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61291-2\_60},
  doi          = {10.1007/3-540-61291-2\_60},
  timestamp    = {Thu, 28 Sep 2023 12:27:06 +0200},
  biburl       = {https://dblp.org/rec/conf/ai/Lin96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Lin95,
  author       = {Zuoquan Lin},
  title        = {Paraconsistent Circumscription: First-Order Case},
  booktitle    = {25th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  1995, Bloomington, Indiana, USA, May 23-25, 1995, Proceedings},
  pages        = {112--116},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISMVL.1995.513518},
  doi          = {10.1109/ISMVL.1995.513518},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/Lin95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/LinL95,
  author       = {Zuoquan Lin and
                  Wei Li},
  title        = {On Logic of Paradox},
  booktitle    = {25th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  1995, Bloomington, Indiana, USA, May 23-25, 1995, Proceedings},
  pages        = {248--255},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISMVL.1995.513539},
  doi          = {10.1109/ISMVL.1995.513539},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/LinL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/LinL94,
  author       = {Zuoquan Lin and
                  Wei Li},
  editor       = {Bernhard Nebel and
                  Leonie S. Dreschler{-}Fischer},
  title        = {A Note on Tableaux of Logic of Paradox},
  booktitle    = {{KI-94:} Advances in Artificial Intelligence, 18th Annual German Conference
                  on Artificial Intelligence, Saarbr{\"{u}}cken, Germany, September
                  18-23, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {861},
  pages        = {296--307},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58467-6\_26},
  doi          = {10.1007/3-540-58467-6\_26},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/LinL94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Lin93,
  author       = {Zuoquan Lin},
  title        = {Three-Valued Nonmonotonic Logic},
  booktitle    = {23rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  1993, Sacramento, California, USA, May 24-27, 1993, Proceedings},
  pages        = {42--47},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/ISMVL.1993.289583},
  doi          = {10.1109/ISMVL.1993.289583},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/Lin93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwar/Lin92,
  author       = {Zuoquan Lin},
  editor       = {Zhongshi Shi},
  title        = {Experiential Logic},
  booktitle    = {Automated Reasoning, Proceedings of the {IFIP} {TC12/WG12.3} International
                  Workshop on Automated Reasoning, Beijing, {P.R.} China, 13-16 July
                  1992},
  series       = {{IFIP} Transactions},
  volume       = {{A-19}},
  pages        = {65--74},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Thu, 03 Jan 2002 12:04:48 +0100},
  biburl       = {https://dblp.org/rec/conf/iwar/Lin92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acm/Lin91,
  author       = {Zuoquan Lin},
  editor       = {C. Jinshong Hwang and
                  Richard S. Brice},
  title        = {An experiential logic for nonmonotonic reasoning (abstract and regerences
                  only)},
  booktitle    = {Proceedings of the 19th annual conference on Computer Science, {CSC}
                  '91, San Antonio, Texas, USA, March 4-7, 1991},
  pages        = {668},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/327164.328835},
  doi          = {10.1145/327164.328835},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acm/Lin91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics