Alternating-time temporal logic with strong and weak exceptions

DOI10.3724/SP.J.1087.2008.02874zbMath1171.68670OpenAlexW2086356508MaRDI QIDQ3399672

Zhen-Yuan Ning, Xianwei Lai, Shanli Hu, Xiuli Wang

Publication date: 12 October 2009

Published in: Journal of Computer Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3724/sp.j.1087.2008.02874

zbMATH Keywords

multi-agent systemsgoalnon-monotonic logicconcurrent game structuresAlternating-time Temporal Logic (ATL)

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Logic in artificial intelligence (68T27)

This page was built for publication: Alternating-time temporal logic with strong and weak exceptions