↓
 

Xixi Logic

  • Home
  • Announcements
    • Local Announcements
    • Messages from the Community
  • Invited Talks
  • Conferences
  • Group Meetings
    • L&I Reading Group
    • PL&PL Reading Group
  • Other Events
  • Courses
  • Calendar
  • About Us
Home→Invited Talks

Invited Talks

  • Yang Liu(Cambridge University): Logic in Artificial Intelligence: Decision Theory(1-14)
  • Minghui Ma: Advances in Normal Tense Logic
  • Xiaojun Zhang: The overview of propositional dynamic logic
  • Anuj Dawar: The Limits of Symmetric Computation
  • Maurice Chiodo: Ethical issues in mathematical processes
  • Jinsheng Chen: Sequent Calculi for Global Modal Consequence Relations
  • Xiaoli Liu: Can Intelligent Machines Have Emotions and Morals from Human Cognition?
  • Bruno Bentzen: Perspectives on the Foundations of Type Theory
  • Davide Liga: Argument Scheme Detection and Tree Kernels
  • M.M. (Mehdi) Dastani: Emotions and their logic
  • Ramanujam: The monkey on the tree and other dilemmas
  • Hiroyuki Kido: Argumentation Mining from Acceptability of Arguments
  • Ramanujam: Logic and Games
  • Zachiri McKenzie: Comparing foundational theories of mathematics and understanding subsystems of ZFC
  • Piotr Kulicki: Towards Deontic Logic for Autonomous Cars
  • Fengkui Ju: CTL with Dynamic Contexts
  • Julien Dutant: Epistemic Logics for Derived Knowledge and Belief
  • Quanlong Wang: Categorical Quantum Mechanics and the Quantum Diagram Reasoning System
  • Hans van Ditmarsch: Asynchronous announcements
  • Chongli Zou: The Study of Combinatory Categorial Grammar
1 2 3 4 Next »

Bookmarks

  • BRaD
  • CSLC, ZJU

Archives

© Since 2014 Xixi Logic. All rights reserved.   浙ICP备15002489号-1
↑