Last Activity

Id VisitTime IPAddress Area
24741842 2018-06-23 美国
24741838 2018-06-23 美国
24741829 2018-06-23 美国
24740972 2018-06-23 美国
24739111 2018-06-23 北京市
24738224 2018-06-23 北京市
24737533 2018-06-23 亚太地区
24737471 2018-06-23 北京市
24734183 2018-06-23 英国
24729665 2018-06-22 荷兰
24728245 2018-06-22 亚太地区
24725580 2018-06-22 美国
24722554 2018-06-22 亚太地区
24713563 2018-06-22 俄罗斯
24711064 2018-06-22 北京市


Journal papers

  1. Thomas Agotnes, Beishui Liao, Yi N. Wang. EDITORIAL: Logic and Argumentation, Journal of Applied Non-Classical Logics, 2018.

  2. Pietro Baroni, Massimiliano Giacomin, and *Beishui Liao. A general semi-structured formalism for computational argumentation: definition, properties, and examples of application. Artificial Intelligence (2018),

  3. Celia Da Costa Pereira, Beishui Liao, Alessandra Malerba, Antonino Rotolo, Andrea Tettamanzi, Leendert van der Torre, Serena Villata. Handling Norms in Multi-Agent Systmes by Means of Formal Argumentation. The IfColog Journal of Logics and their Applications, Volume 4, Issue 9, 2029-3074, 2017.

  4. Beishui Liao, Nir Oren, Leendert van der Torre, Serena Villata. Prioritized Norms in Formal Argumentation, Journal of Logic and Computation, DOI: 10.1093/logcom/exy009 (PDF at arXiv)

  5. Beishui Liao, Kang Xu, Huaxin Huang. Formulating Semantics of Probabilistic Argumentation by Characterizing Subgraphs: Theory and Empirical Results, Journal of Logic and Computation,Volume 28, Issue 2, 6 March 2018, Pages 305–335.

  6. 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.

  7. Dov M.Gabbay, Massimiliano Giacomin, Beishui Liao, Leendert van der Torre. Present and Future of Formal Argumentation. Dagstuhl Reports, Volume 5, Issue 8, 2016.

  8. 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.

  9. Beishui Liao. Book review: Christina Schwabenland, Metaphor and Dialectic in Managing Diversity, Discourse & Society, March 2014 25: 293-294.

  10. Beishui Liao. Book review: Jonathan Ginzburg, The Interactive Stance: Meaning for Conversation. Discourse Studies, April 2014 16: 320-322.

  11. Beishui Liao. Toward Incremental Computation of Argumentation Semantics: A Decomposition-based Approach. Annals of Mathematics and Artificial Intelligence, 67(2013): 319-358.

  12. Beishui Liao, Huaxin Huang. Partial Semantics of Argumentation: Basic Properties and Empirical Results. Journal of Logic and Computation (2013) 23(3): 541-562.

  13. 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.

  14. Beishui Liao, Li Jin, Robert C. Koons. Dynamics of Argumentation Systems: A Division-Based Method. Artificial Intelligence, 175 (2011) 1790-1814.

  15. Beishui Liao, Huaxin Huang. ANGLE: An Autonomous, Normative and Guidable Agent with Changing Knowledge. Information Sciences, 2010, 180(17): 3117-3139.

  16. Huaxin Huang, Teng Ying, Beishui Liao. The Analysis of Structured Argumentation System, Studies in Dialectics of Nature, 2015, 31(9): 3-9.

  17. Beishui Liao, Huaxin Huang. Problems of Inconsitency and Argumentation Logic . Academic Monthly, 2013, 45(6): 64-69. (in Chinese with English Abstract)

  18. Beishui Liao. Dynamics of Argumentation Systems and Its Research Development. Journal of Software, 2012, 23(11): 2871-2884. (in Chinese with English Abstract)

  19. 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)

  20. 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)

  21. 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)

  22. 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)

  23. 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)

  24. 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)

  25. 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)

  26. 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)

  27. 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)

Conference / workshop papers

  1. Kuang Xu, Beishui Liao. Kang Xu and Beishui Liao. Updating argumentation frameworks for enforcing extensions, the second Chinese Conference on Logic and Argumentation (CLAR2018), 16-17 June, 2018, Hangzhou, China.

  2. Beishhui Liao, Leendert van der Torre. Three discussions from formal argumentation. To be presented at the 9th Conference of the International Society for the Study of Argumentation (ISSA), the University of Amsterdam from 3-6 July, 2018.

  3. 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

  4. 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.

  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).

  6. 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.

  7. 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.

  8. Beishui Liao, Nir Oren, Leon van der Torre, Serena Villata. Prioritised Norms in Formal Argumentation, the 27TH BENELUX CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2015.

  9. 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.

  10. Qianle Guo, Beishui Liao. ZJU-ARG: A Decomposition-Based Solver for Abstract Argumentation, the International Competition on Computational Models of Argumentation (ICCMA), 2015.

  11. 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.

  12. 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.

  13. 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.

  14. 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.

  15. 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.

  16. Beishui Liao, Huaxin Huang. Computing the Extensions of an Argumentation Framework Based on its Strongly Connected Components. In: Proceedings of ICTAI, 2012, Athens, Greece.

  17. 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. 

  18. Beishui Liao, Huaxin Huang. Partial Semantics of Argumentation, Lecture Notes in Artificial Intelligence, 2011, Volume 6953, Logic, Rationality, and Interaction, Pages 151-164.

  19. 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)

  20. 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.

  21. Beishui 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)

  22. Beishui 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).

  23. 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)

  24. 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)

  25. 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)

  26. 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)

  27. 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)

  28. Beishui Liao, Ji Gao, et al. A Federated Multi-agent System: Autonomic Control of Web Services.In: Proc. of ICMLC2004, 2004. (EI: 04458446384)

  29. 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)


  1. Pietro Baroni, Massimiliano Giacomin, and Beishui Liao. Locality and Modularity in Abstract Argumentation, in Handbook of Formal Argumentation, 2018.

  2. 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