博鱼全站官网入口

  • 博鱼全站官网入口: gruop introduction

    • ZLAIRE

      ZLAIRE, the abbreviation of “Zhejiang University – University of Luxembourg Joint Lab on Advanced Intelligent Systems and REasoning”, is devoted to promote international collaborations in scientific research, teaching and outreach in Advanced Intelligent Systems and Reasoning, based on the collaborations of Zhejiang University (ZJU) and the University of Luxembourg (UNILUX) respectively. ZLAIRE was established in September 2021, as an interdisciplinary research institute granted by the Academy of Humanities and Social Sciences of Zhejiang University.

      The team of ZLAIRE is led by Prof. Beishui Liao at ZJU, and Prof. Leendert van der Torre at UNILUX, who is granted as Bao Yugang Chair Professor by ZJU in 2022. The research interests of the team include logical foundations and their applications in the fields of autonomous agent systems, explainable AI, ethical AI, and legal AI. The team of ZLAIRE is contributing to intensive collaborations with some of world first-class universities and institutions, such as Cambridge University, King's College London, Utrecht University, etc. 

      For a whole list of our members, see also the official website of ZLAIRE.

  • 博鱼全站官网入口: Team Members(photo)

    • Beishui Liao

      Beishui Liao is full professor of logic and computer science at Zhejiang University (since 2013), Qiushi Distinguished Professor (since 2019). He obtained his PhD degree from the College of Computer Science and Technology, Zhejiang University, in 2006. His main research interests are computational models of argumentation and their application in agents and multi-agent systems, explainable AI and ethical AI. He is now the director of the Institute of Logic and Cognition of Zhejiang University, co-director of ZLAIRE. He is the ‘AI Logic’ corner editor of Journal of Logic and Computation (with Prof. Leendert van der Torre), a steering committee member of DEON (since 2018), COMMA (since 2020) and AWPL (since 2020). He initiated the International Conference on Logic and Argumentation (CLAR) in 2015 (with Thomas ?gotnes and Yì N. Wáng). 




      Personal Websitehttps://person.zju.edu.cn/en/beishui

  • 博鱼全站官网入口: 2020s

    • 1.     廖备水. 论新一代人工智能与逻辑学的交叉研究. 中国社会科学, 2022.

      2.     Haixiao Chi, Beishui Liao. A Quantitative Argumentation-based Automated eXplainable Decision System for Fake News Detection on Social Media, Knowledge-Based Systems, 2022. 

      3.     Fenrong Liu, Beishui Liao. Reasoning in social setting. Journal of Logic and Computation, 2021. 

      4.     Haixiao Chi, Yiwei Lu, Beishui Liao, Liaosa Xu, Yaqi Liu. An Optimized Quantitative Argumentation Debate Model for Fraud Detection in E-commerce Transactions, IEEE Intelligent Systems, 2021.

      5.     Beishui Liao, Michael Anderson, Susan Leigh Anderson. Representation, Justification and Explanation in a Value Driven Agent: An Argumentation-Based Approach.  AI and Ethics, 2021.

      6.     Llio Humphreys, Guido Boella, Leendert van der Torre, Livio Robaldo, Luigi Di Caro, Sepideh Ghanavati, Robert Muthuri: Populating legal ontologies using semantic role labeling. Artificial Intelligence and Law, 2021.

      7.     Edmond Awad, Michael Anderson, Susan Leigh Anderson, Beishui Liao. An approach for combining ethical principles with public opinion to guide public policy, Artificial Intelligence, 2020.

      8.     Bruno Bentzen: Sense, reference, and computation. Perspectiva Filosofica, 2020.

      9.     Bruno Bentzen: What types should not be. Philosophia Mathematica, 2020.

      10.  Marc van Zee, Dragan Doder, Leon van der Torre, Mehdi Dastani, Thomas Icard, Eric Pacuit: Intention as commitment toward time. Artificial Intelligence, 2020.

      11.  Christoph Benzmüller, Xavier Parent, Leendert W. N. van der Torre: Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support. Artificial Intelligence,  2020.

  • 博鱼全站官网入口: 2010s

    • 1.     Beishui Liao, Nir Oren, Leendert van der Torre, Serena Villata. Prioritized Norms in Formal Argumentation, Journal of Logic and Computation, 2019.

      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.     Beishui Liao, Kang Xu, Huaxin Huang. Formulating Semantics of Probabilistic Argumentation by Characterizing Subgraphs: Theory and Empirical Results, Journal of Logic and Computation, 2018.

      4.     Mehdi Dastani, Leendert W. N. van der Torre, Neil Yorke-Smith. Commitments and interaction norms in organisations. Autonomous Agents and Multi-Agent Systems, 2017.

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

      6.     Beishui Liao. Efficient Computation of Argumentation Semantics (monograph), Elsevier, 2014.

      7.     Beishui Liao. Toward Incremental Computation of Argumentation Semantics: A Decomposition-based Approach. Annals of Mathematics and Artificial Intelligence, 2013.

      8.     Beishui Liao, Huaxin Huang. Partial Semantics of Argumentation: Basic Properties and Empirical Results. Journal of Logic and Computation, 2013.

      9.     Beishui Liao, Li Jin, Robert C. Koons. Dynamics of Argumentation Systems: A Division-Based Method. Artificial Intelligence, 2011. 

博鱼全站官网入口:Team Members

  • 博鱼全站官网入口: gruop introduction

    • ZLAIRE
      Email:

      ZLAIRE, the abbreviation of “Zhejiang University – University of Luxembourg Joint Lab on Advanced Intelligent Systems and REasoning”, is devoted to promote international collaborations in scientific research, teaching and outreach in Advanced Intelligent Systems and Reasoning, based on the collaborations of Zhejiang University (ZJU) and the University of Luxembourg (UNILUX) respectively. ZLAIRE was established in September 2021, as an interdisciplinary research institute granted by the Academy of Humanities and Social Sciences of Zhejiang University.

      The team of ZLAIRE is led by Prof. Beishui Liao at ZJU, and Prof. Leendert van der Torre at UNILUX, who is granted as Bao Yugang Chair Professor by ZJU in 2022. The research interests of the team include logical foundations and their applications in the fields of autonomous agent systems, explainable AI, ethical AI, and legal AI. The team of ZLAIRE is contributing to intensive collaborations with some of world first-class universities and institutions, such as Cambridge University, King's College London, Utrecht University, etc. 

      For a whole list of our members, see also the official website of ZLAIRE.

  • 博鱼全站官网入口: Team Members(photo)

    • Professor, co-director of ZLAIRE
      Beishui Liao
      Email:baiseliao@zju.edu.cn

      Beishui Liao is full professor of logic and computer science at Zhejiang University (since 2013), Qiushi Distinguished Professor (since 2019). He obtained his PhD degree from the College of Computer Science and Technology, Zhejiang University, in 2006. His main research interests are computational models of argumentation and their application in agents and multi-agent systems, explainable AI and ethical AI. He is now the director of the Institute of Logic and Cognition of Zhejiang University, co-director of ZLAIRE. He is the ‘AI Logic’ corner editor of Journal of Logic and Computation (with Prof. Leendert van der Torre), a steering committee member of DEON (since 2018), COMMA (since 2020) and AWPL (since 2020). He initiated the International Conference on Logic and Argumentation (CLAR) in 2015 (with Thomas ?gotnes and Yì N. Wáng). 




      Personal Websitehttps://person.zju.edu.cn/en/beishui

    • Professor, co-director of ZLAIRE
      Leendert van der Torre
      Email:leon.vandertorre@uni.lu

      He is full professor of Computer Science Department at the University of Luxembourg , president of IfColog (the international federation for computational logic), fellow of European Association for Artificial Intelligence and the founder of AI RoboLab. He obtained his PhD degree in computer science at the Erasmus University in 1997. He is guest professor of ZJU (2018-) and granted as Bao Yugang Chair Professor in 2022. He is a leader of moral logic and multi-agent system, having published more than 300 high-level academic papers, with the citations over 14,700 times (h-index = 57). In the past five years, he presided over six EU and Luxembourg NSFC projects, with a total funding over 5.45 million Euros. His research interests include deontic logic, logic in security and most recently cognitive robotics. He is an associated editor of Journal of Logic and Computation, Logic Journal of the IGPL and Journal of Applied Logic, and the chief editor of three handbooks, namely Deontic Logic, Normative Systems and Normative Multiagent Systems.


      Personal Website: https://icr.uni.lu/leonvandertorre/

    • Professor
      Huaxin Huang
      Email:RW211@zju.edu.cn

      Huang Huaxin, born in Cixi City, Zhejiang Province, is a professor of the School of Philosophy, the director of Faculty of Arts and Humanities,Zhejiang University, and the director of the Center for the Study of Language and Cognition (one of National Centers for Philosophy, and Social Science Innovation Bases). With research interests mainly in logic, language and cognition, he provides supervision for doctoral students in the following academic fields, including logic, linguistics and applied linguistics.  He also serves as the vice president of the Chinese Society of Logic, director of the Scientific Logic Professional Committee of the Chinese Society of Logic, member of Philosophy Education Steering Committee of the Ministry of Education, and the president of the Zhejiang Society of Logic.


      Personal Websitehttps://person.zju.edu.cn/en/rw211

    • Assistant Professor
      Bruno Bentzen
      Email:bbentzen@zju.edu.cn

      I am an Assistant Professor in the School of Philosophy at Zhejiang University appointed through the New Hundred Talents Program. Prior to joining Zhejiang University, I was a postdoctoral researcher in the Institute of Philosophy of the Czech Academy of Sciences and a postdoctoral researcher in the Department of Philosophy at Carnegie Mellon University. My main research interests are in the philosophy of logic and mathematics, with special focus on mathematical constructivism, intuitionism, and type theory.


      Personal Websitehttps://www.brunobentzen.com/

  • 博鱼全站官网入口: 2020s

    • Email:

      1.     廖备水. 论新一代人工智能与逻辑学的交叉研究. 中国社会科学, 2022.

      2.     Haixiao Chi, Beishui Liao. A Quantitative Argumentation-based Automated eXplainable Decision System for Fake News Detection on Social Media, Knowledge-Based Systems, 2022. 

      3.     Fenrong Liu, Beishui Liao. Reasoning in social setting. Journal of Logic and Computation, 2021. 

      4.     Haixiao Chi, Yiwei Lu, Beishui Liao, Liaosa Xu, Yaqi Liu. An Optimized Quantitative Argumentation Debate Model for Fraud Detection in E-commerce Transactions, IEEE Intelligent Systems, 2021.

      5.     Beishui Liao, Michael Anderson, Susan Leigh Anderson. Representation, Justification and Explanation in a Value Driven Agent: An Argumentation-Based Approach.  AI and Ethics, 2021.

      6.     Llio Humphreys, Guido Boella, Leendert van der Torre, Livio Robaldo, Luigi Di Caro, Sepideh Ghanavati, Robert Muthuri: Populating legal ontologies using semantic role labeling. Artificial Intelligence and Law, 2021.

      7.     Edmond Awad, Michael Anderson, Susan Leigh Anderson, Beishui Liao. An approach for combining ethical principles with public opinion to guide public policy, Artificial Intelligence, 2020.

      8.     Bruno Bentzen: Sense, reference, and computation. Perspectiva Filosofica, 2020.

      9.     Bruno Bentzen: What types should not be. Philosophia Mathematica, 2020.

      10.  Marc van Zee, Dragan Doder, Leon van der Torre, Mehdi Dastani, Thomas Icard, Eric Pacuit: Intention as commitment toward time. Artificial Intelligence, 2020.

      11.  Christoph Benzmüller, Xavier Parent, Leendert W. N. van der Torre: Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support. Artificial Intelligence,  2020.

  • 博鱼全站官网入口: 2010s

    • Email:

      1.     Beishui Liao, Nir Oren, Leendert van der Torre, Serena Villata. Prioritized Norms in Formal Argumentation, Journal of Logic and Computation, 2019.

      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.     Beishui Liao, Kang Xu, Huaxin Huang. Formulating Semantics of Probabilistic Argumentation by Characterizing Subgraphs: Theory and Empirical Results, Journal of Logic and Computation, 2018.

      4.     Mehdi Dastani, Leendert W. N. van der Torre, Neil Yorke-Smith. Commitments and interaction norms in organisations. Autonomous Agents and Multi-Agent Systems, 2017.

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

      6.     Beishui Liao. Efficient Computation of Argumentation Semantics (monograph), Elsevier, 2014.

      7.     Beishui Liao. Toward Incremental Computation of Argumentation Semantics: A Decomposition-based Approach. Annals of Mathematics and Artificial Intelligence, 2013.

      8.     Beishui Liao, Huaxin Huang. Partial Semantics of Argumentation: Basic Properties and Empirical Results. Journal of Logic and Computation, 2013.

      9.     Beishui Liao, Li Jin, Robert C. Koons. Dynamics of Argumentation Systems: A Division-Based Method. Artificial Intelligence, 2011. 

  • 博鱼全站官网入口: gruop introduction

    • ZLAIRE

      ZLAIRE, the abbreviation of “Zhejiang University – University of Luxembourg Joint Lab on Advanced Intelligent Systems and REasoning”, is devoted to promote international collaborations in scientific research, teaching and outreach in Advanced Intelligent Systems and Reasoning, based on the collaborations of Zhejiang University (ZJU) and the University of Luxembourg (UNILUX) respectively. ZLAIRE was established in September 2021, as an interdisciplinary research institute granted by the Academy of Humanities and Social Sciences of Zhejiang University.

      The team of ZLAIRE is led by Prof. Beishui Liao at ZJU, and Prof. Leendert van der Torre at UNILUX, who is granted as Bao Yugang Chair Professor by ZJU in 2022. The research interests of the team include logical foundations and their applications in the fields of autonomous agent systems, explainable AI, ethical AI, and legal AI. The team of ZLAIRE is contributing to intensive collaborations with some of world first-class universities and institutions, such as Cambridge University, King's College London, Utrecht University, etc. 

      For a whole list of our members, see also the official website of ZLAIRE.

      Email:
  • 博鱼全站官网入口: Team Members(photo)

    • Professor, co-director of ZLAIRE
      Beishui Liao

      Beishui Liao is full professor of logic and computer science at Zhejiang University (since 2013), Qiushi Distinguished Professor (since 2019). He obtained his PhD degree from the College of Computer Science and Technology, Zhejiang University, in 2006. His main research interests are computational models of argumentation and their application in agents and multi-agent systems, explainable AI and ethical AI. He is now the director of the Institute of Logic and Cognition of Zhejiang University, co-director of ZLAIRE. He is the ‘AI Logic’ corner editor of Journal of Logic and Computation (with Prof. Leendert van der Torre), a steering committee member of DEON (since 2018), COMMA (since 2020) and AWPL (since 2020). He initiated the International Conference on Logic and Argumentation (CLAR) in 2015 (with Thomas ?gotnes and Yì N. Wáng). 




      Personal Websitehttps://person.zju.edu.cn/en/beishui

      Email:baiseliao@zju.edu.cn
    • Professor, co-director of ZLAIRE
      Leendert van der Torre

      He is full professor of Computer Science Department at the University of Luxembourg , president of IfColog (the international federation for computational logic), fellow of European Association for Artificial Intelligence and the founder of AI RoboLab. He obtained his PhD degree in computer science at the Erasmus University in 1997. He is guest professor of ZJU (2018-) and granted as Bao Yugang Chair Professor in 2022. He is a leader of moral logic and multi-agent system, having published more than 300 high-level academic papers, with the citations over 14,700 times (h-index = 57). In the past five years, he presided over six EU and Luxembourg NSFC projects, with a total funding over 5.45 million Euros. His research interests include deontic logic, logic in security and most recently cognitive robotics. He is an associated editor of Journal of Logic and Computation, Logic Journal of the IGPL and Journal of Applied Logic, and the chief editor of three handbooks, namely Deontic Logic, Normative Systems and Normative Multiagent Systems.


      Personal Website: https://icr.uni.lu/leonvandertorre/

      Email:leon.vandertorre@uni.lu
    • Professor
      Huaxin Huang

      Huang Huaxin, born in Cixi City, Zhejiang Province, is a professor of the School of Philosophy, the director of Faculty of Arts and Humanities,Zhejiang University, and the director of the Center for the Study of Language and Cognition (one of National Centers for Philosophy, and Social Science Innovation Bases). With research interests mainly in logic, language and cognition, he provides supervision for doctoral students in the following academic fields, including logic, linguistics and applied linguistics.  He also serves as the vice president of the Chinese Society of Logic, director of the Scientific Logic Professional Committee of the Chinese Society of Logic, member of Philosophy Education Steering Committee of the Ministry of Education, and the president of the Zhejiang Society of Logic.


      Personal Websitehttps://person.zju.edu.cn/en/rw211

      Email:RW211@zju.edu.cn
    • Assistant Professor
      Bruno Bentzen

      I am an Assistant Professor in the School of Philosophy at Zhejiang University appointed through the New Hundred Talents Program. Prior to joining Zhejiang University, I was a postdoctoral researcher in the Institute of Philosophy of the Czech Academy of Sciences and a postdoctoral researcher in the Department of Philosophy at Carnegie Mellon University. My main research interests are in the philosophy of logic and mathematics, with special focus on mathematical constructivism, intuitionism, and type theory.


      Personal Websitehttps://www.brunobentzen.com/

      Email:bbentzen@zju.edu.cn
  • 博鱼全站官网入口: 2020s

    • 1.     廖备水. 论新一代人工智能与逻辑学的交叉研究. 中国社会科学, 2022.

      2.     Haixiao Chi, Beishui Liao. A Quantitative Argumentation-based Automated eXplainable Decision System for Fake News Detection on Social Media, Knowledge-Based Systems, 2022. 

      3.     Fenrong Liu, Beishui Liao. Reasoning in social setting. Journal of Logic and Computation, 2021. 

      4.     Haixiao Chi, Yiwei Lu, Beishui Liao, Liaosa Xu, Yaqi Liu. An Optimized Quantitative Argumentation Debate Model for Fraud Detection in E-commerce Transactions, IEEE Intelligent Systems, 2021.

      5.     Beishui Liao, Michael Anderson, Susan Leigh Anderson. Representation, Justification and Explanation in a Value Driven Agent: An Argumentation-Based Approach.  AI and Ethics, 2021.

      6.     Llio Humphreys, Guido Boella, Leendert van der Torre, Livio Robaldo, Luigi Di Caro, Sepideh Ghanavati, Robert Muthuri: Populating legal ontologies using semantic role labeling. Artificial Intelligence and Law, 2021.

      7.     Edmond Awad, Michael Anderson, Susan Leigh Anderson, Beishui Liao. An approach for combining ethical principles with public opinion to guide public policy, Artificial Intelligence, 2020.

      8.     Bruno Bentzen: Sense, reference, and computation. Perspectiva Filosofica, 2020.

      9.     Bruno Bentzen: What types should not be. Philosophia Mathematica, 2020.

      10.  Marc van Zee, Dragan Doder, Leon van der Torre, Mehdi Dastani, Thomas Icard, Eric Pacuit: Intention as commitment toward time. Artificial Intelligence, 2020.

      11.  Christoph Benzmüller, Xavier Parent, Leendert W. N. van der Torre: Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support. Artificial Intelligence,  2020.

      Email:
  • 博鱼全站官网入口: 2010s

    • 1.     Beishui Liao, Nir Oren, Leendert van der Torre, Serena Villata. Prioritized Norms in Formal Argumentation, Journal of Logic and Computation, 2019.

      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.     Beishui Liao, Kang Xu, Huaxin Huang. Formulating Semantics of Probabilistic Argumentation by Characterizing Subgraphs: Theory and Empirical Results, Journal of Logic and Computation, 2018.

      4.     Mehdi Dastani, Leendert W. N. van der Torre, Neil Yorke-Smith. Commitments and interaction norms in organisations. Autonomous Agents and Multi-Agent Systems, 2017.

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

      6.     Beishui Liao. Efficient Computation of Argumentation Semantics (monograph), Elsevier, 2014.

      7.     Beishui Liao. Toward Incremental Computation of Argumentation Semantics: A Decomposition-based Approach. Annals of Mathematics and Artificial Intelligence, 2013.

      8.     Beishui Liao, Huaxin Huang. Partial Semantics of Argumentation: Basic Properties and Empirical Results. Journal of Logic and Computation, 2013.

      9.     Beishui Liao, Li Jin, Robert C. Koons. Dynamics of Argumentation Systems: A Division-Based Method. Artificial Intelligence, 2011. 

      Email:

博鱼全站官网入口:Recent Publications

  • 博鱼全站官网入口: gruop introduction

    • ZLAIRE, the abbreviation of “Zhejiang University – University of Luxembourg Joint Lab on Advanced Intelligent Systems and REasoning”, is devoted to promote international collaborations in scientific research, teaching and outreach in Advanced Intelligent Systems and Reasoning, based on the collaborations of Zhejiang University (ZJU) and the University of Luxembourg (UNILUX) respectively. ZLAIRE was established in September 2021, as an interdisciplinary research institute granted by the Academy of Humanities and Social Sciences of Zhejiang University.

      The team of ZLAIRE is led by Prof. Beishui Liao at ZJU, and Prof. Leendert van der Torre at UNILUX, who is granted as Bao Yugang Chair Professor by ZJU in 2022. The research interests of the team include logical foundations and their applications in the fields of autonomous agent systems, explainable AI, ethical AI, and legal AI. The team of ZLAIRE is contributing to intensive collaborations with some of world first-class universities and institutions, such as Cambridge University, King's College London, Utrecht University, etc. 

      For a whole list of our members, see also the official website of ZLAIRE.

  • 博鱼全站官网入口: Team Members(photo)

    • Professor, co-director of ZLAIREbaiseliao@zju.edu.cn

      Beishui Liao is full professor of logic and computer science at Zhejiang University (since 2013), Qiushi Distinguished Professor (since 2019). He obtained his PhD degree from the College of Computer Science and Technology, Zhejiang University, in 2006. His main research interests are computational models of argumentation and their application in agents and multi-agent systems, explainable AI and ethical AI. He is now the director of the Institute of Logic and Cognition of Zhejiang University, co-director of ZLAIRE. He is the ‘AI Logic’ corner editor of Journal of Logic and Computation (with Prof. Leendert van der Torre), a steering committee member of DEON (since 2018), COMMA (since 2020) and AWPL (since 2020). He initiated the International Conference on Logic and Argumentation (CLAR) in 2015 (with Thomas ?gotnes and Yì N. Wáng). 




      Personal Websitehttps://person.zju.edu.cn/en/beishui

    • Professor, co-director of ZLAIREleon.vandertorre@uni.lu

      He is full professor of Computer Science Department at the University of Luxembourg , president of IfColog (the international federation for computational logic), fellow of European Association for Artificial Intelligence and the founder of AI RoboLab. He obtained his PhD degree in computer science at the Erasmus University in 1997. He is guest professor of ZJU (2018-) and granted as Bao Yugang Chair Professor in 2022. He is a leader of moral logic and multi-agent system, having published more than 300 high-level academic papers, with the citations over 14,700 times (h-index = 57). In the past five years, he presided over six EU and Luxembourg NSFC projects, with a total funding over 5.45 million Euros. His research interests include deontic logic, logic in security and most recently cognitive robotics. He is an associated editor of Journal of Logic and Computation, Logic Journal of the IGPL and Journal of Applied Logic, and the chief editor of three handbooks, namely Deontic Logic, Normative Systems and Normative Multiagent Systems.


      Personal Website: https://icr.uni.lu/leonvandertorre/

    • ProfessorRW211@zju.edu.cn

      Huang Huaxin, born in Cixi City, Zhejiang Province, is a professor of the School of Philosophy, the director of Faculty of Arts and Humanities,Zhejiang University, and the director of the Center for the Study of Language and Cognition (one of National Centers for Philosophy, and Social Science Innovation Bases). With research interests mainly in logic, language and cognition, he provides supervision for doctoral students in the following academic fields, including logic, linguistics and applied linguistics.  He also serves as the vice president of the Chinese Society of Logic, director of the Scientific Logic Professional Committee of the Chinese Society of Logic, member of Philosophy Education Steering Committee of the Ministry of Education, and the president of the Zhejiang Society of Logic.


      Personal Websitehttps://person.zju.edu.cn/en/rw211

    • Assistant Professorbbentzen@zju.edu.cn

      I am an Assistant Professor in the School of Philosophy at Zhejiang University appointed through the New Hundred Talents Program. Prior to joining Zhejiang University, I was a postdoctoral researcher in the Institute of Philosophy of the Czech Academy of Sciences and a postdoctoral researcher in the Department of Philosophy at Carnegie Mellon University. My main research interests are in the philosophy of logic and mathematics, with special focus on mathematical constructivism, intuitionism, and type theory.


      Personal Websitehttps://www.brunobentzen.com/

  • 博鱼全站官网入口: 2020s

    • 1.     廖备水. 论新一代人工智能与逻辑学的交叉研究. 中国社会科学, 2022.

      2.     Haixiao Chi, Beishui Liao. A Quantitative Argumentation-based Automated eXplainable Decision System for Fake News Detection on Social Media, Knowledge-Based Systems, 2022. 

      3.     Fenrong Liu, Beishui Liao. Reasoning in social setting. Journal of Logic and Computation, 2021. 

      4.     Haixiao Chi, Yiwei Lu, Beishui Liao, Liaosa Xu, Yaqi Liu. An Optimized Quantitative Argumentation Debate Model for Fraud Detection in E-commerce Transactions, IEEE Intelligent Systems, 2021.

      5.     Beishui Liao, Michael Anderson, Susan Leigh Anderson. Representation, Justification and Explanation in a Value Driven Agent: An Argumentation-Based Approach.  AI and Ethics, 2021.

      6.     Llio Humphreys, Guido Boella, Leendert van der Torre, Livio Robaldo, Luigi Di Caro, Sepideh Ghanavati, Robert Muthuri: Populating legal ontologies using semantic role labeling. Artificial Intelligence and Law, 2021.

      7.     Edmond Awad, Michael Anderson, Susan Leigh Anderson, Beishui Liao. An approach for combining ethical principles with public opinion to guide public policy, Artificial Intelligence, 2020.

      8.     Bruno Bentzen: Sense, reference, and computation. Perspectiva Filosofica, 2020.

      9.     Bruno Bentzen: What types should not be. Philosophia Mathematica, 2020.

      10.  Marc van Zee, Dragan Doder, Leon van der Torre, Mehdi Dastani, Thomas Icard, Eric Pacuit: Intention as commitment toward time. Artificial Intelligence, 2020.

      11.  Christoph Benzmüller, Xavier Parent, Leendert W. N. van der Torre: Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support. Artificial Intelligence,  2020.

  • 博鱼全站官网入口: 2010s

    • 1.     Beishui Liao, Nir Oren, Leendert van der Torre, Serena Villata. Prioritized Norms in Formal Argumentation, Journal of Logic and Computation, 2019.

      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.     Beishui Liao, Kang Xu, Huaxin Huang. Formulating Semantics of Probabilistic Argumentation by Characterizing Subgraphs: Theory and Empirical Results, Journal of Logic and Computation, 2018.

      4.     Mehdi Dastani, Leendert W. N. van der Torre, Neil Yorke-Smith. Commitments and interaction norms in organisations. Autonomous Agents and Multi-Agent Systems, 2017.

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

      6.     Beishui Liao. Efficient Computation of Argumentation Semantics (monograph), Elsevier, 2014.

      7.     Beishui Liao. Toward Incremental Computation of Argumentation Semantics: A Decomposition-based Approach. Annals of Mathematics and Artificial Intelligence, 2013.

      8.     Beishui Liao, Huaxin Huang. Partial Semantics of Argumentation: Basic Properties and Empirical Results. Journal of Logic and Computation, 2013.

      9.     Beishui Liao, Li Jin, Robert C. Koons. Dynamics of Argumentation Systems: A Division-Based Method. Artificial Intelligence, 2011. 

博鱼全站官网入口-搜狗指南