![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Yan Zhang 0003
Person information
- affiliation: University of Western Sydney, Richmond, Australia
Other persons with the same name
- Yan Zhang — disambiguation page
- Yan Zhang 0001 (aka: Yan (Ryan) Zhang) — Max Planck Institute for Informatics, Saarbrücken, Germany
- Yan Zhang 0002
— Simula Research Laboratory, Oslo, Norway (and 1 more)
- Yan Zhang 0004
(aka: Yan (Michael) Zhang) — National University of Singapore (and 1 more)
- Yan Zhang 0005
— The University of Texas at Austin, School of Information, TX, USA (and 2 more)
- Yan Zhang 0006
— Xidian University, State Key Laboratory of Integrated Service Networks, Xi'an, China (and 1 more)
- Yan Zhang 0007 — Beijing Electronic Science and Technology Institute, Beijing, China (and 1 more)
- Yan Zhang 0008 — University of South Florida, Tampa, FL, USA (and 1 more)
- Yan Zhang 0009 — Heriot-Watt University, Edinburgh, UK
- Yan Zhang 0010 — Zhengzhou University of Light Industry, Zhengzhou, China
- Yan Zhang 0011
(aka: Yan (Rockee) Zhang) — University of Oklahoma, Radar Innovations Laboratory, Norman, OK, USA
- Yan Zhang 0012 — Nanjing University of Aeronautics and Astronautics, Nanjing, China
- Yan Zhang 0013 — Chinese Academy of Sciences, Insitute of Acoustics, Beijing, China
- Yan Zhang 0014 — Chinese Academy of Sciences, Institute of Information Engineering, Beijing, China
- Yan Zhang 0015 — Leshan Normal University, Leshan, China
- Yan Zhang 0016 — Harbin Medical University, Harbin, China
- Yan Zhang 0017 — University Pierre and Marie Curie, Paris, France
- Yan Zhang 0018 — IMEC, Eindhoven, Netherlands
- Yan Zhang 0019 — University of Arizona, Department of Electrical and Computer Engineering, Tucson, AZ, USA
- Yan Zhang 0020 — University of Central Lancashire, Preston, UK
- Yan Zhang 0021 — Hong Kong University of Science and Technology
- Yan Zhang 0022 — University of Tennessee, Knoxville, TN, USA
- Yan Zhang 0023 — Nanyang Technological University, Singapore
- Yan Zhang 0024 — Xi'an Jiaotong University, School of Mathematics and Statistics, Xi'an, China
- Yan Zhang 0025 — Duke University, Department of Electrical and Computer Engineering, Durham, NC, USA (and 1 more)
- Yan Zhang 0026 — Kyushu Institute of Technology, Kitakyushu, Japan
- Yan Zhang 0027 — Huawei Singapore Research Center, Singapore (and 2 more)
- Yan Zhang 0028 — University of Virginia, Charlottesville, VA, USA
- Yan Zhang 0029 — Hebei University of Technology, Tianjin, China
- Yan Zhang 0030
— California State University San Bernardino, CA, USA (and 1 more)
- Yan Zhang 0031 — Tsinghua University, Beijing, China
- Yan Zhang 0032
— Yale University, Department of Molecular Biophysics and Biochemistry, New Haven, CT, USA (and 1 more)
- Yan Zhang 0033
— North Dakota State University, Mechanical Engineering, Fargo, ND, USA (and 2 more)
- Yan Zhang 0034
— Harbin Institute of Technology, School of Electrical Engineering & Automation, China
- Yan Zhang 0035
— Anhui Polytechnic University, China (and 1 more)
- Yan Zhang 0036
— University of Electronic Science and Technology of China, Big Data Research Center, Chengdu, China
- Yan Zhang 0037
— Qingdao University of Science and Technology, College of Electromechanical Engineering, China
- Yan Zhang 0038
— Shanghai University of Engineering Science, School of Electronic and Electrical Engineering / School of Fashion Technology, China
- Yan Zhang 0039
— South China University of Technology, School of Electronic and Information Engineering, Guangzhou, China
- Yan Zhang 0040
— Xi'an Jiaotong University, School of Electrical Engineering, State Key Laboratory of Electrical Insulation and Power Equipment, China
- Yan Zhang 0041
— Beijing Institute of Technology, School of Information and Electronics, China
- Yan Zhang 0042
— University of Electronic Science and Technology of China, Department of Physcis, Chengdu, China (and 2 more)
- Yan Zhang 0043
— Duke University, Department of Mechanical Engineering and Materials Science, Durham, NC, USA
- Yan Zhang 0044
— Xi'an Jiaotong University, School of Electronic and Information Engineering, China
- Yan Zhang 0045
— Beihang University, School of Economics and Management, Beijing, China
- Yan Zhang 0046 — University of California, San Diego, USA
- Yan Zhang 0047
— Glasgow Caledonian University, School of Computing, Engineering and Built Environment, Department of Computing, UK (and 1 more)
- Yan Zhang 0048
— Hefei University of Technology, Anhui Provincial Laboratory of New Energy Utilization and Energy Conservation, Hefei, China
- Yan Zhang 0049
— ETH Zurich, Chair of Systems Design, Switzerland
- Yan Zhang 0050
— University of California, Los Angeles, Department of Electrical and Computer Engineering, USA
- Yan Zhang 0051
— Guangdong University of Finance and Economics, Faculty Development and Educational Technology Center, China (and 2 more)
- Yan Zhang 0052
— Jilin University, School of Communication Engineering, Changchun, China
- Yan Zhang 0053 — Soochow University, School of Computer Science and Technology, Suzhou, China
- Yan Zhang 0054
— ETH Zürich, Switzerland (and 1 more)
- Yan Zhang 0055 — Tohoku University, Graduate School of Information Sciences, Sendai, Japan
- Yan Zhang 0056
— Lodz University of Technology, Department of Automation, Biomechanics and Mechatronics, Poland
- Yan Zhang 0057
— Nanjing University, Department of Computer Science and Technology, China (and 1 more)
- Yan Zhang 0058
— Tongji University, Jiading Campus, School of Electronics and Information Engineering, Shanghai, China
- Yan Zhang 0059
— Xiamen University, Computer Science Department, Fujian Key Laboratory of Sensing and Computing for Smart Cities, China (and 1 more)
- Yan Zhang 0060
— Shandong Management University, College of Industry and Commerce, Jinan, China (and 1 more)
- Yan Zhang 0061
— Jinan University, First Affiliated Hospital, Department of Interventional Radiology and Vascular Surgery, Guangzhou, China
- Yan Zhang 0062
— National University of Defense Technology, College of Intelligence Science and Technology, Changsha, China
- Yan Zhang 0063
— Beihang University, School of Astronautics, Image Processing Center, Beijing, China
- Yan Zhang 0064 — Peking University First Hospital, Department of Cardiology, Beijing, China
- Yan Zhang 0065 — Shenyang Normal University, Software College, China
- Yan Zhang 0066 — Harbin Institute of Technology, Shenzhen Graduate School, School of Electronics and Information Engineering, China
- Yan Zhang 0067
— University of Southampton, Department of Electronics and Computer Science, UK
- Yan Zhang 0068
— China University of Petroleum (East China), College of Oceanography and Space Informatics, Qingdao, China
- Yan Zhang 0069
— Xi'an University of Science and Technology, School of Management, China
- Yan Zhang 0070
— Virginia Commonwealth University, Department of Medicinal Chemistry, School of Pharmacy, Richmond, VA, USA
- Yan Zhang 0071
— Zhengzhou University, First Affiliated Hospital, Department of Magnetic Resonance Imaging, China
- Yan Zhang 0072
— East China Normal University, Shanghai Key Laboratory of Trustworthy Computing, China (and 1 more)
- Yan Zhang 0073
— Southeast University, State Key Laboratory of Millimeter Waves, Nanjing, China
- Yan Zhang 0074
— Jinling Institute of Technology, School of Intelligence Science and Control Engineering, Nanjing, China (and 1 more)
- Yan Zhang 0075
— China University of Petroleum, Quantum Exploration Materials and Technological Innovation Pioneering Laboratory, Beijing, China
- Yan Zhang 0076
— Communication University of China, School of Animation and Digital Arts, Beijing, China
- Yan Zhang 0077
— Hubei University, School of Computer Science and Information Engineering / Hubei Engineering Research Center of Educational Informationalization, Wuhan, China
- Yan Zhang 0078
— Wuhan University, School of Geodesy and Geomatics / LIEMARS, China
- Yan Zhang 0079
— Chengdu University, College of Architecture and Civil Engineering, China
- Yan Zhang 0080 — University of Paris, LIPADE, Paris, France (and 1 more)
- Yan Zhang 0081 — University of Chinese Academy of Sciences, School of Public Policy and Management, Beijing, China
- Yan Zhang 0082
— Hebei Institute of Food Quality Supervision Inspection and Research, Shijiazhuang, China
- Yan Zhang 0083
— Hainan University, College of Science, Haikou, China
- Yan Zhang 0085
— Sun Yat-sen University, School of Aeronautics and Astronautics, Shenzhen, China
- Yan Zhang 0086
— Northwestern Polytechnical University, School of Electronic and Information, Xi'an, China
- Yan Zhang 0087
— Hebei University of Technology, School of Artificial Intelligence, Tianjin, China
- Yan Zhang 0088
— Southern Medical University, School of Basic Medical Sciences, Department of Bioinformatics, Guangzhou, China
- Yan Zhang 0089
— Shandong Jiaotong University, School of Navigation and Shipping, Weihai, China
- Yan Zhang 0090
— East China University of Science and Technology, School of Foreign Languages, Shanghai, China
- Yan Zhang 0091
— Arizona State University, School of Electrical, Computer, and Energy Engineering, Tempe, AZ, USA
- Yan Zhang 0092
— TU Ilmenau, Department of Mechanical Engineering, Germany
- Yan Zhang 0093
— Beijing Institute of Radio Measurement, China
- Yan Zhang 0094
— Capital Normal University, Department of Physics, Beijing, China
- Yan Zhang 0095
— Beijing Forestry University, College of Soil and Water Conservation, China
- Yan Zhang 0096
— Shandong University of Finance and Economics, School of Computer Science and Technology, Jinan, China
- Yan Zhang 0097
— Southeast University, Shenzhen Research Institute / Advanced Cloud-System Research Center, Nanjing, China
- Yan Zhang 0098
— Shandong University of Science and Technology, College of Ocean Science and Engineering, Qingdao, China
- Yan Zhang 0099
— Suqian University, School of Information Engineering, China (and 2 more)
- Yan Zhang 0100
— Southeast University, School of Computer Science and Engineering / School of Artificial Intelligence, Nanjing, China
- Yan Zhang 0101
— Nara Institute of Science and Technology, Graduate School of Information Science, Ikoma, Japan
- Yan Zhang 0102
— Shandong University of Science and Technology, College of Mathematics and Systems Science, Qingdao, China
- Yan Zhang 0103
— East China Normal University, Software Engineering Institute, Shanghai Key Laboratory of Trustworthy Computing, China (and 1 more)
- Yan Zhang 0104
— China Agricultural University, College of Information and Electrical Engineering, Beijing, China
- Yan Zhang 0105
— China Three Gorges University, Hubei Key Laboratory of Intelligent Vision Based Monitoring for Hydroelectric Engineering, Yichang, China (and 1 more)
- Yan Zhang 0106
— Anhui University, School of Electronics and Information Engineering, Hefei, China
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j38]Wenlong Tian
, Qi Liu, Ruixuan Li
, Zhiyong Xu, Yan Zhang, Yongfeng Huang
:
A Blockchain-Based Secure Searching Strategy for Metadata in Mobile Edge Computing. IEEE Internet Things J. 10(22): 19795-19809 (2023) - 2020
- [j37]Dongdong Yue, Ruixuan Li, Yan Zhang, Wenlong Tian
, Yongfeng Huang
:
Blockchain-based verification framework for data integrity in edge-cloud storage. J. Parallel Distributed Comput. 146: 1-14 (2020) - [c89]Heng Zhang, Yan Zhang, Jia-Huai You, Zhiyong Feng, Guifei Jiang:
Towards Universal Languages for Tractable Ontology Mediated Query Answering. AAAI 2020: 3049-3056 - [c88]Heng Zhang, Yan Zhang, Guifei Jiang:
Model-theoretic Characterizations of Existential Rule Languages. IJCAI 2020: 1940-1946 - [i15]Heng Zhang, Yan Zhang, Guifei Jiang:
Model-theoretic Characterizations of Existential Rule Languages. CoRR abs/2001.08688 (2020)
2010 – 2019
- 2019
- [j36]Vernon Asuncion, Yan Zhang, Heng Zhang, Ruixuan Li:
Polynomial and Exponential Bounded Logic Programs with Function Symbols: Some New Decidable Classes. J. Artif. Intell. Res. 64: 749-815 (2019) - [i14]Heng Zhang, Yan Zhang, Jia-Huai You, Zhiyong Feng, Guifei Jiang:
Towards Universal Languages for Tractable Ontology Mediated Query Answering. CoRR abs/1911.11359 (2019) - 2018
- [c87]Dongdong Yue, Ruixuan Li, Yan Zhang, Wenlong Tian, Chengyi Peng:
Blockchain Based Data Integrity Verification in P2P Cloud Storage. ICPADS 2018: 561-568 - [c86]Vernon Asuncion, Yan Zhang, Heng Zhang, Yun Bai, Weisheng Si:
Loop Restricted Existential Rules and First-Order Rewritability for Query Answering. KR 2018: 619-620 - [i13]Vernon Asuncion, Yan Zhang:
A New Decidable Class of Tuple Generating Dependencies: The Triangularly-Guarded Class. CoRR abs/1804.05997 (2018) - [i12]Vernon Asuncion, Yan Zhang, Heng Zhang:
Loop Restricted Existential Rules and First-order Rewritability for Query Answering. CoRR abs/1804.07099 (2018) - [i11]Vernon Asuncion, Yan Zhang:
A New Finitely Controllable Class of Tuple Generating Dependencies: The Triangularly-Guarded Class. CoRR abs/1805.09157 (2018) - 2017
- [j35]Yi Zhou, Yan Zhang:
A progression semantics for first-order logic programs. Artif. Intell. 250: 58-79 (2017) - [j34]Zhiqiang Zhuang
, Maurice Pagnucco
, Yan Zhang:
Inter-Definability of Horn Contraction and Horn Revision. J. Philos. Log. 46(3): 299-332 (2017) - [j33]Jinwei Hu, Khaled M. Khan
, Yan Zhang, Yun Bai, Ruixuan Li:
Role updating in information systems using model checking. Knowl. Inf. Syst. 51(1): 187-234 (2017) - [j32]Heng Zhang
, Yan Zhang:
Expressiveness of Logic Programs under the General Stable Model Semantics. ACM Trans. Comput. Log. 18(2): 9:1-9:28 (2017) - [c85]Vernon Asuncion, Yan Zhang, Heng Zhang:
Polynomially Bounded Logic Programs with Function Symbols: A New Decidable. AAAI 2017: 1041-1047 - 2016
- [c84]Hai Wan, Heng Zhang, Peng Xiao, Haoran Huang, Yan Zhang:
Query Answering with Inconsistent Existential Rules under Stable Model Semantics. AAAI 2016: 1095-1101 - [c83]Heng Zhang, Yan Zhang, Jia-Huai You:
Expressive Completeness of Existential Rule Languages for Ontology-Based Query Answering. IJCAI 2016: 1330-1337 - [i10]Hai Wan, Heng Zhang, Peng Xiao, Haoran Huang, Yan Zhang:
Query Answering with Inconsistent Existential Rules under Stable Model Semantics. CoRR abs/1602.05699 (2016) - [i9]Heng Zhang, Yan Zhang, Jia-Huai You:
Expressive Completeness of Existential Rule Languages for Ontology-based Query Answering. CoRR abs/1604.05006 (2016) - 2015
- [j31]Vernon Asuncion, Yin Chen, Yan Zhang, Yi Zhou:
Ordered completion for logic programs with aggregates. Artif. Intell. 224: 72-102 (2015) - [c82]Heng Zhang, Yan Zhang, Jia-Huai You:
Existential Rule Languages with Finite Chase: Complexity and Expressiveness. AAAI 2015: 1678-1685 - [c81]Yun Bai, Edward Caprin, Yan Zhang:
Reasoning About the State Change of Authorization Policies. IEA/AIE 2015: 109-119 - 2014
- [j30]Yisong Wang, Yan Zhang, Yi Zhou, Mingyi Zhang:
Knowledge Forgetting in Answer Set Programming. J. Artif. Intell. Res. 50: 31-70 (2014) - [j29]Vernon Asuncion, Yan Zhang, Yi Zhou:
Preferred First-Order Answer Set Programs. ACM Trans. Comput. Log. 15(2): 11:1-11:42 (2014) - [c80]Hai Wan, Zhanhao Xiao, Zhenfeng Yuan, Heng Zhang, Yan Zhang:
Computing General First-Order Parallel and Prioritized Circumscription. AAAI 2014: 1105-1111 - [c79]Vernon Asuncion, Yan Zhang, Heng Zhang:
Logic Programs with Ordered Disjunction: First-Order Semantics and Expressiveness. KR 2014 - [c78]Edward Caprin, Yan Zhang:
Negotiation Based Framework for Attribute-Based Access Control Policy Evaluation. SIN 2014: 122 - [i8]Kaile Su, Abdul Sattar, Guanfeng Lv, Yan Zhang:
Variable Forgetting in Reasoning about Knowledge. CoRR abs/1401.3472 (2014) - [i7]Yi Zhou, Yan Zhang:
A Logical Study of Partial Entailment. CoRR abs/1401.3864 (2014) - [i6]Dongmo Zhang, Yan Zhang:
An Ordinal Bargaining Solution with Fixed-Point Property. CoRR abs/1405.5201 (2014) - [i5]Heng Zhang, Yan Zhang, Jia-Huai You:
Existential Rule Languages with Finite Chase: Complexity and Expressiveness. CoRR abs/1411.5220 (2014) - [i4]Heng Zhang, Yan Zhang:
Expressiveness of Logic Programs under General Stable Model Semantics. CoRR abs/1412.0773 (2014) - 2013
- [j28]Vernon Asuncion, Yan Zhang, Heng Zhang, Yi Zhou:
Constructive Circumscription. Theory Pract. Log. Program. 13(4-5-Online-Supplement) (2013) - [j27]Jia-Huai You, Heng Zhang
, Yan Zhang:
Disjunctive logic programs with existential quantification in rule heads. Theory Pract. Log. Program. 13(4-5): 563-578 (2013) - [c77]Edward Caprin, Yan Zhang:
SocACL: An ASP-Based Access Control Language for Online Social Networks. Communications and Multimedia Security 2013: 207-210 - [c76]Heng Zhang, Yan Zhang:
First-Order Expressibility and Boundedness of Disjunctive Logic Programs. IJCAI 2013: 1198-1204 - [c75]Zhi Qiang Zhuang, Maurice Pagnucco, Yan Zhang:
Definability of Horn Revision from Horn Contraction. IJCAI 2013: 1205-1212 - [c74]Edward Caprin, Yan Zhang, Khaled M. Khan
:
Social access control language (SocACL). SIN 2013: 261-265 - [i3]Heng Zhang, Yan Zhang:
Disjunctive Logic Programs versus Normal Logic Programs. CoRR abs/1304.0620 (2013) - 2012
- [j26]Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou:
Ordered completion for first-order logic programs on finite structures. Artif. Intell. 177-179: 1-24 (2012) - [c73]Vernon Asuncion, Yan Zhang, Yi Zhou:
Ordered Completion for Logic Programs with Aggregates. AAAI 2012: 691-697 - [c72]Yi Zhou, Yan Zhang:
RDL: Enhancing Description Logic with Rules. Australasian Conference on Artificial Intelligence 2012: 567-578 - [c71]Jinwei Hu, Khaled M. Khan
, Yun Bai, Yan Zhang:
Constraint-enhanced role engineering via answer set programming. AsiaCCS 2012: 73-74 - [c70]Jinwei Hu, Khaled M. Khan
, Yun Bai, Yan Zhang:
Tracking and Constraining Authorization Provenance. IEA/AIE 2012: 669-678 - [c69]Jinwei Hu, Khaled M. Khan
, Yun Bai, Yan Zhang:
Compliance Checking for Usage-Constrained Credentials in Trust Negotiation Systems. ISC 2012: 290-305 - [c68]Yisong Wang, Yan Zhang, Yi Zhou, Mingyi Zhang:
Forgetting in Logic Programs under Strong Equivalence. KR 2012 - 2011
- [j25]Yin Chen, Fangzhen Lin, Yan Zhang, Yi Zhou:
Loop-separable programs and their first-order definability. Artif. Intell. 175(3-4): 890-913 (2011) - [j24]Sean Policarpio, Yan Zhang:
A Formal Language for XML Authorisations Based on Answer Set Programming and Temporal Interval Logic Constraints. Int. J. Secur. Softw. Eng. 2(1): 22-39 (2011) - [j23]Yi Zhou, Yan Zhang:
A Logical Study of Partial Entailment. J. Artif. Intell. Res. 40: 25-56 (2011) - [c67]Yi Zhou, Yan Zhang:
Bounded Forgetting. AAAI 2011: 280-285 - [c66]Yi Zhou, Yan Zhang:
Progression Semantics for Disjunctive Logic Programs. AAAI 2011: 286-291 - [c65]Heng Zhang
, Yan Zhang, Mingsheng Ying
, Yi Zhou:
Translating First-Order Theories into Logic Programs. IJCAI 2011: 1126-1131 - 2010
- [c64]Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou:
Ordered Completion for First-Order Logic Programs on Finite Structures. AAAI 2010: 249-254 - [c63]Yin Chen, Yan Zhang, Yi Zhou:
First-Order Indefinability of Answer Set Programs on Finite Structures. AAAI 2010: 285-290 - [c62]Jinwei Hu, Yan Zhang, Ruixuan Li, Zhengding Lu:
A logic for authorization provenance. AsiaCCS 2010: 238-249 - [c61]Yan Zhang, Michael Kelly, Yi Zhou:
Foundations of Tree-like Local Model Updates. ECAI 2010: 615-620 - [c60]Yin Chen, Hai Wan, Yan Zhang, Yi Zhou:
dl2asp: Implementing Default Logic via Answer Set Programming. JELIA 2010: 104-116 - [c59]Michael Kelly, Fei Pu, Yan Zhang, Yi Zhou:
ACTL Local Model Update with Constraints. KES (4) 2010: 135-144 - [c58]Jinwei Hu, Yan Zhang, Ruixuan Li:
Towards Automatic Update of Access Control Policy. LISA 2010 - [c57]Wei Huang, Dongmo Zhang, Yan Zhang, Laurent Perrussel:
Bargain over Joint Plans. PRICAI 2010: 608-613 - [c56]Jinwei Hu, Yan Zhang, Ruixuan Li, Zhengding Lu:
Role updating for assignments. SACMAT 2010: 89-98
2000 – 2009
- 2009
- [j22]Yan Zhang, Yi Zhou:
Knowledge forgetting: Properties and applications. Artif. Intell. 173(16-17): 1525-1537 (2009) - [j21]Yi Zhou, Fangzhen Lin, Yan Zhang:
General default logic. Ann. Math. Artif. Intell. 57(2): 125-160 (2009) - [j20]Kaile Su
, Abdul Sattar, Guanfeng Lv, Yan Zhang:
Variable Forgetting in Reasoning about Knowledge. J. Artif. Intell. Res. 35: 677-716 (2009) - [j19]Yan Zhang:
Updating Epistemic Logic Programs. J. Log. Comput. 19(2): 405-423 (2009) - [c55]Yi Zhou, Yan Zhang:
Modeling Abstract Behavior: A Dynamic Logic Approach. Australasian Conference on Artificial Intelligence 2009: 538-546 - [c54]Sean Policarpio, Yan Zhang:
A Formal Language for Specifying Complex XML Authorisations with Temporal Constraints. Inscrypt 2009: 443-457 - [c53]Jinwei Hu, Yan Zhang, Ruixuan Li, Zhengding Lu:
Managing Authorization Provenance: A Modal Logic Based Approach. ICTAI 2009: 621-624 - [c52]Vernon Asuncion, Yan Zhang:
Translating Preferred Answer Set Programs to Propositional Logic. LPNMR 2009: 396-401 - 2008
- [j18]Yan Zhang, Yulin Ding:
CTL Model Update for System Modifications. J. Artif. Intell. Res. 31: 113-155 (2008) - [j17]Dongmo Zhang, Yan Zhang:
An Ordinal Bargaining Solution with Fixed-Point Property. J. Artif. Intell. Res. 33: 433-464 (2008) - [c51]Shujing Wang, Yan Zhang:
A Logic Programming Based Framework for Security Protocol Verification. ISMIS 2008: 638-643 - [c50]Yi Zhou, Yan Zhang:
Meta Level Reasoning and Default Reasoning. JELIA 2008: 403-415 - [c49]Yi Zhou, Yan Zhang:
Rule Calculus: Semantics, Axioms and Applications. JELIA 2008: 416-428 - 2007
- [j16]Shujing Wang, Yan Zhang:
Handling distributed authorization with delegation through answer set programming. Int. J. Inf. Sec. 6(1): 27-46 (2007) - [c48]Yan Zhang:
Epistemic Reasoning in Logic Programs. IJCAI 2007: 647-653 - [c47]Yi Zhou, Fangzhen Lin, Yan Zhang:
General Default Logic. LPNMR 2007: 241-253 - 2006
- [j15]Yan Zhang, Norman Y. Foo:
Solving logic program conflict through strong and weak forgettings. Artif. Intell. 170(8-9): 739-778 (2006) - [j14]Vino Fernando Crescini, Yan Zhang:
PolicyUpdater: a system for dynamic access control. Int. J. Inf. Sec. 5(3): 145-165 (2006) - [j13]Jianwen Chen, Yan Zhang:
A rule based knowledge transaction model for mobile environments. Inf. Sci. 176(18): 2642-2672 (2006) - [j12]Yan Zhang:
Logic program-based updates. ACM Trans. Comput. Log. 7(3): 421-472 (2006) - [c46]Dongmo Zhang, Yan Zhang:
A Computational Model of Logic-Based Negotiation. AAAI 2006: 728-733 - [c45]Dongmo Zhang, Yan Zhang:
Logical Properties of Belief-Revision-Based Bargaining Solution. Australian Conference on Artificial Intelligence 2006: 79-89 - [c44]Yan Zhang:
Computational Properties of Epistemic Logic Programs. KR 2006: 308-317 - [c43]Yulin Ding, Yan Zhang:
A Case Study for CTL Model Update. KSEM 2006: 88-101 - 2005
- [j11]Chitta Baral, Yan Zhang:
Knowledge updates: Semantics and complexity issues. Artif. Intell. 164(1-2): 209-243 (2005) - [j10]Yun Bai, Yan Zhang, Vijay Varadharajan:
On the sequence of authorization policy transformations. Int. J. Inf. Sec. 4(1-2): 120-131 (2005) - [c42]Yan Zhang, Norman Y. Foo:
A Unified Framework for Representing Logic Program Updates. AAAI 2005: 707-713 - [c41]Shujing Wang, Yan Zhang:
A Formalization of Distributed Authorization with Delegation. ACISP 2005: 303-315 - [c40]Yulin Ding, Yan Zhang:
Model Updating CTL Systems. Australian Conference on Artificial Intelligence 2005: 5-16 - [c39]Shujing Wang, Yan Zhang:
Answer Set Programming for Distributed Authorization: The Language, Computations, and Application. Australian Conference on Artificial Intelligence 2005: 1191-1194 - [c38]Yan Zhang, Norman Y. Foo, Kewen Wang:
Solving Logic Program Conflict through Strong and Weak Forgettings. IJCAI 2005: 627-634 - [c37]Yulin Ding, Yan Zhang:
A Logic Approach for LTL System Modification. ISMIS 2005: 435-444 - [c36]Shujing Wang, Yan Zhang:
Specifying Distributed Authorization with Delegation Using Logic Programming. KES (2) 2005: 761-767 - [c35]Yulin Ding, Yan Zhang:
Algorithms for CTL System Modification. KES (2) 2005: 1000-1006 - [c34]Kewen Wang, Yan Zhang:
Nested Epistemic Logic Programs. LPNMR 2005: 279-290 - 2004
- [j9]Yun Bai, Yan Zhang:
Artificial Intelligence In Database Security. Int. J. Pattern Recognit. Artif. Intell. 18(1): 3-17 (2004) - [c33]Vino Fernando Crescini, Yan Zhang:
A Logic Based Approach for Dynamic Access Control. Australian Conference on Artificial Intelligence 2004: 623-635 - [c32]Norman Y. Foo, Pavlos Peppas, Yan Zhang:
Constraints from STRIPS - Preliminary Report. Australian Conference on Artificial Intelligence 2004: 670-680 - [c31]Jianwen Chen, Yan Zhang:
An extended logic programming based multi-agent system formalization in mobile environments. CIKM 2004: 166-167 - [c30]Rena Ding, Yan Zhang:
Dual space drawing methods for cones. GRAPHITE 2004: 148-154 - [c29]Jianwen Chen, Yan Zhang:
A Multi-Agent System for Mobile Environments. Intelligent Information Processing 2004: 11-22 - [c28]Kaile Su, Guanfeng Lv, Yan Zhang:
Reasoning about Knowledge by Variable Forgetting. KR 2004: 576-586 - 2003
- [j8]Yan Zhang:
Two results for prioritized logic programming. Theory Pract. Log. Program. 3(2): 223-242 (2003) - [j7]Yan Zhang:
Handling defeasibilities in action domains. Theory Pract. Log. Program. 3(3): 329-376 (2003) - [c27]Chun Ruan, Vijay Varadharajan, Yan Zhang:
Delegatable Authorization Program and Its Application. Security and Management 2003: 267-273 - [c26]Chun Ruan, Vijay Varadharajan, Yan Zhang:
Evaluation of Authorization with Delegation and Negation. IIS 2003: 547-551 - [c25]Yan Zhang:
Minimal Change and Maximal Coherence for Epistemic Logic Program Updates. IJCAI 2003: 112-120 - [c24]Yan Zhang, Yun Bai:
The Characterization on the Uniqueness of Answer Set for Prioritized Logic Programs. ISMIS 2003: 349-356 - [c23]Chun Ruan, Vijay Varadharajan, Yan Zhang:
A Logic Model for Temporal Authorization Delegation with Negation. ISC 2003: 310-324 - 2002
- [c22]Chun Ruan, Vijay Varadharajan, Yan Zhang:
Logic-Based Reasoning on Delegatable Authorizations. ISMIS 2002: 185-193 - [c21]Yan Zhang, Norman Y. Foo:
Representing Actions over Dynamic Domains. PRICAI 2002: 60-69 - [i2]Yan Zhang:
Two results for proiritized logic programming. CoRR cs.AI/0203007 (2002) - [i1]Yan Zhang:
Handling Defeasibilities in Action Domains. CoRR cs.AI/0206003 (2002) - 2001
- [j6]Norman Y. Foo, Rex Bing Hung Kwok, Yan Zhang:
Apparent Nondeterminism in Actions. J. Res. Pract. Inf. Technol. 33(4): 360-368 (2001) - [j5]Yan Zhang, Cheng-Min Wu, Yun Bai:
Implementing prioritized logic programming. AI Commun. 14(4): 183-196 (2001) - [c20]Yan Zhang, Vijay Varadharajan:
A Logic for Modeling the Dynamics of Beliefs in Cryptographic Protocols. ACSC 2001: 215-222 - [c19]Yan Zhang:
The Complexity of Logic Program Updates. Australian Joint Conference on Artificial Intelligence 2001: 631-642 - [c18]Yun Bai, Yan Zhang:
On the Computational Aspect of Rule Based Database Updates. IEA/AIE 2001: 71-81 - [c17]Norman Y. Foo, Dongmo Zhang, Yan Zhang, Samir Chopra, Quoc Bao Vo:
Encoding Solutions of the Frame Problem in Dynamic Logic. LPNMR 2001: 240-253 - [p1]Hongxue Wang, Vijay Varadharajan, Yan Zhang:
A New Approach to Reasoning About Accountability in Cryptographic Protocols for E-Commerce. E-Commerce Security and Privacy 2001: 113-131 - 2000
- [j4]Yan Zhang, Norman Y. Foo:
Updates with Disjunctive Information: From Syntactical and Semantical Perspectives. Comput. Intell. 16(1): 29-52 (2000) - [c16]Hongxue Wang, Vijay Varadharajan, Yan Zhang:
Towards a Generic Logic for Analysing Network Protocols. ICDCS Workshop on Internet 2000: A19-A26 - [c15]Sai Kiran Lakkaraju, Yan Zhang:
Rule Based Abduction. ISMIS 2000: 525-533
1990 – 1999
- 1999
- [j3]Yan Zhang:
Specifying Causality in Action Theories: A Default Logic Approach. Theor. Comput. Sci. 220(2): 489-513 (1999) - [c14]Yan Zhang:
Monotonicity in Rule Based Update. ICLP 1999: 471-485 - [c13]Yan Zhang:
On logical semantics of hybrid symbolic-neural networks for commonsense reasoning. IJCNN 1999: 502-505 - 1998
- [c12]Yan Zhang:
Representing Defeasible Constraints and Observations in Action Theories. Australian Joint Conference on Artificial Intelligence 1998: 309-320 - [c11]Yan Zhang, Norman Y. Foo:
Updating Logic Programs. ECAI 1998: 403-407 - [c10]Hongxue Wang, Vijay Varadharajan, Yan Zhang:
A Secure Communication Scheme for Multiagent Systems. PRIMA 1998: 174-185 - 1997
- [j2]Yan Zhang, Norman Y. Foo:
Deriving Invariants and Constraints from Action Theories. Fundam. Informaticae 30(1): 109-123 (1997) - [c9]Norman Y. Foo, Pavlos Peppas, Yan Zhang:
Inductive Properties of States. Australian Joint Conference on Artificial Intelligence 1997: 227-235 - [c8]Yan Zhang:
Disjunctive Update, Minimal Change, and Default Reasoning. ECSQARU-FAPR 1997: 600-613 - [c7]Yan Zhang, Norman Y. Foo:
Towards Generalized Rule-based Updates. IJCAI (1) 1997: 82-88 - [c6]Norman Y. Foo, Abhaya C. Nayak, Maurice Pagnucco, Pavlos Peppas, Yan Zhang:
Action Localness, Genericity and Invariants in STRIPS. IJCAI (1) 1997: 549-554 - [c5]Yan Zhang:
Constraints, Causal Rules and Minimal Change in Model-based Update. ISMIS 1997: 609-618 - [c4]Yan Zhang, Norman Y. Foo:
Answer Sets for Prioritized Logic Programs. ILPS 1997: 69-83 - 1996
- [c3]Yan Zhang, Norman Y. Foo:
Updating Knowledge Bases with Disjunctive Information. AAAI/IAAI, Vol. 1 1996: 562-568 - [c2]Yan Zhang:
Semantical Considerations for Knowledge Base Updates. ISMIS 1996: 88-97 - 1995
- [j1]Yan Zhang, Norman Y. Foo:
Applying the persistent set approach in temporal reasoning. Ann. Math. Artif. Intell. 14(1): 75-98 (1995) - 1993
- [c1]Yan Zhang, Norman Y. Foo:
Reasoning About Persistence: A Theory of Actions. IJCAI 1993: 718-723
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-18 00:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint