Last Activity

Id VisitTime IPAddress Area
17315343 2017-11-23 美国
17306724 2017-11-23 北京市
17297667 2017-11-23 辽宁省沈阳市
17294670 2017-11-23 北京市
17293563 2017-11-23 美国
17289121 2017-11-23 欧洲和中东地区
17286321 2017-11-22 北京市
17274410 2017-11-22 亚太地区
17258936 2017-11-22 俄罗斯
17258923 2017-11-22 俄罗斯
17255227 2017-11-22 北京市
17246410 2017-11-21 贵州省贵阳市
17231865 2017-11-21 美国
17231139 2017-11-21 美国
17229705 2017-11-21 重庆市



  1. Beishui Liao, Nir Oren, Leendert van der Torre, Serena Villata. Prioritized Norms in Formal Argumentation, Journal of Logic and Computation, to appear (PDF at arXiv)
  2. Pietro Baroni, Massimiliano Giacomin, and Beishui Liao. Dealing with Unknowability in Formal Argumentation, 1st Workshop on Advances In Argumentation In Artificial Intelligence, 2017, Bari, Italy
  3. Antonino Rotolo, Celia Da Costa Pereira, Beishui Liao, Alessandra Malerba, Andrea Tettamanzi, Leendert van der Torre. Combining Fuzzy Logic and Formal Argumentation for Legal Interpretation. In: Proceedings of The 16th International Conference on Artificial Intelligence and Law, London, UK -  June 12 - 16, 2017.
  4. Thomas Ågotnes, Beishui Liao,  Yì N. Wáng(eds.): Proceedings of the first Chinese Conference on Logic and Argumentation (CLAR 2016), Hangzhou, China, 2-3 April 2016, published at 
  5. Beishui Liao, Leendert van der Torre. Defense semantics of argumentation: encoding reasons for accepting arguments, 30 April 2017,; in Proceedings of MIREL 2017 - Workshop on `MIning and REasoning with Legal texts' - June 16th, 2017 - London (UK).


  1. Beishui Liao, Nir Oren, Leendert van der Torre, Serena Villata. Prioritized Norms and Defaults in Formal Argumentation, In Proceedings of the 13th International Conference on Deontic Logic and Normative Systems (DEON2016), 2016, pp 139-154.
  2. Beishui Liao, Kang Xu, Huaxin Huang. Formulating Semantics of Probabilistic Argumentation by Characterizing Subgraphs: Theory and Empirical Results, Journal of Logic and Computation, DOI: 10.1093/logcom/exx035, 2017.
  3. Xin Sun, Beishui Liao. Probabilistic Argumentation, a Small Step for Uncertainty, a Giant Step for Complexity. In: M. Rovatsos et al. (Eds.): EUMAS 2015/AT 2015, LNAI 9571, pp. 279–286, 2016.
  4. Dov M.Gabbay, Massimiliano Giacomin, Beishui Liao, Leendert van der Torre. Present and Future of Formal Argumentation. Dagstuhl Reports, Volume 5, Issue 8, 2016.


  1. Huaxin Huang, Teng Ying, Beishui Liao. The Analysis of Structured Argumentation System, Studies in Dialectics of Nature, 2015, 31(9): 3-9.
  2. Beishui Liao, Nir Oren, Leon van der Torre, Serena Villata. Prioritised Norms in Formal Argumentation,  the 27TH BENELUX CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2015.
  3. Pietro Baroni, Massimiliano Giacomin, Beishui Liao. Uncertainty and fuzziness from natural language to argumentation models, to appear in the Proceedings of the European Conference on Argumentation (ECA) - Thematic Panel, Lisbon, Portugal, 2015.
  4. Yi Mao, Beihai Zhou, Beishui Liao. Going forth and drawing back: An intensional approach in nonmonotonic inference, IfCoLog Journal of Logics and their Applications, 2015, 2(2): 127-174.
  5. Qianle Guo, Beishui Liao. ZJU-ARG: A Decomposition-Based Solver for Abstract Argumentation, the International Competition on Computational Models of Argumentation (ICCMA), 2015.
  6. Beishui Liao, Huaxin Huang. Formulating Semantics of Probabilistic Argumentation By Characterizing Subgraphs, W. van der Hoek et al (Eds.): LORI 2015, LNCS 9394, pp. 243-254, 2015.
  7. Pietro Baroni, Massimiliano Giacomin, Beishui Liao. Dealing with Generic Contrariness in Structured Argumentation, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015, pp 2727-2733.
  8. Pietro Baroni, Massimiliano Giacomin, Beishui Liao. I don’t care, I don’t know . . . I know too much! On incompleteness and undecidedness in abstract argumentation. In Eiter, Th., Strass, H., Truszczyński, M., Woltran, S. (Eds.) Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday), Lecture Notes in Computer Science, Vol. 9060, pp. 265-280, 2015.


  1. Pietro Baroni, Massimiliano Giacomin, Beishui Liao* and Leon van der Torre. Encompassing uncertainty in argumentation schemes. Proceedings of the workshop on Frontiers and Connections between Argumentation Theory and Natural Language Processing, 2014.
  2. Pietro Baroni, Massimiliano Giacomin, Beishui Liao. On topology-related properties of abstract argumentation semantics. A correction and extension to Dynamics of argumentation systems: A division-based method. Artificial Intelligence, 212 (2014) 104-115,
  3. Beishui Liao. Efficient Computation of Argumentation Semantics (monograph), Elsevier, 2014.
  4. Beishui Liao, Jan Sefranek. Layered Argumentation Frameworks with Subargument Relation and Its Dynamics. Submitted to Annals of Mathematics and Artificial Intelligence.
  5. Beishui Liao. Book review: Christina Schwabenland, Metaphor and Dialectic in Managing Diversity, Discourse & Society, March 2014 25: 293-294, doi:10.1177/0957926513500395a.
  6. Beishui Liao. Book review: Jonathan Ginzburg, The Interactive Stance: Meaning for Conversation. Discourse Studies, April 2014 16: 320-322, doi:10.1177/1461445613518868f.


  1. Beishui Liao. Layered Argumentation Frameworks with Subargument Relation. In: E. Ferme, D. Gabbay, G.R. Simari (eds.) Trends in Belief Revision and Argumentation Dynamics, College Publications, 2013. Front matter of the book
  2. Beishui Liao, Liyun Lei, Jianhua Dai. Computing Preferred Labellings By Exploiting SCCs and Most Sceptically Rejected Arguments. In: Proceedings of TAFA'13@IJCAI2013, Lecture Notes in Computer Science Volume 8306, 2014, pp 194-208.
  3. Beishui Liao. Toward Incremental Computation of Argumentation Semantics: A Decomposition-based Approach. Annals of Mathematics and Artificial Intelligence, 67(2013): 319-358.
  4. Beishui Liao, Huaxin Huang. Problems of Inconsitency and Argumentation Logic . Academic Monthly, 2013, 45(6): 64-69. (in Chinese with English Abstract)
  5. Beishui Liao, Huaxin Huang. Partial Semantics of Argumentation: Basic Properties and Empirical Results. Journal of Logic and Computation (2013) 23(3): 541-562.
  6. Xiaoxi Huang, Huaxin Huang, Beishui Liao, Cihua Xu. An ontology-based approach to metaphor cognitive computation. Minds and Machines, 23(1), pp. 105-121, 2013.


  1. Beishui Liao. Dynamics of Argumentation Systems and Its Research Development. Journal of Software, 2012, 23(11): 2871-2884. (in Chinese with English Abstract)
  2. Beishui Liao, Jianhua Dai. Argumentation-Based Non-monotonic Reasoning of Agents. Pattern Recognition and Artificial Intelligence, 2012, 25(4): 632-641. (in Chinese with English Abstract)
  3. Beishui Liao. Argumentation Systems:Reasoning in a Context of Disagreement (monograph). Zhejiang University Press, 2012. (in Chinese)
  4. Beishui Liao, Huaxin Huang. Computing the Extensions of an Argumentation Framework Based on its Strongly Connected Components. In: Proceedings of ICTAI, 2012, Athens, Greece.
  5. Beishui Liao. Dynamics of Argumentation Frameworks with Subargument Relations. Presented at the Workshop on the Dynamics of Argumentation, Rules and Contionals (DARC 2012), University of Luxembourg, April 2-3, 2012.


  1. Beishui Liao, Li Jin, Robert C. Koons. Dynamics of Argumentation Systems: A Division-Based Method. Artificial Intelligence, 175 (2011) 1790-1814.
  2. Beishui Liao, Huaxin Huang. Partial Semantics of Argumentation, Lecture Notes in Artificial Intelligence, 2011, Volume 6953, Logic, Rationality, and Interaction, Pages 151-164.
  3. Beishui Liao, Huaxin Huang. ANGLE: An Autonomous, Normative and Guidable Agent with Changing Knowledge. Information Sciences, 2010, 180(17): 3117-3139.
  4. Beishui Liao, Li Jin, Robert Koons. Dynamics of Argumentation Systems: A Basic Theory, 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning , Yogyakarta, Indonesia, October 10th - 15th, 2010. (short paper)
  5. Beishui Liao, Huaxin Huang. An Argumentation-Based Flexible Agent with Dynamic Rules of Inference. In: Proceedings of the 21st International Conference on Tools with Artificial Intelligence November 2-5, 2009, Newark (NYC Metropolitan Area), New Jersey, USA.
  6. Beishui Liao, Shijian Li , Yuan Yao, Ji Gao. Conceptual model and realization methods of autonomic computing. Journal of Software, 2008, 19(4): 779-802. (EI: 082011256987)
  7. Beishui Liao, Huaxin Huang, Ji Gao. A Defeasible Logic-Based Flexible Agent for Autonomic Computing. Journal of Software, 2008,19(3): 605-620. (EI: 06119760985)
  8. Beishui Liao, Ji Gao. Dynamic Self-Organizing System Supported by PDC-Agents. Journal of Computer-aided Design & Computer Graphics, 2006,18(02):217-224. (EI: 06119760985)
  9. Bei-shui Liao, Hua-xin Huang, Ji Gao.An Extended BDI Agent with Policies and Contracts [A].In Proc. Of PRIMA 2006, LNAI 4088[C].Berlin Herdelberg: Springer Verlag, 2006, 94–104. (SCI:BEV65; EI:063210058183)
  10. Bei-shui Liao, Ji Gao.A Model of Multi-agent System Based on Policies and Contracts [A]. In: Proc. Of CEEMAS’05, LNAI 3690 [C]. Berlin Herdelberg: Springer Verlag, 2005, 62-71. (SCI:BDF73:EI:06189858777).
  11. Chang-yun Li, Bei-shui Liao, Li-jun Liao. Composition of Web Services using Ontology with Monotonic Inheritance (extended version). International Journal of Information Technology, World Scientific Publishing Co, 2006,12(4):1-10.
  12. Yanbin Peng, Beishui Liao (Corresponding Author), Ji Gao, et al. NPCD-Agent: extended agent mental state model. Journal of Zhejiang University Engineering Science, 2008, 42(5): 768-773. (in Chinese with English Abstract)
  13. Shijian Li, Beishui Liao (Corresponding Author), Jian Wu. Sensor Network Designing, Implementing and Optimal Deploying for Target Tracking. Chinese Journal of Sensors and Actuators, 2007, 20(12): 2622-2630. (in Chinese with English Abstract)
  14. Jiujun Chen, Ji Gao, Jun Hu, Beishui Liao. Web User Profiling Based on Non-violative Model. Journal of Computer-aided Design & Computer Graphics, 2005, 17(4): 867-871. (EI: 05199093542) (in Chinese with English Abstract)
  15. Beishui Liao. A New System of Management Technology for Autonomic Computing. Journal of Hunan University of Technology, 2008, 22(1): 31-34. (in Chinese with English Abstract)
  16. Beishui Liao, Li Jin, Ji Gao. PDC-Agent Enabled Autonomic Computing: A Theory of Autonomous Service Composition. In Proc. of PRIMA 2006 . LNAI 4088, Springer Verlag, 2006: 596–601, 2006. (SCI: BEV65; EI: 063210058236)
  17. Beishui Liao, Ji Gao.An Automatic Policy Refinement Mechanism for Policy-driven Grid Service Systems. In: Proc. Of GCC2005 LNCS 3795.Berlin Herdelberg: Springer Verlag, 2005, 166-171.(SCI: BDQ17; EI: 06229908877)
  18. Beishui Liao, Ji Gao,Jun Hu,Jiujun Chen. Ontology-Based Conceptual Modeling of Policy-Driven Control Framework: Oriented to Multi-Agent System for Web Services Management . In: Proc. Of AWCC2004 LNCS 3309 . Berlin Herdelberg: Springer Verlag, 2004, 346-356. (SCI: BBJ44)
  19. Beishui Liao, Ji Gao,Jun Hu,Jiujun Chen. A Model of Agent-Enabling Autonomic Grid Service System.In: Proc. of GCC2004 LNCS 3251 .Berlin Herdelberg: Springer Verlag, 2004, 839-842. (SCI: BBE85)
  20. Beishui Liao, Ji Gao, et al. A Policy-Driven Multi-Agent System for OGSA-Compliant Grid Control .In: Proc. of SMC2004, 2004), pp. 5525-5530.. (EI:05149024642)
  21. Beishui Liao, Ji Gao, et al. A Federated Multi-agent System: Autonomic Control of Web Services.In: Proc. of ICMLC2004, 2004. (EI: 04458446384)
  22. Yunliang Jiang, Beishui Liao,Yong Liu,Jun Hu: An Agent-Enabled Content-Explicit Authorization Model for OGSA-Compliant Grid . In: Proc. of AWCC2004 LNCS 3309 . Berlin Herdelberg: Springer Verlag, 2004, 12-17. (SCI: BBJ44)
  23. Beishui Liao, Chaotu Sun. Pumping Station Computer Monitoring Information Query System Based on ASP . Journal of China Rural Water and Hydropower, 2003, 4: 46~47. (in Chinese with English Abstract)