×
Compute Distance To:
Author ID: zhang.yan.4 Recent zbMATH articles by "Zhang, Yan"
Published as: Zhang, Yan; Zhang, Y.
Homepage: https://www.westernsydney.edu.au/staff_profiles/uws_profiles/professor_yan_zhang
External Links: dblp
all top 5

Co-Authors

8 single-authored
15 Zhou, Yi
5 Asuncion, Vernon
5 Foo, Norman Y.
4 Bai, Yun
4 Lin, Fangzhen
3 Chen, Yin
3 Ding, Yulin
3 Ruan, Chun
3 Varadharajan, Vijay
3 Wang, Xiaoqiang
3 Zhang, Heng
3 Zheng, Dabin
2 Chioncel, L.
2 Eisenbach, Markus
2 Tam, K.-M.
2 Terletska, H.
2 Zhang, Dongmo
1 Akbarzadeh, A. Hamid
1 Baral, Chitta R.
1 Both, Ambrus
1 Cai, Zihan
1 Chang, Alan Chin-Chen
1 Chen, Da
1 Chen, Hao
1 Chen, Jianwen
1 Chopra, Samir
1 Da, Liexiong
1 Dang, Hongtao
1 Deng, Weihua
1 Fu, Hongsun
1 Gao, Tianchen
1 Gerritsma, Marc I.
1 He, Peng
1 Huang, Mingjiang
1 Jain, Varun
1 Jeong, Young-Sik
1 Ji, Kaiyi
1 Jiang, Zhihong
1 Kim, Tai-hoon
1 Kong, Youyong
1 Li, Kai
1 Li, Ruixuan
1 Liao, Shaokai
1 Liu, Jiang
1 Liu, Xilin
1 Liu, Yan
1 Lockerby, Duncan A.
1 Lv, Danju
1 Lv, Xiaoling
1 Ma, Likun
1 Meng, Fangfang
1 Moilanen, Atte
1 Pagnucco, Maurice
1 Palha, Artur
1 Pan, Rui
1 Park, Jonghyuk
1 Policarpio, Sean
1 Qin, Cui
1 Sauveron, Damien
1 Senhadji, Lotfi
1 Shi, Jincheng
1 Shu, Huazhong
1 Song, Jianhua
1 Sprittles, James E.
1 Vasilakos, Thanos
1 Vidhyadhiraja, N. S.
1 Vo, Bao Quoc
1 Wan, Hai
1 Wang, Cong
1 Wang, Hu
1 Wang, Kewen
1 Wang, Le
1 Wang, Liming
1 Wang, Shujing
1 Wang, Siyu
1 Wang, Xingang
1 Wang, XingXing
1 Wang, Yeshuai
1 Wang, Yisong
1 Wu, Cheng-Min
1 Wu, Fuzhi
1 Wu, Jiasong
1 Xu, Haifeng
1 Xu, Xiang
1 Yang, Jianye
1 Yang, Laurence Tianruo
1 Yang, Qihan
1 Yang, Xue
1 Yang, Yuehan
1 Yao, Mingfa
1 You, Jia-Huai
1 Yu, Huilong
1 Yuan, Shujuan
1 Zavlanos, Michael M.
1 Zeng, Chunna
1 Zhang, Minglu
1 Zhang, Mingyi
1 Zhang, Xiao
1 Zhao, Qing
1 Zhu, Jun
...and 1 more Co-Authors
all top 5

Serials

6 Artificial Intelligence
6 The Journal of Artificial Intelligence Research (JAIR)
3 Theory and Practice of Logic Programming
3 ACM Transactions on Computational Logic
2 Annals of Physics
2 Annals of Mathematics and Artificial Intelligence
1 Acta Mechanica
1 Computers & Mathematics with Applications
1 Discrete Mathematics
1 International Journal for Numerical Methods in Fluids
1 Inverse Problems
1 Journal of Fluid Mechanics
1 Automatica
1 Information Sciences
1 Journal of Philosophical Logic
1 Studia Logica
1 Theoretical Computer Science
1 Annales Societatis Mathematicae Polonae. Series IV
1 Mathematics in Practice and Theory
1 Journal of Systems Science and Mathematical Sciences
1 Journal of Scientific Computing
1 AI Communications
1 Journal of Logic and Computation
1 Journal of Natural Science of Heilongjiang University
1 Designs, Codes and Cryptography
1 Communications in Statistics. Theory and Methods
1 International Journal of Computer Mathematics
1 Statistical Papers
1 Complexity
1 Mathematical Problems in Engineering
1 Journal of Shanghai University. Natural Science
1 Journal of Nanjing Normal University. Natural Science Edition
1 Journal of Inequalities and Applications
1 Combustion Theory and Modelling
1 Journal of Nonlinear and Convex Analysis
1 Acta Mathematica Scientia. Series A. (Chinese Edition)
1 Journal of Jilin University. Science Edition
1 Journal of Hubei University. Natural Science Edition
1 International Journal of Wavelets, Multiresolution and Information Processing
1 Journal of Hefei University of Technology. Natural Science
1 Mathematical Biosciences and Engineering
1 Pacific Journal of Optimization
1 Communications in Computer and Information Science
1 Statistics and Its Interface
1 Advances in Applied Mathematics and Mechanics
1 Cryptography and Communications
1 AIMS Mathematics

Publications by Year

Citations contained in zbMATH Open

25 Publications have been cited 95 times in 72 Documents Cited by Year
Knowledge forgetting: properties and applications. Zbl 1187.03015
Zhang, Yan; Zhou, Yi
9
2009
Nested epistemic logic programs. Zbl 1152.68418
Wang, Kewen; Zhang, Yan
8
2005
Logic program-based updates. Zbl 1367.68045
Zhang, Yan
8
2006
Knowledge updates: Semantics and complexity issues. Zbl 1132.68720
Baral, Chitta; Zhang, Yan
7
2005
Knowledge forgetting in answer set programming. Zbl 1442.68228
Wang, Yisong; Zhang, Yan; Zhou, Yi; Zhang, Mingyi
7
2014
Ordered completion for first-order logic programs on finite structures. Zbl 1244.68072
Asuncion, Vernon; Lin, Fangzhen; Zhang, Yan; Zhou, Yi
6
2012
Inter-definability of Horn contraction and Horn revision. Zbl 1417.03145
Zhuang, Zhiqiang; Pagnucco, Maurice; Zhang, Yan
6
2017
Variable forgetting in reasoning about knowledge. Zbl 1192.68677
Su, K.; Sattar, A.; Lv, G.; Zhang, Y.
4
2009
Loop-separable programs and their first-order definability. Zbl 1223.68027
Chen, Yin; Lin, Fangzhen; Zhang, Yan; Zhou, Yi
4
2011
Answer sets for prioritized logic programs. Zbl 0944.68017
Zhang, Yan; Foo, Norman Y.
4
1997
Ordered completion for logic programs with aggregates. Zbl 1343.68043
Asuncion, Vernon; Chen, Yin; Zhang, Yan; Zhou, Yi
4
2015
Construction and application of algebraic dual polynomial representations for finite element methods on quadrilateral and hexahedral meshes. Zbl 07362357
Jain, V.; Zhang, Y.; Palha, A.; Gerritsma, M.
4
2021
An ordinal bargaining solution with fixed-point property. Zbl 1165.91390
Zhang, Dongmo; Zhang, Yan
4
2008
dl2asp: implementing default logic via answer set programming. Zbl 1306.68188
Chen, Yin; Wan, Hai; Zhang, Yan; Zhou, Yi
3
2010
An immersed boundary method for simulation of inviscid compressible flows. Zbl 1455.65187
Zhang, Y.; Zhou, C. H.
3
2014
CTL model update for system modifications. Zbl 1183.68385
Zhang, Y.; Ding, Y.
3
2008
Disjunctive logic programs with existential quantification in rule heads. Zbl 1314.68100
You, Jia-Huai; Zhang, Heng; Zhang, Yan
2
2013
Two results for prioritized logic programming. Zbl 1111.68387
Zhang, Yan
2
2003
General default logic. Zbl 1149.68427
Zhou, Yi; Lin, Fangzhen; Zhang, Yan
1
2007
Implementing prioritized logic programming. Zbl 1007.68027
Zhang, Yan; Wu, Cheng-Min; Bai, Yun
1
2001
Encoding solutions of the frame problem in dynamic logic. Zbl 1010.03022
Foo, Norman; Zhang, Dongmo; Zhang, Yan; Chopra, Samir; Vo, Bao Quoc
1
2001
Deriving invariants and constraints from action theories. Zbl 0882.68139
Zhang, Yan; Foo, Norman Y.
1
1997
A logical study of partial entailment. Zbl 1210.68108
Zhou, Yi; Zhang, Y.
1
2011
Handling defeasibilities in action domains. Zbl 1066.68124
Zhang, Yan
1
2003
Simultaneous inversion of the potential term and the fractional orders in a multi-term time-fractional diffusion equation. Zbl 1462.35469
Sun, L. L.; Li, Y. S.; Zhang, Y.
1
2021
Construction and application of algebraic dual polynomial representations for finite element methods on quadrilateral and hexahedral meshes. Zbl 07362357
Jain, V.; Zhang, Y.; Palha, A.; Gerritsma, M.
4
2021
Simultaneous inversion of the potential term and the fractional orders in a multi-term time-fractional diffusion equation. Zbl 1462.35469
Sun, L. L.; Li, Y. S.; Zhang, Y.
1
2021
Inter-definability of Horn contraction and Horn revision. Zbl 1417.03145
Zhuang, Zhiqiang; Pagnucco, Maurice; Zhang, Yan
6
2017
Ordered completion for logic programs with aggregates. Zbl 1343.68043
Asuncion, Vernon; Chen, Yin; Zhang, Yan; Zhou, Yi
4
2015
Knowledge forgetting in answer set programming. Zbl 1442.68228
Wang, Yisong; Zhang, Yan; Zhou, Yi; Zhang, Mingyi
7
2014
An immersed boundary method for simulation of inviscid compressible flows. Zbl 1455.65187
Zhang, Y.; Zhou, C. H.
3
2014
Disjunctive logic programs with existential quantification in rule heads. Zbl 1314.68100
You, Jia-Huai; Zhang, Heng; Zhang, Yan
2
2013
Ordered completion for first-order logic programs on finite structures. Zbl 1244.68072
Asuncion, Vernon; Lin, Fangzhen; Zhang, Yan; Zhou, Yi
6
2012
Loop-separable programs and their first-order definability. Zbl 1223.68027
Chen, Yin; Lin, Fangzhen; Zhang, Yan; Zhou, Yi
4
2011
A logical study of partial entailment. Zbl 1210.68108
Zhou, Yi; Zhang, Y.
1
2011
dl2asp: implementing default logic via answer set programming. Zbl 1306.68188
Chen, Yin; Wan, Hai; Zhang, Yan; Zhou, Yi
3
2010
Knowledge forgetting: properties and applications. Zbl 1187.03015
Zhang, Yan; Zhou, Yi
9
2009
Variable forgetting in reasoning about knowledge. Zbl 1192.68677
Su, K.; Sattar, A.; Lv, G.; Zhang, Y.
4
2009
An ordinal bargaining solution with fixed-point property. Zbl 1165.91390
Zhang, Dongmo; Zhang, Yan
4
2008
CTL model update for system modifications. Zbl 1183.68385
Zhang, Y.; Ding, Y.
3
2008
General default logic. Zbl 1149.68427
Zhou, Yi; Lin, Fangzhen; Zhang, Yan
1
2007
Logic program-based updates. Zbl 1367.68045
Zhang, Yan
8
2006
Nested epistemic logic programs. Zbl 1152.68418
Wang, Kewen; Zhang, Yan
8
2005
Knowledge updates: Semantics and complexity issues. Zbl 1132.68720
Baral, Chitta; Zhang, Yan
7
2005
Two results for prioritized logic programming. Zbl 1111.68387
Zhang, Yan
2
2003
Handling defeasibilities in action domains. Zbl 1066.68124
Zhang, Yan
1
2003
Implementing prioritized logic programming. Zbl 1007.68027
Zhang, Yan; Wu, Cheng-Min; Bai, Yun
1
2001
Encoding solutions of the frame problem in dynamic logic. Zbl 1010.03022
Foo, Norman; Zhang, Dongmo; Zhang, Yan; Chopra, Samir; Vo, Bao Quoc
1
2001
Answer sets for prioritized logic programs. Zbl 0944.68017
Zhang, Yan; Foo, Norman Y.
4
1997
Deriving invariants and constraints from action theories. Zbl 0882.68139
Zhang, Yan; Foo, Norman Y.
1
1997
all top 5

Cited by 126 Authors

9 Leite, João
8 Zhang, Yan
6 Gonçalves, Ricardo
6 Knorr, Matthias
6 Zhou, Yi
5 Eiter, Thomas
5 Woltran, Stefan
3 Asuncion, Vernon
3 Faber, Wolfgang
3 Fandinno, Jorge
3 Fariñas del Cerro, Luis
3 Lin, Fangzhen
3 Shen, Yidong
3 Slota, Martin
3 van Ditmarsch, Hans Pieter
2 Aranda-Corral, Gonzalo A.
2 Borrego-Díaz, Joaquín
2 Britz, Katarina
2 Cabalar, Pedro
2 Creignou, Nadia
2 Delgrande, James P.
2 Fink, Michael
2 Herzig, Andreas
2 Inoue, Katsumi
2 Morak, Michael
2 Papini, Odile
2 Rümmele, Stefan
2 Varzinczak, Ivan Jóse
2 Wang, Kewen
2 Zhang, Dongmo
1 Alonso-Jiménez, José Antonio
1 Alviano, Mario
1 Amendola, Giovanni
1 Bartholomew, Michael
1 Berthold, Matti
1 Bogaerts, Bart
1 Botoeva, Elena
1 Carrillo, Miguel
1 Chen, Wu
1 Chen, Yin
1 Christiansen, Henning
1 Davidović, Tatjana
1 Dégremont, Cédric
1 Dodaro, Carmine
1 Erdem, Esra
1 Fang, Liangda
1 Fernández-Lebrón, M. Magdalena
1 Fodor, Paul
1 Foob, Norman Y.
1 Gabaldon, Alfredo
1 Gaines, Brian R.
1 Galán-Páez, Juan
1 Ghosh, Sujata
1 Giordano, Laura
1 Grant, John R.
1 Grosof, Benjamin N.
1 Guerra, Paulo T.
1 Haret, Adrian
1 Harrison, Amelia
1 Heidema, Johannes
1 Heyninck, Jesse
1 Ikodinović, Nebojša
1 Janhunen, Tomi
1 Ji, Jianmin
1 José Hidalgo-Doblado, M.
1 Kifer, Michael
1 Konczak, Kathrin
1 Konev, Boris
1 Konieczny, Sébastien
1 Koubarakis, Manolis
1 Kraus, Sarit
1 Ktari, Raida
1 Kurzen, Lena
1 Lang, Jérôme
1 Lee, Joohyung
1 Liang, Senlin
1 Lierler, Yuliya
1 Liu, Yongmei
1 Lutz, Carsten
1 Marquis, Pierre
1 Meyer, Thomas Andreas
1 Naumov, Pavel G.
1 Nguyen, Van- Duc
1 Nikolaou, Charalampos
1 Ognjanović, Zoran
1 Pagnucco, Maurice
1 Peñaloza, Rafael
1 Peppas, Pavlos
1 Perlis, Donald R.
1 Pino Pérez, Ramón
1 Ricca, Francesco
1 Rosenblueth, David A.
1 Ryzhikov, Vladislav
1 Sakama, Chiaki
1 Schaub, Torsten H.
1 Schüller, Peter
1 Schwind, Camilla B.
1 Schwind, Nicolas
1 Senko, Ján
1 Smets, Sonja J. L.
...and 26 more Authors

Citations by Year