{"id":"https://openalex.org/W2962845465","doi":"https://doi.org/10.1017/s1471068411000615","title":"Autonomous agents coordination: Action languages meet CLP() and Linda","display_name":"Autonomous agents coordination: Action languages meet CLP() and Linda","publication_year":2012,"publication_date":"2012-09-24","ids":{"openalex":"https://openalex.org/W2962845465","doi":"https://doi.org/10.1017/s1471068411000615","mag":"2962845465"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068411000615","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068411000615","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"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":"Theory and Practice of Logic Programming","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/A5064407367","display_name":"Agostino Dovier","orcid":"https://orcid.org/0000-0003-2052-8593"},"institutions":[{"id":"https://openalex.org/I129043915","display_name":"University of Udine","ror":"https://ror.org/05ht0mh31","country_code":"IT","type":"education","lineage":["https://openalex.org/I129043915"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"AGOSTINO DOVIER","raw_affiliation_strings":["Dipartimento di Matematica e Informatica, Universit\u00e0 di Udine, Udine, Italy (e-mail:","Dipartimento di Matematica e Informatica, Universita\u2019 di Udine, Udine, Italy"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Matematica e Informatica, Universit\u00e0 di Udine, Udine, Italy (e-mail:","institution_ids":["https://openalex.org/I129043915"]},{"raw_affiliation_string":"Dipartimento di Matematica e Informatica, Universita\u2019 di Udine, Udine, Italy","institution_ids":["https://openalex.org/I129043915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049720199","display_name":"Andrea Formisano","orcid":"https://orcid.org/0000-0002-6755-9314"},"institutions":[{"id":"https://openalex.org/I27483092","display_name":"University of Perugia","ror":"https://ror.org/00x27da85","country_code":"IT","type":"education","lineage":["https://openalex.org/I27483092"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"ANDREA FORMISANO","raw_affiliation_strings":["Dipartimento di Matematica e Informatica, Universit\u00e0 di Perugia, Perugia, Italy (e-mail:","Dipartimento di Matematica e Informatica Universit\u00e0 di Perugia  Perugia Italy"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Matematica e Informatica, Universit\u00e0 di Perugia, Perugia, Italy (e-mail:","institution_ids":["https://openalex.org/I27483092"]},{"raw_affiliation_string":"Dipartimento di Matematica e Informatica Universit\u00e0 di Perugia  Perugia Italy","institution_ids":["https://openalex.org/I27483092"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024528910","display_name":"Enrico Pontelli","orcid":"https://orcid.org/0000-0002-7753-1737"},"institutions":[{"id":"https://openalex.org/I130769515","display_name":"Pennsylvania State University","ror":"https://ror.org/04p491231","country_code":"US","type":"education","lineage":["https://openalex.org/I130769515"]},{"id":"https://openalex.org/I10052268","display_name":"New Mexico State University","ror":"https://ror.org/00hpz7z43","country_code":"US","type":"education","lineage":["https://openalex.org/I10052268"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"ENRICO PONTELLI","raw_affiliation_strings":["Department of Computer Science, New Mexico State University, University Park, NM, USA (e-mail:","Department of Computer Science, New Mexico State University, University Park, NM, USA ("],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, New Mexico State University, University Park, NM, USA (e-mail:","institution_ids":["https://openalex.org/I10052268","https://openalex.org/I130769515"]},{"raw_affiliation_string":"Department of Computer Science, New Mexico State University, University Park, NM, USA (","institution_ids":["https://openalex.org/I10052268"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5064407367"],"corresponding_institution_ids":["https://openalex.org/I129043915"],"apc_list":null,"apc_paid":null,"fwci":2.2106,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.89781547,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"13","issue":"2","first_page":"149","last_page":"173"},"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9991000294685364,"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.8899111151695251},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.8813782930374146},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6121301054954529},{"id":"https://openalex.org/keywords/planner","display_name":"Planner","score":0.5898211002349854},{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.5702796578407288},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.5510915517807007},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.5049288868904114},{"id":"https://openalex.org/keywords/autonomous-agent","display_name":"Autonomous agent","score":0.47717204689979553},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.4238187372684479},{"id":"https://openalex.org/keywords/action","display_name":"Action (physics)","score":0.41363513469696045},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.39733263850212097},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.37179863452911377},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.31102412939071655}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8899111151695251},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.8813782930374146},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6121301054954529},{"id":"https://openalex.org/C2776999362","wikidata":"https://www.wikidata.org/wiki/Q2349274","display_name":"Planner","level":2,"score":0.5898211002349854},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.5702796578407288},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.5510915517807007},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.5049288868904114},{"id":"https://openalex.org/C13687954","wikidata":"https://www.wikidata.org/wiki/Q4826847","display_name":"Autonomous agent","level":2,"score":0.47717204689979553},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.4238187372684479},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.41363513469696045},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.39733263850212097},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.37179863452911377},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.31102412939071655},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s1471068411000615","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068411000615","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"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":"Theory and Practice of Logic Programming","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5899999737739563,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W150671022","https://openalex.org/W198400421","https://openalex.org/W583926580","https://openalex.org/W1490114956","https://openalex.org/W1497120980","https://openalex.org/W1523868966","https://openalex.org/W1551909346","https://openalex.org/W1638900256","https://openalex.org/W1904065432","https://openalex.org/W1965498649","https://openalex.org/W1970149043","https://openalex.org/W1981994545","https://openalex.org/W1986257313","https://openalex.org/W1993778656","https://openalex.org/W2052992098","https://openalex.org/W2054071520","https://openalex.org/W2062205093","https://openalex.org/W2119952634","https://openalex.org/W2133212815","https://openalex.org/W2133881934","https://openalex.org/W2144010450","https://openalex.org/W2145899763","https://openalex.org/W2146819619","https://openalex.org/W2165670483","https://openalex.org/W2171568542","https://openalex.org/W2342408433","https://openalex.org/W3140030144","https://openalex.org/W4213123625","https://openalex.org/W4232566607","https://openalex.org/W6646776350"],"related_works":["https://openalex.org/W2350278424","https://openalex.org/W1568779110","https://openalex.org/W804484174","https://openalex.org/W2071432835","https://openalex.org/W4234371507","https://openalex.org/W4299534542","https://openalex.org/W1628824497","https://openalex.org/W4239401009","https://openalex.org/W2778896642","https://openalex.org/W2285865904"],"abstract_inverted_index":{"Abstract":[0],"The":[1,118,126],"paper":[2],"presents":[3],"a":[4,12,28,43,75,104,114,123,131],"knowledge":[5,45],"representation":[6],"formalism,":[7],"in":[8,27,130,135],"the":[9,54,56,65,69,80,93,97,100],"form":[10],"of":[11,40,53,61,71,79,96,99,108],"high-level":[13],"Action":[14],"Description":[15],"Language":[16],"(ADL)":[17],"for":[18],"multi-agent":[19],"systems,":[20],"where":[21],"autonomous":[22],"agents":[23,57,121],"reason":[24],"and":[25,63],"act":[26],"shared":[29,44,51],"environment.":[30],"Agents":[31],"are":[32,38],"autonomously":[33,82],"pursuing":[34],"individual":[35],"goals,":[36],"but":[37],"capable":[39],"interacting":[41],"through":[42,50],"repository.":[46],"In":[47],"their":[48],"interactions":[49],"portions":[52],"world,":[55],"deal":[58],"with":[59],"problems":[60],"synchronization":[62],"concurrency;":[64],"action":[66],"language":[67],"allows":[68],"description":[70],"strategies":[72],"to":[73,103],"ensure":[74],"consistent":[76],"global":[77],"execution":[78],"agents\u2019":[81],"derived":[83],"plans.":[84],"A":[85],"distributed":[86],"planning":[87],"problem":[88,101],"is":[89,111,128],"formalized":[90],"by":[91,113],"providing":[92],"declarative":[94],"specifications":[95,110],"portion":[98],"pertaining":[102],"single":[105],"agent.":[106],"Each":[107],"these":[109],"executable":[112],"stand-alone":[115],"CLP-based":[116],"planner.":[117],"coordination":[119],"among":[120],"exploits":[122],"Linda":[124],"infrastructure.":[125],"proposal":[127],"validated":[129],"prototype":[132],"implementation":[133],"developed":[134],"SICStus":[136],"Prolog.":[137]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":3},{"year":2013,"cited_by_count":2}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}