{"type":"ScholarlyArticle","title":"Using Strategic Logics to Reason about Agent Programs","authors":[{"name":"Nitin Yadav","slug":"nitin-yadav","given":"Nitin","family":"Yadav","affiliation":""},{"name":"Sebastian Sardiña","slug":"sebastian-sardina","given":"Sebastian","family":"Sardina","affiliation":""}],"abstract":"We propose a variant of Alternating-time Temporal Logic (ATL) grounded in the agents' operational know-how, as defined by their libraries of abstract plans. In our logic, it is possible to refer to rational strategies for agents developed under the Belief-Desire-Intention agent paradigm. This allows us to express and verify properties of BDI systems using ATL-type logical frameworks.","doi":null,"url":"https://ijcai.org/proceedings/2013/465","pdf":"https://ijcai.org/proceedings/2013/0465.pdf","markdown":"https://ijcai.org/proceedings/2013/465.md","bibtex":"https://ijcai.org/proceedings/2013/bibtex/465","volume":{"slug":"2013","title":"Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2013","url":"https://ijcai.org/proceedings/2013/","year":2013,"location":"Beijing, China","dates":"3–9 August 2013","editors":"Francesca Rossi","isbn":"978-1-57735-633-2","publisher":"AAAI Press / International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":465,"pages":{"first":3101,"last":3104},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}