{"id":"https://openalex.org/W4383227679","doi":"https://doi.org/10.1017/s1471068423000194","title":"An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games","display_name":"An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games","publication_year":2023,"publication_date":"2023-07-05","ids":{"openalex":"https://openalex.org/W4383227679","doi":"https://doi.org/10.1017/s1471068423000194"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068423000194","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1017/s1471068423000194","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/A5015618878","display_name":"Stefano Bistarelli","orcid":"https://orcid.org/0000-0001-7411-9678"},"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":true,"raw_author_name":"STEFANO BISTARELLI","raw_affiliation_strings":["University of Perugia, Perugia, Italy (e-mails:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Perugia, Perugia, Italy (e-mails:","institution_ids":["https://openalex.org/I27483092"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039218843","display_name":"Carlo Taticchi","orcid":"https://orcid.org/0000-0003-1260-4672"},"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":"CARLO TATICCHI","raw_affiliation_strings":["University of Perugia, Perugia, Italy (e-mails:"],"raw_orcid":"https://orcid.org/0000-0003-1260-4672","affiliations":[{"raw_affiliation_string":"University of Perugia, Perugia, Italy (e-mails:","institution_ids":["https://openalex.org/I27483092"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5028249343","display_name":"Maria Chiara Meo","orcid":"https://orcid.org/0000-0002-3700-3788"},"institutions":[{"id":"https://openalex.org/I39387349","display_name":"University of Chieti-Pescara","ror":"https://ror.org/00qjgza05","country_code":"IT","type":"education","lineage":["https://openalex.org/I39387349"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"MARIA CHIARA MEO","raw_affiliation_strings":["University \u201cG. d\u2019Annunzio\u201d of Chieti-Pescara, Chieti, Italy (e-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University \u201cG. d\u2019Annunzio\u201d of Chieti-Pescara, Chieti, Italy (e-mail:","institution_ids":["https://openalex.org/I39387349"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5015618878"],"corresponding_institution_ids":["https://openalex.org/I27483092"],"apc_list":null,"apc_paid":null,"fwci":0.1704,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.54469523,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"23","issue":"6","first_page":"1307","last_page":"1333"},"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9990000128746033,"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.9987000226974487,"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.909524142742157},{"id":"https://openalex.org/keywords/interleaving","display_name":"Interleaving","score":0.7137463688850403},{"id":"https://openalex.org/keywords/argumentation-theory","display_name":"Argumentation theory","score":0.7117403149604797},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6547636389732361},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5603901147842407},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.21916693449020386},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.08125793933868408}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.909524142742157},{"id":"https://openalex.org/C28034677","wikidata":"https://www.wikidata.org/wiki/Q17092530","display_name":"Interleaving","level":2,"score":0.7137463688850403},{"id":"https://openalex.org/C65059942","wikidata":"https://www.wikidata.org/wiki/Q270105","display_name":"Argumentation theory","level":2,"score":0.7117403149604797},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6547636389732361},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5603901147842407},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.21916693449020386},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.08125793933868408},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s1471068423000194","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1017/s1471068423000194","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":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":48,"referenced_works":["https://openalex.org/W154256342","https://openalex.org/W271057898","https://openalex.org/W1544943298","https://openalex.org/W1554370515","https://openalex.org/W1569903868","https://openalex.org/W1570690073","https://openalex.org/W1606218761","https://openalex.org/W1840368419","https://openalex.org/W1966873207","https://openalex.org/W1975303601","https://openalex.org/W1981281472","https://openalex.org/W1994157580","https://openalex.org/W2022846948","https://openalex.org/W2023808162","https://openalex.org/W2077401545","https://openalex.org/W2082493915","https://openalex.org/W2103175089","https://openalex.org/W2104126268","https://openalex.org/W2116566018","https://openalex.org/W2119709400","https://openalex.org/W2129829265","https://openalex.org/W2142423074","https://openalex.org/W2143082793","https://openalex.org/W2145790759","https://openalex.org/W2154849078","https://openalex.org/W2161484642","https://openalex.org/W2556190794","https://openalex.org/W2742131233","https://openalex.org/W2748806148","https://openalex.org/W2762208211","https://openalex.org/W2885218246","https://openalex.org/W3127358641","https://openalex.org/W3162147818","https://openalex.org/W4206256419","https://openalex.org/W4211008702","https://openalex.org/W4230734276","https://openalex.org/W4245219681","https://openalex.org/W4250868552","https://openalex.org/W4319942571","https://openalex.org/W6600781116","https://openalex.org/W6603487998","https://openalex.org/W6628970345","https://openalex.org/W6629657325","https://openalex.org/W6636768363","https://openalex.org/W6712783746","https://openalex.org/W6787802305","https://openalex.org/W6804343113","https://openalex.org/W6908331371"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W1655266410","https://openalex.org/W2389051085","https://openalex.org/W2141332034","https://openalex.org/W2330343234","https://openalex.org/W1901012776","https://openalex.org/W4256185029","https://openalex.org/W4388437769","https://openalex.org/W2762454042","https://openalex.org/W1620904064"],"abstract_inverted_index":{"Abstract":[0,63],"Time":[1],"is":[2,99,120],"a":[3,15,20,34,56,59,68,88,96,167],"crucial":[4],"factor":[5],"in":[6,19,50],"modelling":[7,37],"dynamic":[8],"behaviours":[9],"of":[10,47,62,82,116,129,159],"intelligent":[11,152],"agents:":[12],"activities":[13],"have":[14],"determined":[16],"temporal":[17,48],"duration":[18],"real-world":[21],"environment,":[22],"and":[23,77,146],"previous":[24],"actions":[25,53],"influence":[26],"agents\u2019":[27],"behaviour.":[28],"In":[29],"this":[30,112],"paper,":[31],"we":[32,132,155],"propose":[33],"language":[35,57,161],"for":[36,101,108],"concurrent":[38],"interaction":[39],"between":[40,151],"agents":[41,74,119],"that":[42,162],"also":[43,133],"allows":[44],"the":[45,73,80,117,127,130,160],"specification":[46],"intervals":[49],"which":[51],"particular":[52],"occur.":[54],"Such":[55],"exploits":[58],"timed":[60],"version":[61],"Argumentation":[64],"Frameworks":[65],"to":[66,75,87,140],"realise":[67],"shared":[69],"memory":[70],"used":[71,100,139],"by":[72],"communicate":[76],"reason":[78],"on":[79,95],"acceptability":[81],"their":[83],"beliefs":[84],"with":[85,105],"respect":[86],"given":[89],"time":[90,109],"interval.":[91],"An":[92],"interleaving":[93],"model":[94,141],"single":[97],"processor":[98],"basic":[102],"computation":[103],"steps,":[104],"maximum":[106],"parallelism":[107],"elapsing.":[110],"Following":[111],"approach,":[113],"only":[114],"one":[115],"enabled":[118],"executed":[121],"at":[122],"each":[123],"moment.":[124],"To":[125],"demonstrate":[126],"capabilities":[128],"language,":[131],"show":[134],"how":[135],"it":[136],"can":[137,163],"be":[138,164],"interactions":[142],"such":[143],"as":[144],"debates":[145],"dialogue":[147],"games":[148],"taking":[149],"place":[150],"agents.":[153],"Lastly,":[154],"present":[156],"an":[157],"implementation":[158],"accessed":[165],"via":[166],"web":[168],"interface.":[169]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2025-12-23T23:11:35.936235","created_date":"2025-10-10T00:00:00"}