Close
浙大通行证登录

性别:
职称:
单位:
行政职务:学历:
毕业院校:毕业时间:
MSN:QQ:
手机号码:办公电话:
Email:
通信地址:
邮编:

Last Activity

Id VisitTime IPAddress Area
20410438 2018-02-25 54.196.213.0 美国
20409993 2018-02-25 158.64.79.250 欧洲
20409757 2018-02-25 158.64.79.250 欧洲
20406879 2018-02-25 123.126.113.107 北京市
20400640 2018-02-25 183.36.114.134 广东省江门市
20396990 2018-02-25 203.208.60.177 北京市
20393395 2018-02-25 46.229.168.71 乌克兰
20393383 2018-02-25 46.229.168.71 乌克兰
20393381 2018-02-25 46.229.168.71 乌克兰
20391399 2018-02-25 106.120.173.72 亚太地区
20391393 2018-02-25 123.123.219.57 北京市
20391274 2018-02-25 216.55.137.173 美国
20391270 2018-02-25 144.76.176.72 欧洲
20391202 2018-02-25 213.180.203.26 俄罗斯
20389779 2018-02-25 117.64.236.3 安徽省合肥市

Publications

2018

  1. Pietro Baroni, Massimiliano Giacomin, and *Beishui Liao. A general semi-structured formalism for computational argumentation: definition, properties, and examples of application. Artificial Intelligence (2018), https://doi.org/10.1016/j.artint.2018.01.003.

  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. Locality and Modularity in Abstract Argumentation, in Handbook of Formal Argumentation, to appear.

2017

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

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

  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. Thomas Agotnes, 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 http://ceur-ws.org 

  6. Beishui Liao, Leendert van der Torre. Defense semantics of argumentation: encoding reasons for accepting arguments, 30 April 2017, https://arxiv.org/abs/1705.00303; in Proceedings of MIREL 2017 - Workshop on `MIning and REasoning with Legal texts' - June 16th, 2017 - London (UK).

2016

  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. http://arxiv.org/abs/1608.00302

  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. http://drops.dagstuhl.de/opus/volltexte/2016/5679/

2015

  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.

2014

  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, http://dx.doi.org/10.1016/j.artint.2014.03.003.

  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.

2013

  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.

2012

  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.

Earlier:

  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)