Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Yan Zhang 0003
@article{DBLP:journals/jpdc/YueLZTH20,
author = {Dongdong Yue and
Ruixuan Li and
Yan Zhang and
Wenlong Tian and
Yongfeng Huang},
title = {Blockchain-based verification framework for data integrity in edge-cloud
storage},
journal = {J. Parallel Distributed Comput.},
volume = {146},
pages = {1--14},
year = {2020},
url = {https://doi.org/10.1016/j.jpdc.2020.06.007},
doi = {10.1016/J.JPDC.2020.06.007},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jpdc/YueLZTH20.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 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/0006ZY0J20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/0006ZJ20,
author = {Heng Zhang and
Yan Zhang and
Guifei Jiang},
editor = {Christian Bessiere},
title = {Model-theoretic Characterizations of Existential Rule Languages},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {1940--1946},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/269},
doi = {10.24963/IJCAI.2020/269},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/0006ZJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-08688,
author = {Heng Zhang and
Yan Zhang and
Guifei Jiang},
title = {Model-theoretic Characterizations of Existential Rule Languages},
journal = {CoRR},
volume = {abs/2001.08688},
year = {2020},
url = {https://arxiv.org/abs/2001.08688},
eprinttype = {arXiv},
eprint = {2001.08688},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-08688.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/AsuncionZZL19,
author = {Vernon Asuncion and
Yan Zhang and
Heng Zhang and
Ruixuan Li},
title = {Polynomial and Exponential Bounded Logic Programs with Function Symbols:
Some New Decidable Classes},
journal = {J. Artif. Intell. Res.},
volume = {64},
pages = {749--815},
year = {2019},
url = {https://doi.org/10.1613/jair.1.11408},
doi = {10.1613/JAIR.1.11408},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/AsuncionZZL19.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/icpads/YueLZTP18,
author = {Dongdong Yue and
Ruixuan Li and
Yan Zhang and
Wenlong Tian and
Chengyi Peng},
title = {Blockchain Based Data Integrity Verification in {P2P} Cloud Storage},
booktitle = {24th {IEEE} International Conference on Parallel and Distributed Systems,
{ICPADS} 2018, Singapore, December 11-13, 2018},
pages = {561--568},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/PADSW.2018.8644863},
doi = {10.1109/PADSW.2018.8644863},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icpads/YueLZTP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AsuncionZZBS18,
author = {Vernon Asuncion and
Yan Zhang and
Heng Zhang and
Yun Bai and
Weisheng Si},
editor = {Michael Thielscher and
Francesca Toni and
Frank Wolter},
title = {Loop Restricted Existential Rules and First-Order Rewritability for
Query Answering},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
30 October - 2 November 2018},
pages = {619--620},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18007},
timestamp = {Tue, 09 Feb 2021 08:33:51 +0100},
biburl = {https://dblp.org/rec/conf/kr/AsuncionZZBS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-05997,
author = {Vernon Asuncion and
Yan Zhang},
title = {A New Decidable Class of Tuple Generating Dependencies: The Triangularly-Guarded
Class},
journal = {CoRR},
volume = {abs/1804.05997},
year = {2018},
url = {http://arxiv.org/abs/1804.05997},
eprinttype = {arXiv},
eprint = {1804.05997},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-05997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-07099,
author = {Vernon Asuncion and
Yan Zhang and
Heng Zhang},
title = {Loop Restricted Existential Rules and First-order Rewritability for
Query Answering},
journal = {CoRR},
volume = {abs/1804.07099},
year = {2018},
url = {http://arxiv.org/abs/1804.07099},
eprinttype = {arXiv},
eprint = {1804.07099},
timestamp = {Tue, 21 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-07099.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-09157,
author = {Vernon Asuncion and
Yan Zhang},
title = {A New Finitely Controllable Class of Tuple Generating Dependencies:
The Triangularly-Guarded Class},
journal = {CoRR},
volume = {abs/1805.09157},
year = {2018},
url = {http://arxiv.org/abs/1805.09157},
eprinttype = {arXiv},
eprint = {1805.09157},
timestamp = {Mon, 09 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-09157.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/ZhuangPZ17,
author = {Zhiqiang Zhuang and
Maurice Pagnucco and
Yan Zhang},
title = {Inter-Definability of Horn Contraction and Horn Revision},
journal = {J. Philos. Log.},
volume = {46},
number = {3},
pages = {299--332},
year = {2017},
url = {https://doi.org/10.1007/s10992-016-9401-2},
doi = {10.1007/S10992-016-9401-2},
timestamp = {Wed, 27 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/ZhuangPZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kais/HuKZBL17,
author = {Jinwei Hu and
Khaled M. Khan and
Yan Zhang and
Yun Bai and
Ruixuan Li},
title = {Role updating in information systems using model checking},
journal = {Knowl. Inf. Syst.},
volume = {51},
number = {1},
pages = {187--234},
year = {2017},
url = {https://doi.org/10.1007/s10115-016-0974-4},
doi = {10.1007/S10115-016-0974-4},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/kais/HuKZBL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/ZhangZ17,
author = {Heng Zhang and
Yan Zhang},
title = {Expressiveness of Logic Programs under the General Stable Model Semantics},
journal = {{ACM} Trans. Comput. Log.},
volume = {18},
number = {2},
pages = {9:1--9:28},
year = {2017},
url = {https://doi.org/10.1145/3039244},
doi = {10.1145/3039244},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/ZhangZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AsuncionZZ17,
author = {Vernon Asuncion and
Yan Zhang and
Heng Zhang},
editor = {Satinder Singh and
Shaul Markovitch},
title = {Polynomially Bounded Logic Programs with Function Symbols: {A} New
Decidable},
booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
February 4-9, 2017, San Francisco, California, {USA}},
pages = {1041--1047},
publisher = {{AAAI} Press},
year = {2017},
url = {https://doi.org/10.1609/aaai.v31i1.10669},
doi = {10.1609/AAAI.V31I1.10669},
timestamp = {Mon, 04 Sep 2023 14:40:32 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AsuncionZZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/WanZXHZ16,
author = {Hai Wan and
Heng Zhang and
Peng Xiao and
Haoran Huang and
Yan Zhang},
editor = {Dale Schuurmans and
Michael P. Wellman},
title = {Query Answering with Inconsistent Existential Rules under Stable Model
Semantics},
booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
February 12-17, 2016, Phoenix, Arizona, {USA}},
pages = {1095--1101},
publisher = {{AAAI} Press},
year = {2016},
url = {https://doi.org/10.1609/aaai.v30i1.10085},
doi = {10.1609/AAAI.V30I1.10085},
timestamp = {Mon, 04 Sep 2023 15:08:28 +0200},
biburl = {https://dblp.org/rec/conf/aaai/WanZXHZ16.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/WanZXHZ16,
author = {Hai Wan and
Heng Zhang and
Peng Xiao and
Haoran Huang and
Yan Zhang},
title = {Query Answering with Inconsistent Existential Rules under Stable Model
Semantics},
journal = {CoRR},
volume = {abs/1602.05699},
year = {2016},
url = {http://arxiv.org/abs/1602.05699},
eprinttype = {arXiv},
eprint = {1602.05699},
timestamp = {Tue, 11 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/WanZXHZ16.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/ai/AsuncionCZZ15,
author = {Vernon Asuncion and
Yin Chen and
Yan Zhang and
Yi Zhou},
title = {Ordered completion for logic programs with aggregates},
journal = {Artif. Intell.},
volume = {224},
pages = {72--102},
year = {2015},
url = {https://doi.org/10.1016/j.artint.2015.03.007},
doi = {10.1016/J.ARTINT.2015.03.007},
timestamp = {Thu, 19 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/AsuncionCZZ15.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/ieaaie/BaiCZ15,
author = {Yun Bai and
Edward Caprin and
Yan Zhang},
editor = {Moonis Ali and
Young Sig Kwon and
Chang{-}Hwan Lee and
Juntae Kim and
Yongdai Kim},
title = {Reasoning About the State Change of Authorization Policies},
booktitle = {Current Approaches in Applied Artificial Intelligence - 28th International
Conference on Industrial, Engineering and Other Applications of Applied
Intelligent Systems, {IEA/AIE} 2015, Seoul, South Korea, June 10-12,
2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9101},
pages = {109--119},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19066-2\_11},
doi = {10.1007/978-3-319-19066-2\_11},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/ieaaie/BaiCZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/WangZZZ14,
author = {Yisong Wang and
Yan Zhang and
Yi Zhou and
Mingyi Zhang},
title = {Knowledge Forgetting in Answer Set Programming},
journal = {J. Artif. Intell. Res.},
volume = {50},
pages = {31--70},
year = {2014},
url = {https://doi.org/10.1613/jair.4297},
doi = {10.1613/JAIR.4297},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/WangZZZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/AsuncionZZ14,
author = {Vernon Asuncion and
Yan Zhang and
Yi Zhou},
title = {Preferred First-Order Answer Set Programs},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {2},
pages = {11:1--11:42},
year = {2014},
url = {https://doi.org/10.1145/2579817},
doi = {10.1145/2579817},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/AsuncionZZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/WanXYZZ14,
author = {Hai Wan and
Zhanhao Xiao and
Zhenfeng Yuan and
Heng Zhang and
Yan Zhang},
editor = {Carla E. Brodley and
Peter Stone},
title = {Computing General First-Order Parallel and Prioritized Circumscription},
booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
pages = {1105--1111},
publisher = {{AAAI} Press},
year = {2014},
url = {https://doi.org/10.1609/aaai.v28i1.8860},
doi = {10.1609/AAAI.V28I1.8860},
timestamp = {Mon, 04 Sep 2023 15:06:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/WanXYZZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AsuncionZZ14,
author = {Vernon Asuncion and
Yan Zhang and
Heng Zhang},
editor = {Chitta Baral and
Giuseppe De Giacomo and
Thomas Eiter},
title = {Logic Programs with Ordered Disjunction: First-Order Semantics and
Expressiveness},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
July 20-24, 2014},
publisher = {{AAAI} Press},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7844},
timestamp = {Tue, 09 Feb 2021 08:33:43 +0100},
biburl = {https://dblp.org/rec/conf/kr/AsuncionZZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sin/CaprinZ14,
author = {Edward Caprin and
Yan Zhang},
editor = {Ron Poet and
Muttukrishnan Rajarajan},
title = {Negotiation Based Framework for Attribute-Based Access Control Policy
Evaluation},
booktitle = {Proceedings of the 7th International Conference on Security of Information
and Networks, Glasgow, Scotland, UK, September 9-11, 2014},
pages = {122},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2659651.2659667},
doi = {10.1145/2659651.2659667},
timestamp = {Mon, 15 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sin/CaprinZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SuSLZ14,
author = {Kaile Su and
Abdul Sattar and
Guanfeng Lv and
Yan Zhang},
title = {Variable Forgetting in Reasoning about Knowledge},
journal = {CoRR},
volume = {abs/1401.3472},
year = {2014},
url = {http://arxiv.org/abs/1401.3472},
eprinttype = {arXiv},
eprint = {1401.3472},
timestamp = {Thu, 27 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/SuSLZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ZhouZ14,
author = {Yi Zhou and
Yan Zhang},
title = {A Logical Study of Partial Entailment},
journal = {CoRR},
volume = {abs/1401.3864},
year = {2014},
url = {http://arxiv.org/abs/1401.3864},
eprinttype = {arXiv},
eprint = {1401.3864},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ZhouZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ZhangZ14a,
author = {Dongmo Zhang and
Yan Zhang},
title = {An Ordinal Bargaining Solution with Fixed-Point Property},
journal = {CoRR},
volume = {abs/1405.5201},
year = {2014},
url = {http://arxiv.org/abs/1405.5201},
eprinttype = {arXiv},
eprint = {1405.5201},
timestamp = {Thu, 27 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/ZhangZ14a.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/corr/ZhangZ14c,
author = {Heng Zhang and
Yan Zhang},
title = {Expressiveness of Logic Programs under General Stable Model Semantics},
journal = {CoRR},
volume = {abs/1412.0773},
year = {2014},
url = {http://arxiv.org/abs/1412.0773},
eprinttype = {arXiv},
eprint = {1412.0773},
timestamp = {Tue, 21 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ZhangZ14c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AsuncionZZZ13,
author = {Vernon Asuncion and
Yan Zhang and
Heng Zhang and
Yi Zhou},
title = {Constructive Circumscription},
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:tlp2013009.pdf},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/AsuncionZZZ13.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/cms/CaprinZ13,
author = {Edward Caprin and
Yan Zhang},
editor = {Bart De Decker and
Jana Dittmann and
Christian Kraetzer and
Claus Vielhauer},
title = {SocACL: An ASP-Based Access Control Language for Online Social Networks},
booktitle = {Communications and Multimedia Security - 14th {IFIP} {TC} 6/TC 11
International Conference, {CMS} 2013, Magdeburg, Germany, September
25-26, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8099},
pages = {207--210},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40779-6\_20},
doi = {10.1007/978-3-642-40779-6\_20},
timestamp = {Mon, 15 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cms/CaprinZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ZhangZ13,
author = {Heng Zhang and
Yan Zhang},
editor = {Francesca Rossi},
title = {First-Order Expressibility and Boundedness of Disjunctive Logic Programs},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {1198--1204},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6531},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/ZhangZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ZhuangPZ13,
author = {Zhi Qiang Zhuang and
Maurice Pagnucco and
Yan Zhang},
editor = {Francesca Rossi},
title = {Definability of Horn Revision from Horn Contraction},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {1205--1212},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6182},
timestamp = {Mon, 20 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/ZhuangPZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sin/CaprinZK13,
author = {Edward Caprin and
Yan Zhang and
Khaled M. Khan},
editor = {Atilla El{\c{c}}i and
Manoj Singh Gaur and
Mehmet A. Orgun and
Oleg B. Makarevich},
title = {Social access control language (SocACL)},
booktitle = {The 6th International Conference on Security of Information and Networks,
{SIN} '13, Aksaray, Turkey, November 26-28, 2013},
pages = {261--265},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2523514.2523545},
doi = {10.1145/2523514.2523545},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sin/CaprinZK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-0620,
author = {Heng Zhang and
Yan Zhang},
title = {Disjunctive Logic Programs versus Normal Logic Programs},
journal = {CoRR},
volume = {abs/1304.0620},
year = {2013},
url = {http://arxiv.org/abs/1304.0620},
eprinttype = {arXiv},
eprint = {1304.0620},
timestamp = {Tue, 21 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-0620.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/AsuncionLZZ12,
author = {Vernon Asuncion and
Fangzhen Lin and
Yan Zhang and
Yi Zhou},
title = {Ordered completion for first-order logic programs on finite structures},
journal = {Artif. Intell.},
volume = {177-179},
pages = {1--24},
year = {2012},
url = {https://doi.org/10.1016/j.artint.2011.11.001},
doi = {10.1016/J.ARTINT.2011.11.001},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/AsuncionLZZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AsuncionZZ12,
author = {Vernon Asuncion and
Yan Zhang and
Yi Zhou},
editor = {J{\"{o}}rg Hoffmann and
Bart Selman},
title = {Ordered Completion for Logic Programs with Aggregates},
booktitle = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
July 22-26, 2012, Toronto, Ontario, Canada},
pages = {691--697},
publisher = {{AAAI} Press},
year = {2012},
url = {https://doi.org/10.1609/aaai.v26i1.8216},
doi = {10.1609/AAAI.V26I1.8216},
timestamp = {Mon, 04 Sep 2023 15:56:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AsuncionZZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/ZhouZ12,
author = {Yi Zhou and
Yan Zhang},
editor = {Michael Thielscher and
Dongmo Zhang},
title = {{RDL:} Enhancing Description Logic with Rules},
booktitle = {{AI} 2012: Advances in Artificial Intelligence - 25th Australasian
Joint Conference, Sydney, Australia, December 4-7, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7691},
pages = {567--578},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35101-3\_48},
doi = {10.1007/978-3-642-35101-3\_48},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ausai/ZhouZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/HuKBZ12,
author = {Jinwei Hu and
Khaled M. Khan and
Yun Bai and
Yan Zhang},
editor = {Heung Youl Youm and
Yoojae Won},
title = {Constraint-enhanced role engineering via answer set programming},
booktitle = {7th {ACM} Symposium on Information, Compuer and Communications Security,
{ASIACCS} '12, Seoul, Korea, May 2-4, 2012},
pages = {73--74},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2414456.2414499},
doi = {10.1145/2414456.2414499},
timestamp = {Tue, 10 Nov 2020 16:06:16 +0100},
biburl = {https://dblp.org/rec/conf/ccs/HuKBZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieaaie/HuKBZ12,
author = {Jinwei Hu and
Khaled M. Khan and
Yun Bai and
Yan Zhang},
editor = {He Jiang and
Wei Ding and
Moonis Ali and
Xindong Wu},
title = {Tracking and Constraining Authorization Provenance},
booktitle = {Advanced Research in Applied Artificial Intelligence - 25th International
Conference on Industrial Engineering and Other Applications of Applied
Intelligent Systems, {IEA/AIE} 2012, Dalian, China, June 9-12, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7345},
pages = {669--678},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31087-4\_68},
doi = {10.1007/978-3-642-31087-4\_68},
timestamp = {Sat, 09 Apr 2022 12:40:54 +0200},
biburl = {https://dblp.org/rec/conf/ieaaie/HuKBZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isw/HuKBZ12,
author = {Jinwei Hu and
Khaled M. Khan and
Yun Bai and
Yan Zhang},
editor = {Dieter Gollmann and
Felix C. Freiling},
title = {Compliance Checking for Usage-Constrained Credentials in Trust Negotiation
Systems},
booktitle = {Information Security - 15th International Conference, {ISC} 2012,
Passau, Germany, September 19-21, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7483},
pages = {290--305},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33383-5\_18},
doi = {10.1007/978-3-642-33383-5\_18},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isw/HuKBZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/WangZZZ12,
author = {Yisong Wang and
Yan Zhang and
Yi Zhou and
Mingyi Zhang},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Forgetting in Logic Programs under Strong Equivalence},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4389},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/WangZZZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/ChenLZZ11,
author = {Yin Chen and
Fangzhen Lin and
Yan Zhang and
Yi Zhou},
title = {Loop-separable programs and their first-order definability},
journal = {Artif. Intell.},
volume = {175},
number = {3-4},
pages = {890--913},
year = {2011},
url = {https://doi.org/10.1016/j.artint.2010.12.001},
doi = {10.1016/J.ARTINT.2010.12.001},
timestamp = {Thu, 19 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/ChenLZZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsse/PolicarpioZ11,
author = {Sean Policarpio and
Yan Zhang},
title = {A Formal Language for {XML} Authorisations Based on Answer Set Programming
and Temporal Interval Logic Constraints},
journal = {Int. J. Secur. Softw. Eng.},
volume = {2},
number = {1},
pages = {22--39},
year = {2011},
url = {https://doi.org/10.4018/jsse.2011010102},
doi = {10.4018/JSSE.2011010102},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsse/PolicarpioZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/ZhouZ11,
author = {Yi Zhou and
Yan Zhang},
title = {A Logical Study of Partial Entailment},
journal = {J. Artif. Intell. Res.},
volume = {40},
pages = {25--56},
year = {2011},
url = {https://doi.org/10.1613/jair.3117},
doi = {10.1613/JAIR.3117},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/ZhouZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ZhouZ11,
author = {Yi Zhou and
Yan Zhang},
editor = {Wolfram Burgard and
Dan Roth},
title = {Bounded Forgetting},
booktitle = {Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2011, San Francisco, California, USA, August 7-11, 2011},
pages = {280--285},
publisher = {{AAAI} Press},
year = {2011},
url = {https://doi.org/10.1609/aaai.v25i1.7842},
doi = {10.1609/AAAI.V25I1.7842},
timestamp = {Mon, 04 Sep 2023 16:05:54 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ZhouZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ZhouZ11a,
author = {Yi Zhou and
Yan Zhang},
editor = {Wolfram Burgard and
Dan Roth},
title = {Progression Semantics for Disjunctive Logic Programs},
booktitle = {Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2011, San Francisco, California, USA, August 7-11, 2011},
pages = {286--291},
publisher = {{AAAI} Press},
year = {2011},
url = {https://doi.org/10.1609/aaai.v25i1.7843},
doi = {10.1609/AAAI.V25I1.7843},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ZhouZ11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ZhangZYZ11,
author = {Heng Zhang and
Yan Zhang and
Mingsheng Ying and
Yi Zhou},
editor = {Toby Walsh},
title = {Translating First-Order Theories into Logic Programs},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {1126--1131},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-192},
doi = {10.5591/978-1-57735-516-8/IJCAI11-192},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ZhangZYZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AsuncionLZZ10,
author = {Vernon Asuncion and
Fangzhen Lin and
Yan Zhang and
Yi Zhou},
editor = {Maria Fox and
David Poole},
title = {Ordered Completion for First-Order Logic Programs on Finite Structures},
booktitle = {Proceedings of the Twenty-Fourth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2010, Atlanta, Georgia, USA, July 11-15, 2010},
pages = {249--254},
publisher = {{AAAI} Press},
year = {2010},
url = {https://doi.org/10.1609/aaai.v24i1.7595},
doi = {10.1609/AAAI.V24I1.7595},
timestamp = {Mon, 04 Sep 2023 16:23:45 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AsuncionLZZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ChenZZ10,
author = {Yin Chen and
Yan Zhang and
Yi Zhou},
editor = {Maria Fox and
David Poole},
title = {First-Order Indefinability of Answer Set Programs on Finite Structures},
booktitle = {Proceedings of the Twenty-Fourth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2010, Atlanta, Georgia, USA, July 11-15, 2010},
pages = {285--290},
publisher = {{AAAI} Press},
year = {2010},
url = {https://doi.org/10.1609/aaai.v24i1.7589},
doi = {10.1609/AAAI.V24I1.7589},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ChenZZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/HuZLL10,
author = {Jinwei Hu and
Yan Zhang and
Ruixuan Li and
Zhengding Lu},
editor = {Dengguo Feng and
David A. Basin and
Peng Liu},
title = {A logic for authorization provenance},
booktitle = {Proceedings of the 5th {ACM} Symposium on Information, Computer and
Communications Security, {ASIACCS} 2010, Beijing, China, April 13-16,
2010},
pages = {238--249},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1755688.1755718},
doi = {10.1145/1755688.1755718},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccs/HuZLL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/ZhangKZ10,
author = {Yan Zhang and
Michael Kelly and
Yi Zhou},
editor = {Helder Coelho and
Rudi Studer and
Michael J. Wooldridge},
title = {Foundations of Tree-like Local Model Updates},
booktitle = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
Lisbon, Portugal, August 16-20, 2010, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {215},
pages = {615--620},
publisher = {{IOS} Press},
year = {2010},
url = {https://doi.org/10.3233/978-1-60750-606-5-615},
doi = {10.3233/978-1-60750-606-5-615},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/ZhangKZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/ChenWZZ10,
author = {Yin Chen and
Hai Wan and
Yan Zhang and
Yi Zhou},
editor = {Tomi Janhunen and
Ilkka Niemel{\"{a}}},
title = {dl2asp: Implementing Default Logic via Answer Set Programming},
booktitle = {Logics in Artificial Intelligence - 12th European Conference, {JELIA}
2010, Helsinki, Finland, September 13-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6341},
pages = {104--116},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15675-5\_11},
doi = {10.1007/978-3-642-15675-5\_11},
timestamp = {Thu, 19 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/ChenWZZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kes/KellyPZZ10,
author = {Michael Kelly and
Fei Pu and
Yan Zhang and
Yi Zhou},
editor = {Rossitza Setchi and
Ivan Jordanov and
Robert J. Howlett and
Lakhmi C. Jain},
title = {{ACTL} Local Model Update with Constraints},
booktitle = {Knowledge-Based and Intelligent Information and Engineering Systems
- 14th International Conference, {KES} 2010, Cardiff, UK, September
8-10, 2010, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {6279},
pages = {135--144},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15384-6\_15},
doi = {10.1007/978-3-642-15384-6\_15},
timestamp = {Wed, 01 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kes/KellyPZZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lisa/HuZL10,
author = {Jinwei Hu and
Yan Zhang and
Ruixuan Li},
editor = {Rudi van Drunen},
title = {Towards Automatic Update of Access Control Policy},
booktitle = {Uncovering the Secrets of System Administration: Proceedings of the
24th Large Installation System Administration Conference, {LISA} 2010,
San Jose, CA, USA, November 7-12, 2010},
publisher = {{USENIX} Association},
year = {2010},
url = {https://www.usenix.org/conference/lisa10/towards-automatic-update-access-control-policy},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lisa/HuZL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pricai/HuangZZP10,
author = {Wei Huang and
Dongmo Zhang and
Yan Zhang and
Laurent Perrussel},
editor = {Byoung{-}Tak Zhang and
Mehmet A. Orgun},
title = {Bargain over Joint Plans},
booktitle = {{PRICAI} 2010: Trends in Artificial Intelligence, 11th Pacific Rim
International Conference on Artificial Intelligence, Daegu, Korea,
August 30-September 2, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6230},
pages = {608--613},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15246-7\_57},
doi = {10.1007/978-3-642-15246-7\_57},
timestamp = {Thu, 27 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pricai/HuangZZP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/HuZLL10,
author = {Jinwei Hu and
Yan Zhang and
Ruixuan Li and
Zhengding Lu},
editor = {James B. D. Joshi and
Barbara Carminati},
title = {Role updating for assignments},
booktitle = {15th {ACM} Symposium on Access Control Models and Technologies, {SACMAT}
2010, Pittsburgh, Pennsylvania, USA, June 9-11, 2010, Proceedings},
pages = {89--98},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1809842.1809859},
doi = {10.1145/1809842.1809859},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sacmat/HuZLL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/ZhangZ09,
author = {Yan Zhang and
Yi Zhou},
title = {Knowledge forgetting: Properties and applications},
journal = {Artif. Intell.},
volume = {173},
number = {16-17},
pages = {1525--1537},
year = {2009},
url = {https://doi.org/10.1016/j.artint.2009.07.005},
doi = {10.1016/J.ARTINT.2009.07.005},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/ZhangZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/ZhouLZ09,
author = {Yi Zhou and
Fangzhen Lin and
Yan Zhang},
title = {General default logic},
journal = {Ann. Math. Artif. Intell.},
volume = {57},
number = {2},
pages = {125--160},
year = {2009},
url = {https://doi.org/10.1007/s10472-009-9161-6},
doi = {10.1007/S10472-009-9161-6},
timestamp = {Wed, 27 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/ZhouLZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/SuSLZ09,
author = {Kaile Su and
Abdul Sattar and
Guanfeng Lv and
Yan Zhang},
title = {Variable Forgetting in Reasoning about Knowledge},
journal = {J. Artif. Intell. Res.},
volume = {35},
pages = {677--716},
year = {2009},
url = {https://doi.org/10.1613/jair.2750},
doi = {10.1613/JAIR.2750},
timestamp = {Wed, 27 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/SuSLZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Zhang09,
author = {Yan Zhang},
title = {Updating Epistemic Logic Programs},
journal = {J. Log. Comput.},
volume = {19},
number = {2},
pages = {405--423},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn100},
doi = {10.1093/LOGCOM/EXN100},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Zhang09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/ZhouZ09,
author = {Yi Zhou and
Yan Zhang},
editor = {Ann E. Nicholson and
Xiaodong Li},
title = {Modeling Abstract Behavior: {A} Dynamic Logic Approach},
booktitle = {{AI} 2009: Advances in Artificial Intelligence, 22nd Australasian
Joint Conference, Melbourne, Australia, December 1-4, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5866},
pages = {538--546},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10439-8\_54},
doi = {10.1007/978-3-642-10439-8\_54},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ausai/ZhouZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cisc/PolicarpioZ09,
author = {Sean Policarpio and
Yan Zhang},
editor = {Feng Bao and
Moti Yung and
Dongdai Lin and
Jiwu Jing},
title = {A Formal Language for Specifying Complex {XML} Authorisations with
Temporal Constraints},
booktitle = {Information Security and Cryptology - 5th International Conference,
Inscrypt 2009, Beijing, China, December 12-15, 2009. Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {6151},
pages = {443--457},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-16342-5\_32},
doi = {10.1007/978-3-642-16342-5\_32},
timestamp = {Wed, 27 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cisc/PolicarpioZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/HuZLL09,
author = {Jinwei Hu and
Yan Zhang and
Ruixuan Li and
Zhengding Lu},
title = {Managing Authorization Provenance: {A} Modal Logic Based Approach},
booktitle = {{ICTAI} 2009, 21st {IEEE} International Conference on Tools with Artificial
Intelligence, Newark, New Jersey, USA, 2-4 November 2009},
pages = {621--624},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICTAI.2009.49},
doi = {10.1109/ICTAI.2009.49},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictai/HuZLL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/AsuncionZ09,
author = {Vernon Asuncion and
Yan Zhang},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Translating Preferred Answer Set Programs to Propositional Logic},
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 = {396--401},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_33},
doi = {10.1007/978-3-642-04238-6\_33},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/AsuncionZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/ZhangD08,
author = {Yan Zhang and
Yulin Ding},
title = {{CTL} Model Update for System Modifications},
journal = {J. Artif. Intell. Res.},
volume = {31},
pages = {113--155},
year = {2008},
url = {https://doi.org/10.1613/jair.2420},
doi = {10.1613/JAIR.2420},
timestamp = {Wed, 27 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/ZhangD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/ZhangZ08,
author = {Dongmo Zhang and
Yan Zhang},
title = {An Ordinal Bargaining Solution with Fixed-Point Property},
journal = {J. Artif. Intell. Res.},
volume = {33},
pages = {433--464},
year = {2008},
url = {https://doi.org/10.1613/jair.2656},
doi = {10.1613/JAIR.2656},
timestamp = {Wed, 27 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/ZhangZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/WangZ08,
author = {Shujing Wang and
Yan Zhang},
editor = {Aijun An and
Stan Matwin and
Zbigniew W. Ras and
Dominik Slezak},
title = {A Logic Programming Based Framework for Security Protocol Verification},
booktitle = {Foundations of Intelligent Systems, 17th International Symposium,
{ISMIS} 2008, Toronto, Canada, May 20-23, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4994},
pages = {638--643},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68123-6\_70},
doi = {10.1007/978-3-540-68123-6\_70},
timestamp = {Mon, 28 Aug 2023 21:17:48 +0200},
biburl = {https://dblp.org/rec/conf/ismis/WangZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/ZhouZ08,
author = {Yi Zhou and
Yan Zhang},
editor = {Steffen H{\"{o}}lldobler and
Carsten Lutz and
Heinrich Wansing},
title = {Meta Level Reasoning and Default Reasoning},
booktitle = {Logics in Artificial Intelligence, 11th European Conference, {JELIA}
2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5293},
pages = {403--415},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87803-2\_33},
doi = {10.1007/978-3-540-87803-2\_33},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/ZhouZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/ZhouZ08a,
author = {Yi Zhou and
Yan Zhang},
editor = {Steffen H{\"{o}}lldobler and
Carsten Lutz and
Heinrich Wansing},
title = {Rule Calculus: Semantics, Axioms and Applications},
booktitle = {Logics in Artificial Intelligence, 11th European Conference, {JELIA}
2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5293},
pages = {416--428},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87803-2\_34},
doi = {10.1007/978-3-540-87803-2\_34},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/ZhouZ08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijisec/WangZ07,
author = {Shujing Wang and
Yan Zhang},
title = {Handling distributed authorization with delegation through answer
set programming},
journal = {Int. J. Inf. Sec.},
volume = {6},
number = {1},
pages = {27--46},
year = {2007},
url = {https://doi.org/10.1007/s10207-006-0008-4},
doi = {10.1007/S10207-006-0008-4},
timestamp = {Wed, 27 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijisec/WangZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Zhang07a,
author = {Yan Zhang},
editor = {Manuela M. Veloso},
title = {Epistemic Reasoning in Logic Programs},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {647--653},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/103.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:11 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Zhang07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/ZhouLZ07,
author = {Yi Zhou and
Fangzhen Lin and
Yan Zhang},
editor = {Chitta Baral and
Gerhard Brewka and
John S. Schlipf},
title = {General Default Logic},
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 = {241--253},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72200-7\_21},
doi = {10.1007/978-3-540-72200-7\_21},
timestamp = {Wed, 27 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/ZhouLZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/ZhangF06,
author = {Yan Zhang and
Norman Y. Foo},
title = {Solving logic program conflict through strong and weak forgettings},
journal = {Artif. Intell.},
volume = {170},
number = {8-9},
pages = {739--778},
year = {2006},
url = {https://doi.org/10.1016/j.artint.2006.02.002},
doi = {10.1016/J.ARTINT.2006.02.002},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/ZhangF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijisec/CresciniZ06,
author = {Vino Fernando Crescini and
Yan Zhang},
title = {PolicyUpdater: a system for dynamic access control},
journal = {Int. J. Inf. Sec.},
volume = {5},
number = {3},
pages = {145--165},
year = {2006},
url = {https://doi.org/10.1007/s10207-005-0078-8},
doi = {10.1007/S10207-005-0078-8},
timestamp = {Wed, 27 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijisec/CresciniZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/ChenZ06,
author = {Jianwen Chen and
Yan Zhang},
title = {A rule based knowledge transaction model for mobile environments},
journal = {Inf. Sci.},
volume = {176},
number = {18},
pages = {2642--2672},
year = {2006},
url = {https://doi.org/10.1016/j.ins.2005.11.006},
doi = {10.1016/J.INS.2005.11.006},
timestamp = {Wed, 27 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/ChenZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Zhang06,
author = {Yan Zhang},
title = {Logic program-based updates},
journal = {{ACM} Trans. Comput. Log.},
volume = {7},
number = {3},
pages = {421--472},
year = {2006},
url = {https://doi.org/10.1145/1149114.1149115},
doi = {10.1145/1149114.1149115},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/Zhang06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ZhangZ06,
author = {Dongmo Zhang and
Yan Zhang},
title = {A Computational Model of Logic-Based Negotiation},
booktitle = {Proceedings, The Twenty-First National Conference on Artificial Intelligence
and the Eighteenth Innovative Applications of Artificial Intelligence
Conference, July 16-20, 2006, Boston, Massachusetts, {USA}},
pages = {728--733},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/AAAI/2006/aaai06-116.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ZhangZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/ZhangZ06,
author = {Dongmo Zhang and
Yan Zhang},
editor = {Abdul Sattar and
Byeong{-}Ho Kang},
title = {Logical Properties of Belief-Revision-Based Bargaining Solution},
booktitle = {{AI} 2006: Advances in Artificial Intelligence, 19th Australian Joint
Conference on Artificial Intelligence, Hobart, Australia, December
4-8, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4304},
pages = {79--89},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11941439\_12},
doi = {10.1007/11941439\_12},
timestamp = {Wed, 27 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ausai/ZhangZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Zhang06,
author = {Yan Zhang},
editor = {Patrick Doherty and
John Mylopoulos and
Christopher A. Welty},
title = {Computational Properties of Epistemic Logic Programs},
booktitle = {Proceedings, Tenth International Conference on Principles of Knowledge
Representation and Reasoning, Lake District of the United Kingdom,
June 2-5, 2006},
pages = {308--317},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/KR/2006/kr06-033.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Zhang06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ksem/DingZ06,
author = {Yulin Ding and
Yan Zhang},
editor = {J{\'{e}}r{\^{o}}me Lang and
Fangzhen Lin and
Ju Wang},
title = {A Case Study for {CTL} Model Update},
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 = {88--101},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11811220\_9},
doi = {10.1007/11811220\_9},
timestamp = {Wed, 27 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ksem/DingZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BaralZ05,
author = {Chitta Baral and
Yan Zhang},
title = {Knowledge updates: Semantics and complexity issues},
journal = {Artif. Intell.},
volume = {164},
number = {1-2},
pages = {209--243},
year = {2005},
url = {https://doi.org/10.1016/j.artint.2005.01.005},
doi = {10.1016/J.ARTINT.2005.01.005},
timestamp = {Wed, 27 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/BaralZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijisec/BaiZV05,
author = {Yun Bai and
Yan Zhang and
Vijay Varadharajan},
title = {On the sequence of authorization policy transformations},
journal = {Int. J. Inf. Sec.},
volume = {4},
number = {1-2},
pages = {120--131},
year = {2005},
url = {https://doi.org/10.1007/s10207-004-0069-1},
doi = {10.1007/S10207-004-0069-1},
timestamp = {Wed, 07 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijisec/BaiZV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ZhangF05,
author = {Yan Zhang and
Norman Y. Foo},
editor = {Manuela M. Veloso and
Subbarao Kambhampati},
title = {A Unified Framework for Representing Logic Program Updates},
booktitle = {Proceedings, The Twentieth National Conference on Artificial Intelligence
and the Seventeenth Innovative Applications of Artificial Intelligence
Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, {USA}},
pages = {707--713},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2005},
url = {http://www.aaai.org/Library/AAAI/2005/aaai05-111.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ZhangF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acisp/WangZ05,
author = {Shujing Wang and
Yan Zhang},
editor = {Colin Boyd and
Juan Manuel Gonz{\'{a}}lez Nieto},
title = {A Formalization of Distributed Authorization with Delegation},
booktitle = {Information Security and Privacy, 10th Australasian Conference, {ACISP}
2005, Brisbane, Australia, July 4-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3574},
pages = {303--315},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11506157\_26},
doi = {10.1007/11506157\_26},
timestamp = {Wed, 27 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acisp/WangZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/DingZ05,
author = {Yulin Ding and
Yan Zhang},
editor = {Shichao Zhang and
Ray Jarvis},
title = {Model Updating {CTL} Systems},
booktitle = {{AI} 2005: Advances in Artificial Intelligence, 18th Australian Joint
Conference on Artificial Intelligence, Sydney, Australia, December
5-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3809},
pages = {5--16},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11589990\_4},
doi = {10.1007/11589990\_4},
timestamp = {Wed, 27 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ausai/DingZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/WangZ05,
author = {Shujing Wang and
Yan Zhang},
editor = {Shichao Zhang and
Ray Jarvis},
title = {Answer Set Programming for Distributed Authorization: The Language,
Computations, and Application},
booktitle = {{AI} 2005: Advances in Artificial Intelligence, 18th Australian Joint
Conference on Artificial Intelligence, Sydney, Australia, December
5-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3809},
pages = {1191--1194},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11589990\_167},
doi = {10.1007/11589990\_167},
timestamp = {Wed, 27 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ausai/WangZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ZhangFW05,
author = {Yan Zhang and
Norman Y. Foo and
Kewen Wang},
editor = {Leslie Pack Kaelbling and
Alessandro Saffiotti},
title = {Solving Logic Program Conflict through Strong and Weak Forgettings},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {627--634},
publisher = {Professional Book Center},
year = {2005},
url = {http://ijcai.org/Proceedings/05/Papers/0488.pdf},
timestamp = {Wed, 27 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ZhangFW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/DingZ05,
author = {Yulin Ding and
Yan Zhang},
editor = {Mohand{-}Said Hacid and
Neil V. Murray and
Zbigniew W. Ras and
Shusaku Tsumoto},
title = {A Logic Approach for {LTL} System Modification},
booktitle = {Foundations of Intelligent Systems, 15th International Symposium,
{ISMIS} 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3488},
pages = {435--444},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11425274\_45},
doi = {10.1007/11425274\_45},
timestamp = {Wed, 27 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ismis/DingZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kes/WangZ05,
author = {Shujing Wang and
Yan Zhang},
editor = {Rajiv Khosla and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Specifying Distributed Authorization with Delegation Using Logic Programming},
booktitle = {Knowledge-Based Intelligent Information and Engineering Systems, 9th
International Conference, {KES} 2005, Melbourne, Australia, September
14-16, 2005, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {3682},
pages = {761--767},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11552451\_104},
doi = {10.1007/11552451\_104},
timestamp = {Wed, 27 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kes/WangZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kes/DingZ05,
author = {Yulin Ding and
Yan Zhang},
editor = {Rajiv Khosla and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Algorithms for {CTL} System Modification},
booktitle = {Knowledge-Based Intelligent Information and Engineering Systems, 9th
International Conference, {KES} 2005, Melbourne, Australia, September
14-16, 2005, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {3682},
pages = {1000--1006},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11552451\_138},
doi = {10.1007/11552451\_138},
timestamp = {Wed, 27 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kes/DingZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/WangZ05,
author = {Kewen Wang and
Yan Zhang},
editor = {Chitta Baral and
Gianluigi Greco and
Nicola Leone and
Giorgio Terracina},
title = {Nested Epistemic Logic Programs},
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 = {279--290},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11546207\_22},
doi = {10.1007/11546207\_22},
timestamp = {Wed, 27 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/WangZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijprai/BaiZ04,
author = {Yun Bai and
Yan Zhang},
title = {Artificial Intelligence In Database Security},
journal = {Int. J. Pattern Recognit. Artif. Intell.},
volume = {18},
number = {1},
pages = {3--17},
year = {2004},
url = {https://doi.org/10.1142/S0218001404003022},
doi = {10.1142/S0218001404003022},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijprai/BaiZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/CresciniZ04,
author = {Vino Fernando Crescini and
Yan Zhang},
editor = {Geoffrey I. Webb and
Xinghuo Yu},
title = {A Logic Based Approach for Dynamic Access Control},
booktitle = {{AI} 2004: Advances in Artificial Intelligence, 17th Australian Joint
Conference on Artificial Intelligence, Cairns, Australia, December
4-6, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3339},
pages = {623--635},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30549-1\_54},
doi = {10.1007/978-3-540-30549-1\_54},
timestamp = {Wed, 27 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ausai/CresciniZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/FooPZ04,
author = {Norman Y. Foo and
Pavlos Peppas and
Yan Zhang},
editor = {Geoffrey I. Webb and
Xinghuo Yu},
title = {Constraints from {STRIPS} - Preliminary Report},
booktitle = {{AI} 2004: Advances in Artificial Intelligence, 17th Australian Joint
Conference on Artificial Intelligence, Cairns, Australia, December
4-6, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3339},
pages = {670--680},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30549-1\_58},
doi = {10.1007/978-3-540-30549-1\_58},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ausai/FooPZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/ChenZ04,
author = {Jianwen Chen and
Yan Zhang},
editor = {David A. Grossman and
Luis Gravano and
ChengXiang Zhai and
Otthein Herzog and
David A. Evans},
title = {An extended logic programming based multi-agent system formalization
in mobile environments},
booktitle = {Proceedings of the 2004 {ACM} {CIKM} International Conference on Information
and Knowledge Management, Washington, DC, USA, November 8-13, 2004},
pages = {166--167},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1031171.1031206},
doi = {10.1145/1031171.1031206},
timestamp = {Wed, 27 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cikm/ChenZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/graphite/DingZ04,
author = {Rena Ding and
Yan Zhang},
editor = {Yong Tsui Lee and
Stephen N. Spencer and
Alan Chalmers and
Seah Hock Soon},
title = {Dual space drawing methods for cones},
booktitle = {Proceedings of the 2nd International Conference on Computer Graphics
and Interactive Techniques in Australasia and Southeast Asia 2004,
Singapore, June 15-18, 2004},
pages = {148--154},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/988834.988860},
doi = {10.1145/988834.988860},
timestamp = {Wed, 27 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/graphite/DingZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip12/ChenZ04,
author = {Jianwen Chen and
Yan Zhang},
editor = {Zhongzhi Shi and
Qing He},
title = {A Multi-Agent System for Mobile Environments},
booktitle = {Intelligent Information Processing II, {IFIP} {TC12/WG12.3} International
Conference on Intelligent Information Processing {(IIP} 2004), October
21-23, 2004, Beijing, China},
series = {{IFIP}},
volume = {163},
pages = {11--22},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/0-387-23152-8\_2},
doi = {10.1007/0-387-23152-8\_2},
timestamp = {Wed, 27 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip12/ChenZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/SuLZ04,
author = {Kaile Su and
Guanfeng Lv and
Yan Zhang},
editor = {Didier Dubois and
Christopher A. Welty and
Mary{-}Anne Williams},
title = {Reasoning about Knowledge by Variable Forgetting},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Ninth International Conference (KR2004), Whistler, Canada,
June 2-5, 2004},
pages = {576--586},
publisher = {{AAAI} Press},
year = {2004},
url = {http://www.aaai.org/Library/KR/2004/kr04-060.php},
timestamp = {Thu, 27 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/SuLZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Zhang03,
author = {Yan Zhang},
title = {Two results for prioritized logic programming},
journal = {Theory Pract. Log. Program.},
volume = {3},
number = {2},
pages = {223--242},
year = {2003},
url = {https://doi.org/10.1017/S1471068402001552},
doi = {10.1017/S1471068402001552},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Zhang03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Zhang03a,
author = {Yan Zhang},
title = {Handling defeasibilities in action domains},
journal = {Theory Pract. Log. Program.},
volume = {3},
number = {3},
pages = {329--376},
year = {2003},
url = {https://doi.org/10.1017/S1471068402001606},
doi = {10.1017/S1471068402001606},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Zhang03a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csreaSAM/RuanVZ03,
author = {Chun Ruan and
Vijay Varadharajan and
Yan Zhang},
editor = {Hamid R. Arabnia and
Youngsong Mun},
title = {Delegatable Authorization Program and Its Application},
booktitle = {Proceedings of the International Conference on Security and Management,
{SAM} '03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 1},
pages = {267--273},
publisher = {{CSREA} Press},
year = {2003},
timestamp = {Wed, 07 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csreaSAM/RuanVZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iis/RuanVZ03,
author = {Chun Ruan and
Vijay Varadharajan and
Yan Zhang},
editor = {Mieczyslaw A. Klopotek and
Slawomir T. Wierzchon and
Krzysztof Trojanowski},
title = {Evaluation of Authorization with Delegation and Negation},
booktitle = {Intelligent Information Processing and Web Mining, Proceedings of
the International {IIS:} IIPWM'03 Conference held in Zakopane, Poland,
June 2-5, 2003},
series = {Advances in Soft Computing},
pages = {547--551},
publisher = {Springer},
year = {2003},
timestamp = {Wed, 07 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iis/RuanVZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Zhang03,
author = {Yan Zhang},
editor = {Georg Gottlob and
Toby Walsh},
title = {Minimal Change and Maximal Coherence for Epistemic Logic Program Updates},
booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
pages = {112--120},
publisher = {Morgan Kaufmann},
year = {2003},
url = {http://ijcai.org/Proceedings/03/Papers/016.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:41 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Zhang03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/ZhangB03,
author = {Yan Zhang and
Yun Bai},
editor = {Ning Zhong and
Zbigniew W. Ras and
Shusaku Tsumoto and
Einoshin Suzuki},
title = {The Characterization on the Uniqueness of Answer Set for Prioritized
Logic Programs},
booktitle = {Foundations of Intelligent Systems, 14th International Symposium,
{ISMIS} 2003, Maebashi City, Japan, October 28-31, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2871},
pages = {349--356},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39592-8\_49},
doi = {10.1007/978-3-540-39592-8\_49},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ismis/ZhangB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isw/RuanVZ03,
author = {Chun Ruan and
Vijay Varadharajan and
Yan Zhang},
editor = {Colin Boyd and
Wenbo Mao},
title = {A Logic Model for Temporal Authorization Delegation with Negation},
booktitle = {Information Security, 6th International Conference, {ISC} 2003, Bristol,
UK, October 1-3, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2851},
pages = {310--324},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/10958513\_24},
doi = {10.1007/10958513\_24},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/isw/RuanVZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/RuanVZ02,
author = {Chun Ruan and
Vijay Varadharajan and
Yan Zhang},
editor = {Mohand{-}Said Hacid and
Zbigniew W. Ras and
Djamel A. Zighed and
Yves Kodratoff},
title = {Logic-Based Reasoning on Delegatable Authorizations},
booktitle = {Foundations of Intelligent Systems, 13th International Symposium,
{ISMIS} 2002, Lyon, France, June 27-29, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2366},
pages = {185--193},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-48050-1\_22},
doi = {10.1007/3-540-48050-1\_22},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ismis/RuanVZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pricai/ZhangF02,
author = {Yan Zhang and
Norman Y. Foo},
editor = {Mitsuru Ishizuka and
Abdul Sattar},
title = {Representing Actions over Dynamic Domains},
booktitle = {{PRICAI} 2002: Trends in Artificial Intelligence, 7th Pacific Rim
International Conference on Artificial Intelligence, Tokyo, Japan,
August 18-22, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2417},
pages = {60--69},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45683-X\_9},
doi = {10.1007/3-540-45683-X\_9},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/pricai/ZhangF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0203007,
author = {Yan Zhang},
title = {Two results for proiritized logic programming},
journal = {CoRR},
volume = {cs.AI/0203007},
year = {2002},
url = {https://arxiv.org/abs/cs/0203007},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0203007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0206003,
author = {Yan Zhang},
title = {Handling Defeasibilities in Action Domains},
journal = {CoRR},
volume = {cs.AI/0206003},
year = {2002},
url = {https://arxiv.org/abs/cs/0206003},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0206003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acj/FooKZ01,
author = {Norman Y. Foo and
Rex Bing Hung Kwok and
Yan Zhang},
title = {Apparent Nondeterminism in Actions},
journal = {J. Res. Pract. Inf. Technol.},
volume = {33},
number = {4},
pages = {360--368},
year = {2001},
timestamp = {Wed, 04 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acj/FooKZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/ZhangWB01,
author = {Yan Zhang and
Cheng{-}Min Wu and
Yun Bai},
title = {Implementing prioritized logic programming},
journal = {{AI} Commun.},
volume = {14},
number = {4},
pages = {183--196},
year = {2001},
url = {http://content.iospress.com/articles/ai-communications/aic245},
timestamp = {Wed, 16 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/ZhangWB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsc/ZhangV01,
author = {Yan Zhang and
Vijay Varadharajan},
title = {A Logic for Modeling the Dynamics of Beliefs in Cryptographic Protocols},
booktitle = {24th Australasian Computer Science Conference {(ACSC} 2001), 29 January
- 1 February 2001, Gold Coast, Queensland, Australia},
pages = {215--222},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ACSC.2001.906645},
doi = {10.1109/ACSC.2001.906645},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsc/ZhangV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/Zhang01,
author = {Yan Zhang},
editor = {Markus Stumptner and
Dan Corbett and
Michael J. Brooks},
title = {The Complexity of Logic Program Updates},
booktitle = {{AI} 2001: Advances in Artificial Intelligence, 14th Australian Joint
Conference on Artificial Intelligence, Adelaide, Australia, December
10-14, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2256},
pages = {631--642},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45656-2\_54},
doi = {10.1007/3-540-45656-2\_54},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ausai/Zhang01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieaaie/BaiZ01,
author = {Yun Bai and
Yan Zhang},
editor = {Laszlo Monostori and
J{\'{o}}zsef V{\'{a}}ncza and
Moonis Ali},
title = {On the Computational Aspect of Rule Based Database Updates},
booktitle = {Engineering of Intelligent Systems, 14th International Conference
on Industrial and Engineering Applications of Artificial Intelligence
and Expert Systems, {IEA/AIE} 2001, Budapest, Hungary, June 4-7, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2070},
pages = {71--81},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45517-5\_9},
doi = {10.1007/3-540-45517-5\_9},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/ieaaie/BaiZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/FooZZCV01,
author = {Norman Y. Foo and
Dongmo Zhang and
Yan Zhang and
Samir Chopra and
Quoc Bao Vo},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {Encoding Solutions of the Frame Problem in Dynamic Logic},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {240--253},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_18},
doi = {10.1007/3-540-45402-0\_18},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/FooZZCV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/ais/WangVZ01,
author = {Hongxue Wang and
Vijay Varadharajan and
Yan Zhang},
editor = {Anup K. Ghosh},
title = {A New Approach to Reasoning About Accountability in Cryptographic
Protocols for E-Commerce},
booktitle = {E-Commerce Security and Privacy},
series = {Advances in Information Security},
volume = {2},
pages = {113--131},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/978-1-4615-1467-1\_7},
doi = {10.1007/978-1-4615-1467-1\_7},
timestamp = {Wed, 07 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/ais/WangVZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ci/ZhangF00,
author = {Yan Zhang and
Norman Y. Foo},
title = {Updates with Disjunctive Information: From Syntactical and Semantical
Perspectives},
journal = {Comput. Intell.},
volume = {16},
number = {1},
pages = {29--52},
year = {2000},
url = {https://doi.org/10.1111/0824-7935.00104},
doi = {10.1111/0824-7935.00104},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ci/ZhangF00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcsw/WangVZ00,
author = {Hongxue Wang and
Vijay Varadharajan and
Yan Zhang},
editor = {Ten{-}Hwang Lai},
title = {Towards a Generic Logic for Analysing Network Protocols},
booktitle = {Proceedings of the 2000 {ICDCS} Workshops, April 10, 2000, Taipei,
Taiwan, {ROC}},
pages = {A19--A26},
year = {2000},
timestamp = {Wed, 07 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcsw/WangVZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/LakkarajuZ00,
author = {Sai Kiran Lakkaraju and
Yan Zhang},
editor = {Zbigniew W. Ras and
Setsuo Ohsuga},
title = {Rule Based Abduction},
booktitle = {Foundations of Intelligent Systems, 12th International Symposium,
{ISMIS} 2000, Charlotte, NC, USA, October 11-14, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1932},
pages = {525--533},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-39963-1\_55},
doi = {10.1007/3-540-39963-1\_55},
timestamp = {Wed, 27 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ismis/LakkarajuZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Zhang99,
author = {Yan Zhang},
title = {Specifying Causality in Action Theories: {A} Default Logic Approach},
journal = {Theor. Comput. Sci.},
volume = {220},
number = {2},
pages = {489--513},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(99)00011-0},
doi = {10.1016/S0304-3975(99)00011-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Zhang99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Zhang99,
author = {Yan Zhang},
editor = {Danny De Schreye},
title = {Monotonicity in Rule Based Update},
booktitle = {Logic Programming: The 1999 International Conference, Las Cruces,
New Mexico, USA, November 29 - December 4, 1999},
pages = {471--485},
publisher = {{MIT} Press},
year = {1999},
timestamp = {Wed, 11 May 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Zhang99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcnn/Zhang99,
author = {Yan Zhang},
title = {On logical semantics of hybrid symbolic-neural networks for commonsense
reasoning},
booktitle = {International Joint Conference Neural Networks, {IJCNN} 1999, Washington,
DC, USA, July 10-16, 1999},
pages = {502--505},
publisher = {{IEEE}},
year = {1999},
url = {https://doi.org/10.1109/IJCNN.1999.831547},
doi = {10.1109/IJCNN.1999.831547},
timestamp = {Wed, 27 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcnn/Zhang99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/Zhang98,
author = {Yan Zhang},
editor = {Grigoris Antoniou and
John K. Slaney},
title = {Representing Defeasible Constraints and Observations in Action Theories},
booktitle = {Advanced Topics in Artificial Intelligence, 11th Australian Joint
Conference on Artificial Intelligence, {AI} '98, Brisbane, Australia,
July 13-17, 1998, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1502},
pages = {309--320},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0095062},
doi = {10.1007/BFB0095062},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ausai/Zhang98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/ZhangF98,
author = {Yan Zhang and
Norman Y. Foo},
editor = {Henri Prade},
title = {Updating Logic Programs},
booktitle = {13th European Conference on Artificial Intelligence, Brighton, UK,
August 23-28 1998, Proceedings.},
pages = {403--407},
publisher = {John Wiley and Sons},
year = {1998},
timestamp = {Wed, 31 Jul 2019 08:45:03 +0200},
biburl = {https://dblp.org/rec/conf/ecai/ZhangF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pricai/WangVZ98,
author = {Hongxue Wang and
Vijay Varadharajan and
Yan Zhang},
editor = {Toru Ishida},
title = {A Secure Communication Scheme for Multiagent Systems},
booktitle = {Multiagent Platforms, First Pacific Rim International Workshop on
Multi-Agents, {PRIMA} '98, Singapore, November 23, 1998, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1599},
pages = {174--185},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-48826-X\_13},
doi = {10.1007/3-540-48826-X\_13},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/pricai/WangVZ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/ZhangF97,
author = {Yan Zhang and
Norman Y. Foo},
title = {Deriving Invariants and Constraints from Action Theories},
journal = {Fundam. Informaticae},
volume = {30},
number = {1},
pages = {109--123},
year = {1997},
url = {https://doi.org/10.3233/FI-1997-30108},
doi = {10.3233/FI-1997-30108},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/ZhangF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/FooPZ97,
author = {Norman Y. Foo and
Pavlos Peppas and
Yan Zhang},
editor = {Abdul Sattar},
title = {Inductive Properties of States},
booktitle = {Advanced Topics in Artificial Intelligence, 10th Australian Joint
Conference on Artificial Intelligence, {AI} '97, Perth, Australia,
November 30 - December 4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1342},
pages = {227--235},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63797-4\_75},
doi = {10.1007/3-540-63797-4\_75},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ausai/FooPZ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/Zhang97,
author = {Yan Zhang},
editor = {Dov M. Gabbay and
Rudolf Kruse and
Andreas Nonnengart and
Hans J{\"{u}}rgen Ohlbach},
title = {Disjunctive Update, Minimal Change, and Default Reasoning},
booktitle = {Qualitative and Quantitative Practical Reasoning, First International
Joint Conference on Qualitative and Quantitative Practical Reasoning
ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1244},
pages = {600--613},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0035652},
doi = {10.1007/BFB0035652},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/Zhang97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ZhangF97,
author = {Yan Zhang and
Norman Y. Foo},
title = {Towards Generalized Rule-based Updates},
booktitle = {Proceedings of the Fifteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes},
pages = {82--88},
publisher = {Morgan Kaufmann},
year = {1997},
url = {http://ijcai.org/Proceedings/97-1/Papers/014.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:27 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ZhangF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FooNPPZ97,
author = {Norman Y. Foo and
Abhaya C. Nayak and
Maurice Pagnucco and
Pavlos Peppas and
Yan Zhang},
title = {Action Localness, Genericity and Invariants in {STRIPS}},
booktitle = {Proceedings of the Fifteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes},
pages = {549--554},
publisher = {Morgan Kaufmann},
year = {1997},
timestamp = {Wed, 11 May 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/FooNPPZ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/Zhang97a,
author = {Yan Zhang},
editor = {Zbigniew W. Ras and
Andrzej Skowron},
title = {Constraints, Causal Rules and Minimal Change in Model-based Update},
booktitle = {Foundations of Intelligent Systems, 10th International Symposium,
{ISMIS} '97, Charlotte, North Carolina, USA, October 15-18, 1997,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1325},
pages = {609--618},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63614-5\_59},
doi = {10.1007/3-540-63614-5\_59},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ismis/Zhang97a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/ZhangF97,
author = {Yan Zhang and
Norman Y. Foo},
editor = {Jan Maluszynski},
title = {Answer Sets for Prioritized Logic Programs},
booktitle = {Logic Programming, Proceedings of the 1997 International Symposium,
Port Jefferson, Long Island, NY, USA, October 13-16, 1997},
pages = {69--83},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Wed, 11 May 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/slp/ZhangF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ZhangF96,
author = {Yan Zhang and
Norman Y. Foo},
editor = {William J. Clancey and
Daniel S. Weld},
title = {Updating Knowledge Bases with Disjunctive Information},
booktitle = {Proceedings of the Thirteenth National Conference on Artificial Intelligence
and Eighth Innovative Applications of Artificial Intelligence Conference,
{AAAI} 96, {IAAI} 96, Portland, Oregon, USA, August 4-8, 1996, Volume
1},
pages = {562--568},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1996},
url = {http://www.aaai.org/Library/AAAI/1996/aaai96-084.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ZhangF96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/Zhang96,
author = {Yan Zhang},
editor = {Zbigniew W. Ras and
Maciej Michalewicz},
title = {Semantical Considerations for Knowledge Base Updates},
booktitle = {Foundations of Intelligent Systems, 9th International Symposium, {ISMIS}
'96, Zakopane, Poland, June 9-13, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1079},
pages = {88--97},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61286-6\_134},
doi = {10.1007/3-540-61286-6\_134},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ismis/Zhang96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/ZhangF95,
author = {Yan Zhang and
Norman Y. Foo},
title = {Applying the persistent set approach in temporal reasoning},
journal = {Ann. Math. Artif. Intell.},
volume = {14},
number = {1},
pages = {75--98},
year = {1995},
url = {https://doi.org/10.1007/BF01530894},
doi = {10.1007/BF01530894},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/ZhangF95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ZhangF93,
author = {Yan Zhang and
Norman Y. Foo},
editor = {Ruzena Bajcsy},
title = {Reasoning About Persistence: {A} Theory of Actions},
booktitle = {Proceedings of the 13th International Joint Conference on Artificial
Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
1993},
pages = {718--723},
publisher = {Morgan Kaufmann},
year = {1993},
url = {http://ijcai.org/Proceedings/93-1/Papers/101.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:33 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ZhangF93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-22 20:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
