MaRDI QIDQ5102456
Beishui Liao, Muyun Shao
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