Alternating-time temporal logic with strong and weak exceptions

DOI10.3724/SP.J.1087.2008.02874MaRDI QIDQ3399672zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(3)

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

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)