External Links

    Journal: Minds and Machines

    Volume 23, Issue 1

    1 -- 4Fenrong Liu, Kaile Su. Logic and AI in China: An Introduction
    5 -- 45Yuping Shen, Xishun Zhao. Proof Systems for Planning Under Cautious Semantics
    47 -- 75Guilin Qi, Zhizheng Zhang. Preferential Semantics for Plausible Subsumption in Possibility Theory
    77 -- 93Jiji Zhang. A Lewisian Logic of Causal Counterfactuals
    95 -- 103Liang Li, Tian Liu, Ke Xu. Variable-Centered Consistency in Model RB
    105 -- 121Xiaoxi Huang, Huaxin Huang, Beishui Liao, Cihua Xu. An Ontology-Based Approach to Metaphor Cognitive Computation
    123 -- 161Fenrong Liu, Yanjing Wang. Reasoning About Agent Types and the Hardest Logic Puzzle Ever
    runs on