MaRDI QIDQ5102456
Muyun Shao, Beishui Liao
Publication date: 7 September 2022
zbMATH Keywords
coalition formation; alternating transition system; argument enforcement; control argumentation
Mathematics Subject Classification ID
68T27: Logic in artificial intelligence
03-XX: Mathematical logic and foundations