Alternating-time temporal logic with strong and weak exceptions

DOI10.3724/SP.J.1087.2008.02874zbMATH Open1171.68670OpenAlexW2086356508MaRDI QIDQ3399672FDOQ3399672

Authors: Xianwei Lai, Shanli Hu, Zhen-Yuan Ning, 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

Recommendations

• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• Alternating-time temporal logic with resource bounds
• scientific article; zbMATH DE number 22186
• Reasoning about agent programs using ATL-like logics
• Action and knowledge in alternating-time temporal logic

zbMATH Keywords

multi-agent systemsnon-monotonic logicgoalconcurrent game structuresAlternating-time Temporal Logic (ATL)

Mathematics Subject Classification ID

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

Cited In (3)

• Graded Alternating-Time Temporal Logic
• Alternative semantics for temporal logics
• Alternating-time temporal logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3399672)