{"id":"https://openalex.org/W2787357409","doi":"https://doi.org/10.23638/lmcs-14(1:4)2018","title":"Soundness in negotiations","display_name":"Soundness in negotiations","publication_year":2018,"publication_date":"2018-01-16","ids":{"openalex":"https://openalex.org/W2787357409","doi":"https://doi.org/10.23638/lmcs-14(1:4)2018","mag":"2787357409"},"language":"en","primary_location":{"id":"doi:10.23638/lmcs-14(1:4)2018","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-14(1:4)2018","pdf_url":"https://lmcs.episciences.org/4213/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/4213/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5090378914","display_name":"Javier Esparza","orcid":"https://orcid.org/0000-0001-9862-4919"},"institutions":[{"id":"https://openalex.org/I4210144795","display_name":"Institut F\u00fcr Angewandte Kulturforschung","ror":"https://ror.org/04dmgcf89","country_code":"DE","type":"nonprofit","lineage":["https://openalex.org/I4210144795"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Javier Esparza","raw_affiliation_strings":["Institut f\u00fcr Informatik"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Informatik","institution_ids":["https://openalex.org/I4210144795"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077133539","display_name":"Denis Kuperberg","orcid":"https://orcid.org/0000-0001-5406-717X"},"institutions":[{"id":"https://openalex.org/I4210142254","display_name":"Laboratoire Bordelais de Recherche en Informatique","ror":"https://ror.org/03adqg323","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I15057530","https://openalex.org/I4210142254","https://openalex.org/I4210159245","https://openalex.org/I4210160189"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Denis Kuperberg","raw_affiliation_strings":["Laboratoire Bordelais de Recherche en Informatique"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire Bordelais de Recherche en Informatique","institution_ids":["https://openalex.org/I4210142254"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044780614","display_name":"Anca Muscholl","orcid":"https://orcid.org/0000-0002-8214-204X"},"institutions":[{"id":"https://openalex.org/I4210142254","display_name":"Laboratoire Bordelais de Recherche en Informatique","ror":"https://ror.org/03adqg323","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I15057530","https://openalex.org/I4210142254","https://openalex.org/I4210159245","https://openalex.org/I4210160189"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Anca Muscholl","raw_affiliation_strings":["Laboratoire Bordelais de Recherche en Informatique"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire Bordelais de Recherche en Informatique","institution_ids":["https://openalex.org/I4210142254"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5064757019","display_name":"Igor Walukiewicz","orcid":null},"institutions":[{"id":"https://openalex.org/I4210142254","display_name":"Laboratoire Bordelais de Recherche en Informatique","ror":"https://ror.org/03adqg323","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I15057530","https://openalex.org/I4210142254","https://openalex.org/I4210159245","https://openalex.org/I4210160189"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Igor Walukiewicz","raw_affiliation_strings":["Laboratoire Bordelais de Recherche en Informatique"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire Bordelais de Recherche en Informatique","institution_ids":["https://openalex.org/I4210142254"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5090378914"],"corresponding_institution_ids":["https://openalex.org/I4210144795"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.0172713,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"Volume 14, Issue 1","issue":"Concurrency theory","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9962999820709229,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9962999820709229,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9962000250816345,"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/T10142","display_name":"Formal Methods in Verification","score":0.9914000034332275,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/soundness","display_name":"Soundness","score":0.9919961094856262},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6486345529556274},{"id":"https://openalex.org/keywords/negotiation","display_name":"Negotiation","score":0.5868167877197266},{"id":"https://openalex.org/keywords/pspace","display_name":"PSPACE","score":0.5379332900047302},{"id":"https://openalex.org/keywords/complexity-class","display_name":"Complexity class","score":0.5127464532852173},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.4945068061351776},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4699559211730957},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.453019380569458},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.40443187952041626},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3768332004547119},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2517055571079254},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1469656229019165},{"id":"https://openalex.org/keywords/law","display_name":"Law","score":0.06549093127250671}],"concepts":[{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.9919961094856262},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6486345529556274},{"id":"https://openalex.org/C199776023","wikidata":"https://www.wikidata.org/wiki/Q202875","display_name":"Negotiation","level":2,"score":0.5868167877197266},{"id":"https://openalex.org/C197685441","wikidata":"https://www.wikidata.org/wiki/Q500716","display_name":"PSPACE","level":3,"score":0.5379332900047302},{"id":"https://openalex.org/C39637292","wikidata":"https://www.wikidata.org/wiki/Q908207","display_name":"Complexity class","level":3,"score":0.5127464532852173},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.4945068061351776},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4699559211730957},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.453019380569458},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.40443187952041626},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3768332004547119},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2517055571079254},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1469656229019165},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.06549093127250671},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","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":8,"locations":[{"id":"doi:10.23638/lmcs-14(1:4)2018","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-14(1:4)2018","pdf_url":"https://lmcs.episciences.org/4213/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1703.05137","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1703.05137","pdf_url":"https://arxiv.org/pdf/1703.05137","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:mediatum.ub.tum.de:node/1510155","is_oa":true,"landing_page_url":"http://mediatum.ub.tum.de/node?id=1510155","pdf_url":"https://mediatum.ub.tum.de/doc/1510155/document.pdf","source":{"id":"https://openalex.org/S4377196330","display_name":"mediaTUM  (Technical University of Munich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I62916508","host_organization_name":"Technical University of Munich","host_organization_lineage":["https://openalex.org/I62916508"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"article"},{"id":"pmh:oai:HAL:hal-01533203v1","is_oa":false,"landing_page_url":"https://hal.science/hal-01533203","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"27th International Conference on Concurrency Theory, CONCUR 2016, Aug 2016, Quebec City, Canada","raw_type":"Conference papers"},{"id":"pmh:oai:HAL:hal-01891179v1","is_oa":true,"landing_page_url":"https://hal.science/hal-01891179","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, 2018, ⟨10.4230/LIPIcs⟩","raw_type":"Journal articles"},{"id":"pmh:oai:doaj.org/article:fcd6392b882447c097ca9b1bb2fe52ec","is_oa":true,"landing_page_url":"https://doaj.org/article/fcd6392b882447c097ca9b1bb2fe52ec","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 14, Issue 1, Iss Concurrency theory (2018)","raw_type":"article"},{"id":"doi:10.48550/arxiv.1703.05137","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1703.05137","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-journal"},{"id":"mag:2787357409","is_oa":true,"landing_page_url":"https://dblp.uni-trier.de/db/journals/corr/corr1703.html#EsparzaKMW17","pdf_url":null,"source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":"Logical Methods in Computer Science","raw_type":null}],"best_oa_location":{"id":"doi:10.23638/lmcs-14(1:4)2018","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-14(1:4)2018","pdf_url":"https://lmcs.episciences.org/4213/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.44999998807907104,"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320323383","display_name":"Technische Universit\u00e4t M\u00fcnchen","ror":"https://ror.org/02kkvpp62"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2787357409.pdf","grobid_xml":"https://content.openalex.org/works/W2787357409.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2964092958","https://openalex.org/W2611340807","https://openalex.org/W2976268830","https://openalex.org/W2053910508","https://openalex.org/W2799446534","https://openalex.org/W3037285866","https://openalex.org/W2964566644","https://openalex.org/W2491372439","https://openalex.org/W2588353698","https://openalex.org/W2951880362","https://openalex.org/W2231090241","https://openalex.org/W3099526688","https://openalex.org/W2965405805","https://openalex.org/W1486432780","https://openalex.org/W2899412324","https://openalex.org/W2396104876","https://openalex.org/W80409386","https://openalex.org/W1892058059","https://openalex.org/W2411950980","https://openalex.org/W1493407222"],"abstract_inverted_index":{"Negotiations":[0],"are":[1,229],"a":[2,15,54,169,248],"formalism":[3],"for":[4,103,119,163,231],"describing":[5],"multiparty":[6],"distributed":[7],"cooperation.":[8],"Alternatively,":[9],"they":[10,83,236],"can":[11,38,157,199],"be":[12,28,40,158,200],"seen":[13],"as":[14,22],"model":[16],"of":[17,53,78,89,99,111,196,211],"concurrency":[18],"with":[19],"synchronized":[20],"choice":[21],"communication":[23],"primitive.":[24],"Well-designed":[25],"negotiations":[26],"must":[27],"sound,":[29],"meaning":[30],"that,":[31,225],"whatever":[32],"its":[33],"current":[34],"state,":[35],"the":[36,62,87,90,97,100,104,108,116,130,138,143,154,174,180,188,192,197,209,240],"negotiation":[37,55,63],"still":[39],"completed.":[41],"In":[42,107,137,179],"earlier":[43,131],"work,":[44],"Esparza":[45,148],"and":[46,58,93,122,149,182,215],"Desel":[47],"have":[48,67],"shown":[49],"that":[50,124,153,187],"deciding":[51],"soundness":[52,72,101,117,155,244],"is":[56,64,126,245],"Pspace-complete,":[57],"in":[59,160,191,239,252],"Ptime":[60],"if":[61],"deterministic.":[65],"They":[66],"also":[68,94,255],"extended":[69,91],"their":[70],"polynomial":[71,161],"algorithm":[73],"to":[74,202,257],"an":[75],"intermediate":[76,105],"class":[77,172],"acyclic,":[79,164],"non-deterministic":[80],"negotiations.":[81],"However,":[82],"did":[84],"not":[85,246],"analyze":[86,258],"runtime":[88],"algorithm,":[92,132],"left":[95,145],"open":[96,146],"complexity":[98],"problem":[102,118,156,210],"class.":[106],"first":[109,193],"part":[110,140],"this":[112],"paper":[113,198],"we":[114,141,185,223],"revisit":[115],"deterministic":[120,167,234],"negotiations,":[121,168,235],"show":[123,186,224],"it":[125],"Nlogspace-complete,":[127],"improving":[128],"on":[129],"which":[133],"requires":[134],"linear":[135],"space.":[136],"second":[139],"answer":[142],"question":[144],"by":[147,177],"Desel.":[150],"We":[151],"prove":[152],"solved":[159],"time":[162],"weakly":[165],"non-":[166],"more":[170],"general":[171],"than":[173,206],"one":[175],"considered":[176],"them.":[178],"third":[181],"final":[183],"part,":[184],"techniques":[189],"developed":[190],"two":[194],"parts":[195],"applied":[201],"analysis":[203,219],"problems":[204,228],"other":[205,259],"soundness,":[207],"including":[208],"detecting":[212],"race":[213],"conditions,":[214],"several":[216],"classical":[217],"static":[218],"problems.":[220],"More":[221],"specifically,":[222],"while":[226],"these":[227],"intractable":[230],"arbitrary":[232],"acyclic":[233],"become":[237],"tractable":[238],"sound":[241],"case.":[242],"So":[243],"only":[247],"desirable":[249],"behavioral":[250],"property":[251],"itself,":[253],"but":[254],"helps":[256],"properties.":[260]},"counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}