{"id":5860,"date":"2023-05-20T11:14:16","date_gmt":"2023-05-20T03:14:16","guid":{"rendered":"http:\/\/tsinghualogic.net\/JRC\/?page_id=5860"},"modified":"2023-05-20T12:17:50","modified_gmt":"2023-05-20T04:17:50","slug":"research-program-logic-and-computation","status":"publish","type":"page","link":"http:\/\/tsinghualogic.net\/JRC\/research-program-logic-and-computation\/","title":{"rendered":"Research Program: Logic and Computation"},"content":{"rendered":"\n
<\/span>\"\"
\n

Logic and Computation<\/p>\n\n\n\n

Extending computational foundations and tools for logics of information and agency. Exploring new connections between logic, probability, and computing paradigms in AI.<\/p>\n<\/div><\/div>\n\n\n\n

Core group:<\/h3>\n\n\n\n

Names of the coordinating project leaders are italicized.<\/p>\n\n\n\n

    \n
  • Johan van Benthem\u00a0<\/em>(ILLC)<\/li>\n\n\n\n
  • Beishui Liao (Hangzhou)<\/li>\n\n\n\n
  • Malvin Gattinger (Amsterdam)<\/li>\n\n\n\n
  • Thomas Icard (Stanford)<\/li>\n\n\n\n
  • Katrin Schulz (ILLC)<\/li>\n\n\n\n
  • Kaile Su (Griffith)<\/li>\n<\/ul>\n\n\n\n

    Key publications:<\/h3>\n\n\n\n
      \n
    • M. Gattinger: SMCDEL \u2014 An Implementation of Symbolic Model Checking for Dynamic Epistemic Logic with Binary Decision Diagrams, publicly accessible version 1.2.0, released on 22 February 2022<\/li>\n\n\n\n
    • X. Lin, Q. Chen, L. Fang, Q. Guan, W. Luo, K. Su: Generalized Linear Integer Numeric Planning. ICAPS<\/em> 2022: 241-251<\/li>\n\n\n\n
    • A. Baltag, N. Bezhanishvili, A. \u00d6zgun, S. Smets: Justified Belief, Knowledge, and the Topology of Evidence. Synthese<\/em> 200(6), 2022<\/li>\n\n\n\n
    • K. Schulz, S. Smets, F. R. Velazquez-Quesada, K. Xie: Non-Strict Interventionism: The Case of Right-Nested Counterfactuals, Journal of Logic, Language and Information<\/em> 31 (2), 235-260, 2022<\/li>\n\n\n\n
    • B. Liao, M. Anderson, S. L. Anderson. Representation, Justification and Explanation in a Value Driven Agent: An Argumentation-Based Approach. AI and Ethics<\/em>, 1: 5-19, 2021<\/li>\n\n\n\n
    • M. A. Hakim Newton, Md. Masbaul Alam, D. N. Pham, J. Thornton, K. Su, A. Sattar: Evaluating Logic Gate Constraints in Local Search for Structured Satisfiability Problems. Artif. Intell. Rev<\/em>. 54(7), 5347-5411, 2021<\/li>\n\n\n\n
    • M. Moss\u00e9, D. Ibeling, T. Icard. Is Causal Reasoning Harder than Probabilistic Reasoning? 2021. Review of Symbolic Logic<\/em>, 2021<\/li>\n<\/ul>\n\n\n\n

      Highlight:<\/h3>\n\n\n\n
        \n
      • Our center has started a series of small intensive exploratory meetings on interfaces of logic and AI, with colleagues from Tsinghua IIIS and Computer Science.<\/li>\n\n\n\n
      • Fenrong Liu was a general program chair at the 18th Pacific Rim International Conference on Artificial Intelligence, Hanoi 2021, with Johan van Benthem as one of the four keynote speakers, to explore modern interfaces of logic and AI.<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"

        Core group: Names of the coordinating project leaders a […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/5860"}],"collection":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/comments?post=5860"}],"version-history":[{"count":2,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/5860\/revisions"}],"predecessor-version":[{"id":5878,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/5860\/revisions\/5878"}],"wp:attachment":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=5860"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}