{"id":"https://openalex.org/W7160430529","doi":"https://doi.org/10.48550/arxiv.2605.03143","title":"Pact: A Choreographic Language for Agentic Ecosystems","display_name":"Pact: A Choreographic Language for Agentic Ecosystems","publication_year":2026,"publication_date":"2026-05-04","ids":{"openalex":"https://openalex.org/W7160430529","doi":"https://doi.org/10.48550/arxiv.2605.03143"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.03143","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.03143","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2605.03143","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5135465498","display_name":"Kiran Gopinathan","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Gopinathan, Kiran","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135432150","display_name":"Jack Feser","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Feser, Jack","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027988302","display_name":"Michelangelo Naim","orcid":"https://orcid.org/0000-0002-4419-9301"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Naim, Michelangelo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053689750","display_name":"Zenna Tavares","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tavares, Zenna","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5135467677","display_name":"Eli Bingham","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bingham, Eli","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5135465498"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.43130001425743103,"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.43130001425743103,"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.12240000069141388,"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/T12784","display_name":"Modular Robots and Swarm Intelligence","score":0.08810000121593475,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.6607000231742859},{"id":"https://openalex.org/keywords/autonomy","display_name":"Autonomy","score":0.6067000031471252},{"id":"https://openalex.org/keywords/pact","display_name":"Pact","score":0.4392000138759613},{"id":"https://openalex.org/keywords/problem-solver","display_name":"Problem solver","score":0.37070000171661377},{"id":"https://openalex.org/keywords/interaction-protocol","display_name":"Interaction protocol","score":0.3582000136375427},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3424000144004822},{"id":"https://openalex.org/keywords/software-agent","display_name":"Software agent","score":0.33649998903274536},{"id":"https://openalex.org/keywords/autonomous-agent","display_name":"Autonomous agent","score":0.33489999175071716},{"id":"https://openalex.org/keywords/negotiation","display_name":"Negotiation","score":0.3276999890804291}],"concepts":[{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.6607000231742859},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6478000283241272},{"id":"https://openalex.org/C65414064","wikidata":"https://www.wikidata.org/wiki/Q484105","display_name":"Autonomy","level":2,"score":0.6067000031471252},{"id":"https://openalex.org/C2779073994","wikidata":"https://www.wikidata.org/wiki/Q1751686","display_name":"Pact","level":2,"score":0.4392000138759613},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.43619999289512634},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.38670000433921814},{"id":"https://openalex.org/C3019612716","wikidata":"https://www.wikidata.org/wiki/Q730920","display_name":"Problem solver","level":2,"score":0.37070000171661377},{"id":"https://openalex.org/C2775851571","wikidata":"https://www.wikidata.org/wiki/Q6045205","display_name":"Interaction protocol","level":3,"score":0.3582000136375427},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.35679998993873596},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3424000144004822},{"id":"https://openalex.org/C5894958","wikidata":"https://www.wikidata.org/wiki/Q2297769","display_name":"Software agent","level":2,"score":0.33649998903274536},{"id":"https://openalex.org/C13687954","wikidata":"https://www.wikidata.org/wiki/Q4826847","display_name":"Autonomous agent","level":2,"score":0.33489999175071716},{"id":"https://openalex.org/C199776023","wikidata":"https://www.wikidata.org/wiki/Q202875","display_name":"Negotiation","level":2,"score":0.3276999890804291},{"id":"https://openalex.org/C56739046","wikidata":"https://www.wikidata.org/wiki/Q192060","display_name":"Knowledge management","level":1,"score":0.32749998569488525},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.32269999384880066},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.3116999864578247},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.3057999908924103},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.30390000343322754},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.2976999878883362},{"id":"https://openalex.org/C539667460","wikidata":"https://www.wikidata.org/wiki/Q2414942","display_name":"Management science","level":1,"score":0.2784999907016754},{"id":"https://openalex.org/C12269588","wikidata":"https://www.wikidata.org/wiki/Q132364","display_name":"Communications protocol","level":2,"score":0.27489998936653137},{"id":"https://openalex.org/C179603123","wikidata":"https://www.wikidata.org/wiki/Q1941921","display_name":"Modeling language","level":3,"score":0.2727999985218048},{"id":"https://openalex.org/C94922259","wikidata":"https://www.wikidata.org/wiki/Q33215","display_name":"Constructed language","level":2,"score":0.2712000012397766},{"id":"https://openalex.org/C2779478453","wikidata":"https://www.wikidata.org/wiki/Q6889748","display_name":"Modularity (biology)","level":2,"score":0.2711000144481659},{"id":"https://openalex.org/C133112747","wikidata":"https://www.wikidata.org/wiki/Q7251931","display_name":"Protocol analysis","level":2,"score":0.2703000009059906},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.26809999346733093},{"id":"https://openalex.org/C2781306805","wikidata":"https://www.wikidata.org/wiki/Q4789761","display_name":"Argumentative","level":2,"score":0.26809999346733093},{"id":"https://openalex.org/C2778537702","wikidata":"https://www.wikidata.org/wiki/Q53798331","display_name":"Co-construction","level":2,"score":0.2653999924659729},{"id":"https://openalex.org/C72196577","wikidata":"https://www.wikidata.org/wiki/Q1645946","display_name":"Argument map","level":3,"score":0.2615000009536743}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.03143","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.03143","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2605.03143","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.03143","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Recent":[0],"advances":[1],"in":[2,25],"large":[3],"language":[4,74,142],"models":[5],"have":[6],"led":[7],"to":[8,78,96,103,143],"the":[9,86],"rise":[10],"of":[11,23,54,89,108],"software":[12],"systems":[13],"(i.e.":[14],"agents)":[15],"that":[16,57,129],"execute":[17],"with":[18,30,76,146],"increasing":[19],"autonomy":[20],"on":[21],"behalf":[22],"users":[24],"open,":[26],"multi-party":[27,144],"settings,":[28,44],"interacting":[29],"untrusted":[31],"counterparts":[32],"and":[33,82,121,137],"managing":[34],"private":[35],"information.":[36],"Choreographic":[37],"programming":[38],"offers":[39],"correct-by-construction":[40],"protocol-design":[41],"for":[42,114],"such":[43,111],"but":[45],"assumes":[46],"cooperative":[47],"participants":[48],"--":[49,125,136],"it":[50],"has":[51],"no":[52],"notion":[53],"agent":[55,61,80],"self-interest,":[56],"is,":[58],"why":[59],"an":[60],"will":[62],"follow":[63],"a":[64,72,97,122,126],"protocol.":[65],"In":[66],"this":[67,141],"talk":[68],"we":[69],"introduce":[70],"Pact,":[71],"choreographic":[73],"extended":[75],"operations":[77],"describe":[79],"choices":[81],"preferences,":[83],"drawing":[84],"from":[85,139],"rich":[87],"literature":[88],"game":[90],"theory.":[91],"Every":[92],"Pact":[93,134],"protocol":[94,101],"maps":[95],"formal":[98],"game,":[99],"allowing":[100],"designers":[102],"reason":[104],"about":[105],"game-theoretic":[106],"properties":[107],"their":[109],"protocols,":[110],"as":[112],"solving":[113],"decision":[115,131],"policies.":[116],"We":[117],"present":[118],"Pact's":[119],"design":[120],"preliminary":[123],"implementation":[124],"bounded-rational":[127],"solver":[128],"computes":[130],"policies":[132],"over":[133],"protocols":[135],"findings":[138],"applying":[140],"coordination":[145],"self-interested":[147],"agentic":[148],"participants.":[149]},"counts_by_year":[],"updated_date":"2026-05-07T06:12:12.454206","created_date":"2026-05-07T00:00:00"}