{"id":"https://openalex.org/W2407055246","doi":"https://doi.org/10.1017/s0269888915000065","title":"Computational logics and verification techniques of multi-agent commitments: survey","display_name":"Computational logics and verification techniques of multi-agent commitments: survey","publication_year":2015,"publication_date":"2015-08-05","ids":{"openalex":"https://openalex.org/W2407055246","doi":"https://doi.org/10.1017/s0269888915000065","mag":"2407055246"},"language":"en","primary_location":{"id":"doi:10.1017/s0269888915000065","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0269888915000065","pdf_url":null,"source":{"id":"https://openalex.org/S137506714","display_name":"The Knowledge Engineering Review","issn_l":"0269-8889","issn":["0269-8889","1469-8005"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Knowledge Engineering Review","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5026885872","display_name":"Mohamed El Menshawy","orcid":null},"institutions":[{"id":"https://openalex.org/I60158472","display_name":"Concordia University","ror":"https://ror.org/0420zvk78","country_code":"CA","type":"education","lineage":["https://openalex.org/I60158472"]},{"id":"https://openalex.org/I63601056","display_name":"Menoufia University","ror":"https://ror.org/05sjrb944","country_code":"EG","type":"education","lineage":["https://openalex.org/I63601056"]}],"countries":["CA","EG"],"is_corresponding":true,"raw_author_name":"Mohamed El Menshawy","raw_affiliation_strings":["Faculty of Computers and Information, Menofia University, Shebin El Kom, Egypt e-mail:","Faculty of Engineering and Computer Science, Concordia University, Montreal, Canada e-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Computers and Information, Menofia University, Shebin El Kom, Egypt e-mail:","institution_ids":["https://openalex.org/I63601056"]},{"raw_affiliation_string":"Faculty of Engineering and Computer Science, Concordia University, Montreal, Canada e-mail:","institution_ids":["https://openalex.org/I60158472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020978568","display_name":"Jamal Bentahar","orcid":"https://orcid.org/0000-0002-3136-4849"},"institutions":[{"id":"https://openalex.org/I60158472","display_name":"Concordia University","ror":"https://ror.org/0420zvk78","country_code":"CA","type":"education","lineage":["https://openalex.org/I60158472"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Jamal Bentahar","raw_affiliation_strings":["Faculty of Engineering and Computer Science, Concordia University, Montreal, Canada e-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Engineering and Computer Science, Concordia University, Montreal, Canada e-mail:","institution_ids":["https://openalex.org/I60158472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019879501","display_name":"Warda El Kholy","orcid":null},"institutions":[{"id":"https://openalex.org/I60158472","display_name":"Concordia University","ror":"https://ror.org/0420zvk78","country_code":"CA","type":"education","lineage":["https://openalex.org/I60158472"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Warda El Kholy","raw_affiliation_strings":["Faculty of Engineering and Computer Science, Concordia University, Montreal, Canada e-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Engineering and Computer Science, Concordia University, Montreal, Canada e-mail:","institution_ids":["https://openalex.org/I60158472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028309559","display_name":"P\u0131nar Yolum","orcid":"https://orcid.org/0000-0001-7848-1834"},"institutions":[{"id":"https://openalex.org/I4405392","display_name":"Bo\u011fazi\u00e7i University","ror":"https://ror.org/03z9tma90","country_code":"TR","type":"education","lineage":["https://openalex.org/I4405392"]}],"countries":["TR"],"is_corresponding":false,"raw_author_name":"Pinar Yolum","raw_affiliation_strings":["Department of Computer Engineering, Bogazici University, Istanbul, Turkey e-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering, Bogazici University, Istanbul, Turkey e-mail:","institution_ids":["https://openalex.org/I4405392"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057013558","display_name":"Rachida Dssouli","orcid":"https://orcid.org/0000-0002-7859-9098"},"institutions":[{"id":"https://openalex.org/I60158472","display_name":"Concordia University","ror":"https://ror.org/0420zvk78","country_code":"CA","type":"education","lineage":["https://openalex.org/I60158472"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Rachida Dssouli","raw_affiliation_strings":["Faculty of Engineering and Computer Science, Concordia University, Montreal, Canada e-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Engineering and Computer Science, Concordia University, Montreal, Canada e-mail:","institution_ids":["https://openalex.org/I60158472"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5026885872"],"corresponding_institution_ids":["https://openalex.org/I60158472","https://openalex.org/I63601056"],"apc_list":null,"apc_paid":null,"fwci":1.7807,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.89554926,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"30","issue":"5","first_page":"564","last_page":"606"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9975000023841858,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7645308971405029},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.635684609413147},{"id":"https://openalex.org/keywords/autonomy","display_name":"Autonomy","score":0.557299017906189},{"id":"https://openalex.org/keywords/openness-to-experience","display_name":"Openness to experience","score":0.5017662048339844},{"id":"https://openalex.org/keywords/knowledge-management","display_name":"Knowledge management","score":0.3666641414165497},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3452947735786438},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2159942388534546},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.10130888223648071}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7645308971405029},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.635684609413147},{"id":"https://openalex.org/C65414064","wikidata":"https://www.wikidata.org/wiki/Q484105","display_name":"Autonomy","level":2,"score":0.557299017906189},{"id":"https://openalex.org/C84976871","wikidata":"https://www.wikidata.org/wiki/Q2015673","display_name":"Openness to experience","level":2,"score":0.5017662048339844},{"id":"https://openalex.org/C56739046","wikidata":"https://www.wikidata.org/wiki/Q192060","display_name":"Knowledge management","level":1,"score":0.3666641414165497},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3452947735786438},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2159942388534546},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.10130888223648071},{"id":"https://openalex.org/C77805123","wikidata":"https://www.wikidata.org/wiki/Q161272","display_name":"Social psychology","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s0269888915000065","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0269888915000065","pdf_url":null,"source":{"id":"https://openalex.org/S137506714","display_name":"The Knowledge Engineering Review","issn_l":"0269-8889","issn":["0269-8889","1469-8005"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Knowledge Engineering Review","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":137,"referenced_works":["https://openalex.org/W8091359","https://openalex.org/W13140863","https://openalex.org/W41449831","https://openalex.org/W48222274","https://openalex.org/W71751999","https://openalex.org/W107497267","https://openalex.org/W169525020","https://openalex.org/W170090311","https://openalex.org/W179607355","https://openalex.org/W180119731","https://openalex.org/W189948524","https://openalex.org/W1483214482","https://openalex.org/W1489391022","https://openalex.org/W1497686304","https://openalex.org/W1503983812","https://openalex.org/W1504502054","https://openalex.org/W1504728428","https://openalex.org/W1510940010","https://openalex.org/W1519913613","https://openalex.org/W1522588346","https://openalex.org/W1564534945","https://openalex.org/W1569903868","https://openalex.org/W1578114661","https://openalex.org/W1583058930","https://openalex.org/W1585051026","https://openalex.org/W1587990038","https://openalex.org/W1590315663","https://openalex.org/W1591644483","https://openalex.org/W1593693076","https://openalex.org/W1596929852","https://openalex.org/W1613651675","https://openalex.org/W1637576460","https://openalex.org/W1649360688","https://openalex.org/W1679534293","https://openalex.org/W1754407053","https://openalex.org/W1812214761","https://openalex.org/W1828110622","https://openalex.org/W1874424006","https://openalex.org/W1882581446","https://openalex.org/W1884747325","https://openalex.org/W1884846485","https://openalex.org/W1926412524","https://openalex.org/W1967763061","https://openalex.org/W1968862871","https://openalex.org/W1970149043","https://openalex.org/W1971102445","https://openalex.org/W1975689715","https://openalex.org/W1980171857","https://openalex.org/W1980920917","https://openalex.org/W1982088356","https://openalex.org/W1984337556","https://openalex.org/W1993078560","https://openalex.org/W1993118089","https://openalex.org/W1993202410","https://openalex.org/W1993389173","https://openalex.org/W1993993050","https://openalex.org/W1997518979","https://openalex.org/W1998559974","https://openalex.org/W1998779352","https://openalex.org/W1999272838","https://openalex.org/W2001482245","https://openalex.org/W2004306067","https://openalex.org/W2004537989","https://openalex.org/W2010087056","https://openalex.org/W2011960068","https://openalex.org/W2012696692","https://openalex.org/W2014013334","https://openalex.org/W2016245151","https://openalex.org/W2018238734","https://openalex.org/W2019200853","https://openalex.org/W2023808162","https://openalex.org/W2025297205","https://openalex.org/W2035702632","https://openalex.org/W2042164691","https://openalex.org/W2048905609","https://openalex.org/W2052401040","https://openalex.org/W2054737921","https://openalex.org/W2055419109","https://openalex.org/W2057909361","https://openalex.org/W2058172711","https://openalex.org/W2063502165","https://openalex.org/W2065001763","https://openalex.org/W2072046078","https://openalex.org/W2078356773","https://openalex.org/W2085299005","https://openalex.org/W2092139396","https://openalex.org/W2092365220","https://openalex.org/W2099427626","https://openalex.org/W2101207460","https://openalex.org/W2106887953","https://openalex.org/W2111365380","https://openalex.org/W2114981390","https://openalex.org/W2115279934","https://openalex.org/W2115309705","https://openalex.org/W2116366046","https://openalex.org/W2117189826","https://openalex.org/W2117798332","https://openalex.org/W2117939701","https://openalex.org/W2118599650","https://openalex.org/W2119471769","https://openalex.org/W2123796356","https://openalex.org/W2128937446","https://openalex.org/W2129264276","https://openalex.org/W2130891285","https://openalex.org/W2138950394","https://openalex.org/W2139056146","https://openalex.org/W2140306434","https://openalex.org/W2144424977","https://openalex.org/W2144863759","https://openalex.org/W2146138641","https://openalex.org/W2146819619","https://openalex.org/W2151284191","https://openalex.org/W2153106571","https://openalex.org/W2157373800","https://openalex.org/W2159568425","https://openalex.org/W2161275414","https://openalex.org/W2162176451","https://openalex.org/W2162393868","https://openalex.org/W2165729418","https://openalex.org/W2169336910","https://openalex.org/W2170817193","https://openalex.org/W2171687149","https://openalex.org/W2396555304","https://openalex.org/W2431139695","https://openalex.org/W2913459036","https://openalex.org/W2914109629","https://openalex.org/W2914983210","https://openalex.org/W2952949953","https://openalex.org/W3140030144","https://openalex.org/W4225355126","https://openalex.org/W4235073904","https://openalex.org/W4251228600","https://openalex.org/W4285719527","https://openalex.org/W4300793337","https://openalex.org/W4301493564","https://openalex.org/W6639369443","https://openalex.org/W6673348908"],"related_works":["https://openalex.org/W2007906249","https://openalex.org/W2908605513","https://openalex.org/W2394242862","https://openalex.org/W2360338400","https://openalex.org/W2361665985","https://openalex.org/W2391461404","https://openalex.org/W2377875154","https://openalex.org/W3198929874","https://openalex.org/W2352558001","https://openalex.org/W2385700214"],"abstract_inverted_index":{"Abstract":[0],"Agent":[1],"communication":[2],"languages":[3,245,268],"(ACLs)":[4],"are":[5,38],"fundamental":[6],"mechanisms":[7],"that":[8,227,250,288],"enable":[9],"agents":[10],"in":[11,21,30,52,73,92,129,154,279],"multi-agent":[12,90],"systems":[13],"to":[14,23,40,132,146,185,202,212,222,236,272,291],"talk":[15],",":[16],"communicate":[17],"with":[18,234],"each":[19,164],"other":[20,280],"order":[22],"satisfy":[24],"their":[25,237],"individual":[26],"and":[27,33,87,106,117,126,159,166,170,207,214,221,241,246,260,275],"social":[28,64,77,107,157],"goals":[29],"a":[31,82,102,148,187,217],"cooperative":[32],"competitive":[34],"manner.":[35],"Social":[36],"approaches":[37,51,78],"advocated":[39,271],"overcome":[41],"the":[42,53,60,68,93,130,134,137,196,204,231,293],"shortcomings":[43],"of":[44,55,70,75,95,136,156,178,209,269],"ACL":[45,110,152,191],"semantics":[46,108,150,189],"delineated":[47],"by":[48,181],"using":[49,216],"mental":[50,57],"figure":[54],"agents\u2019":[56,114],"notions.":[58],"Over":[59],"last":[61],"two":[62],"decades,":[63],"commitments":[65,158],"have":[66,186,251],"been":[67,252],"subject":[69],"considerable":[71],"research":[72],"some":[74,286],"those":[76,210,255],"as":[79],"they":[80,228],"provide":[81,101],"powerful":[83],"representation":[84],"for":[85,109,151,190],"modeling":[86],"reasoning":[88],"upon":[89],"interactions":[91],"form":[94],"mutual":[96],"contractual":[97],"obligations.":[98],"They":[99],"particularly":[100],"declarative,":[103],"flexible,":[104],"verifiable,":[105],"messages":[111,153],"while":[112],"respecting":[113],"autonomy,":[115],"heterogeneity,":[116],"openness.":[118],"In":[119],"this":[120],"manuscript,":[121],"we":[122,284],"go":[123],"through":[124],"prominent":[125],"predominate":[127],"proposals":[128,211,256],"literature":[131],"explore":[133,240],"state":[135],"art":[138],"on":[139],"how":[140,171],"temporal":[141],"logics":[142],"can":[143,229,289],"be":[144],"devoted":[145],"define":[147],"formal":[149],"terms":[155],"associated":[160],"actions.":[161],"We":[162,239,264],"explain":[163],"proposal":[165],"point":[167],"out":[168],"if":[169],"it":[172],"meets":[173],"seven":[174],"crucial":[175],"criteria,":[176],"four":[177],"them":[179],"introduced":[180],"Munindar":[182],"P.":[183],"Singh":[184],"well-defined":[188],"messages.":[192],"Far":[193],"from":[194],"deciding":[195],"best":[197,232],"proposal,":[198],"our":[199],"aim":[200],"is":[201],"present":[203],"advantages":[205],"(strengths)":[206],"limitations":[208],"designers":[213],"developers":[215],"concrete":[218],"running":[219],"example":[220],"compare":[223],"between":[224],"them,":[225],"so":[226],"make":[230],"choice":[233],"regard":[235],"needs.":[238],"evaluate":[242],"current":[243],"specification":[244],"different":[247],"verification":[248],"techniques":[249],"discussed":[253],"within":[254],"to,":[257],"respectively,":[258],"specify":[259],"verify":[261],"commitment-based":[262,277],"protocols.":[263],"also":[265],"investigate":[266],"logical":[267],"actions":[270],"specify,":[273],"model,":[274],"execute":[276],"protocols":[278],"contributed":[281],"proposals.":[282],"Finally,":[283],"suggest":[285],"solutions":[287],"contribute":[290],"address":[292],"identified":[294],"limitations.":[295]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}