-
Proof Systems for Planning Under Cautious Semantics
Author: Yuping Shen, Xishun Zhao
Journal: MINDS AND MACHINES, 2012, Vol.23, 5-45, DOI:10.1007/s11023-012-9288-9
-
An Ontology-Based Approach to Metaphor Cognitive Computation
Author: Xiaoxi Huang, Huaxin Huang, Beishui Liao, Cihua Xu
Journal: MINDS AND MACHINES, 2012, Vol.23, 105-121, DOI:10.1007/s11023-012-9269-z
-
Preferential Semantics for Plausible Subsumption in Possibility Theory
Author: Guilin Qi, Zhizheng Zhang
Journal: MINDS AND MACHINES, 2013, Vol.23, 47-75, DOI:10.1007/s11023-012-9300-4
-
Logic and AI in China: An Introduction
Author: Fenrong Liu, Kaile Su
Journal: MINDS AND MACHINES, 2013, Vol.23, 1-4, DOI:10.1007/s11023-013-9308-4
-
Reasoning About Agent Types and the Hardest Logic Puzzle Ever
Author: Fenrong Liu, Yanjing Wang
Journal: MINDS AND MACHINES, 2012, Vol.23, 123-161, DOI:10.1007/s11023-012-9287-x
-
Variable-Centered Consistency in Model RB
Author: Liang Li, Tian Liu, Ke Xu
Journal: MINDS AND MACHINES, 2012, Vol.23, 95-103, DOI:10.1007/s11023-012-9270-6
-
Asynchronous Introspection Theory: The Underpinnings of Phenomenal Consciousness in Temporal Illusion
Author: Shuo Chen, Changle Zhou, Jing Li, Hua Peng
Journal: MINDS AND MACHINES, 2016, Vol.27, 315-330, DOI:10.1007/s11023-016-9409-y
-
Rafael Capurro, Michael Eldred and Daniel Nagel: Digital Whoness: Identity, Privacy and Freedom in the Cyberworld
Author: s.hongladarom
Journal: MINDS AND MACHINES, 2016.