Fenrong Liu and Yanjing Wang: Reasoning About Agent Types and the Hardest Logic Puzzle Ever. (2013)journals/mima/LiuW1310.1007/S11023-012-9287-XReasoning About Agent Types and the Hardest Logic Puzzle Ever.2Fenrong Liu1Yanjing Wang 00012123-161Minds Mach.Minds Mach.2312013provenance information for RDF data of dblp record 'journals/mima/LiuW13'2021-10-14T09:33:00+0200