{"id":"https://openalex.org/W2063104863","doi":"https://doi.org/10.1145/2526270","title":"Formalizing Negotiations Using Logic Programming","display_name":"Formalizing Negotiations Using Logic Programming","publication_year":2014,"publication_date":"2014-04-01","ids":{"openalex":"https://openalex.org/W2063104863","doi":"https://doi.org/10.1145/2526270","mag":"2063104863"},"language":"en","primary_location":{"id":"doi:10.1145/2526270","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2526270","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computational Logic","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/A5063459912","display_name":"Tran Cao Son","orcid":"https://orcid.org/0000-0003-3689-8433"},"institutions":[{"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":true,"raw_author_name":"Tran Cao Son","raw_affiliation_strings":["New Mexico State University, Las Cruces, NM","New Mexico State University, Las Cruces, NM;"],"affiliations":[{"raw_affiliation_string":"New Mexico State University, Las Cruces, NM","institution_ids":["https://openalex.org/I10052268"]},{"raw_affiliation_string":"New Mexico State University, Las Cruces, NM;","institution_ids":["https://openalex.org/I10052268"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024528910","display_name":"Enrico Pontelli","orcid":"https://orcid.org/0000-0002-7753-1737"},"institutions":[{"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":["New Mexico State University, Las Cruces, NM","New Mexico State University, Las Cruces, NM;"],"affiliations":[{"raw_affiliation_string":"New Mexico State University, Las Cruces, NM","institution_ids":["https://openalex.org/I10052268"]},{"raw_affiliation_string":"New Mexico State University, Las Cruces, NM;","institution_ids":["https://openalex.org/I10052268"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103229898","display_name":"Ngoc-Hieu Nguyen","orcid":"https://orcid.org/0009-0009-5873-6532"},"institutions":[{"id":"https://openalex.org/I1315456113","display_name":"Vinh University","ror":"https://ror.org/0244cgm12","country_code":"VN","type":"education","lineage":["https://openalex.org/I1315456113"]}],"countries":["VN"],"is_corresponding":false,"raw_author_name":"Ngoc-Hieu Nguyen","raw_affiliation_strings":["Vinh University, VietNam","Vinh University, VietNam#TAB#"],"affiliations":[{"raw_affiliation_string":"Vinh University, VietNam","institution_ids":["https://openalex.org/I1315456113"]},{"raw_affiliation_string":"Vinh University, VietNam#TAB#","institution_ids":["https://openalex.org/I1315456113"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072948790","display_name":"Chiaki Sakama","orcid":"https://orcid.org/0000-0002-9966-3722"},"institutions":[{"id":"https://openalex.org/I75198481","display_name":"Wakayama University","ror":"https://ror.org/05wr49d48","country_code":"JP","type":"education","lineage":["https://openalex.org/I75198481"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Chiaki Sakama","raw_affiliation_strings":["Wakayama University, Wakayama, Japan","Wakayama University,Wakayama, Japan#TAB#"],"affiliations":[{"raw_affiliation_string":"Wakayama University, Wakayama, Japan","institution_ids":["https://openalex.org/I75198481"]},{"raw_affiliation_string":"Wakayama University,Wakayama, Japan#TAB#","institution_ids":["https://openalex.org/I75198481"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5063459912"],"corresponding_institution_ids":["https://openalex.org/I10052268"],"apc_list":null,"apc_paid":null,"fwci":2.045,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.89308342,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"15","issue":"2","first_page":"1","last_page":"30"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","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/T11010","display_name":"Logic, Reasoning, and Knowledge","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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9997000098228455,"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.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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7805633544921875},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.7590373754501343},{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.6797122955322266},{"id":"https://openalex.org/keywords/negotiation","display_name":"Negotiation","score":0.6240778565406799},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.563746452331543},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4971347153186798},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.4957779347896576},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer set programming","score":0.4869452714920044},{"id":"https://openalex.org/keywords/logic-program","display_name":"Logic program","score":0.46094781160354614},{"id":"https://openalex.org/keywords/abductive-reasoning","display_name":"Abductive reasoning","score":0.4331083595752716},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.43047279119491577},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3978303372859955},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37142959237098694}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7805633544921875},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.7590373754501343},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.6797122955322266},{"id":"https://openalex.org/C199776023","wikidata":"https://www.wikidata.org/wiki/Q202875","display_name":"Negotiation","level":2,"score":0.6240778565406799},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.563746452331543},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4971347153186798},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.4957779347896576},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.4869452714920044},{"id":"https://openalex.org/C2987117450","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic program","level":3,"score":0.46094781160354614},{"id":"https://openalex.org/C166088908","wikidata":"https://www.wikidata.org/wiki/Q308495","display_name":"Abductive reasoning","level":2,"score":0.4331083595752716},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.43047279119491577},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3978303372859955},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37142959237098694},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2526270","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2526270","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computational Logic","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.41999998688697815,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":42,"referenced_works":["https://openalex.org/W53599898","https://openalex.org/W109609432","https://openalex.org/W134063788","https://openalex.org/W155001031","https://openalex.org/W205152477","https://openalex.org/W1485064038","https://openalex.org/W1511711492","https://openalex.org/W1517480288","https://openalex.org/W1576273487","https://openalex.org/W1582116930","https://openalex.org/W1600235455","https://openalex.org/W1636110128","https://openalex.org/W1639901403","https://openalex.org/W1881462418","https://openalex.org/W1964167056","https://openalex.org/W1986572570","https://openalex.org/W1988650943","https://openalex.org/W1989663354","https://openalex.org/W2000075593","https://openalex.org/W2011124182","https://openalex.org/W2011829752","https://openalex.org/W2023533411","https://openalex.org/W2025008902","https://openalex.org/W2034185749","https://openalex.org/W2043313068","https://openalex.org/W2081505745","https://openalex.org/W2097502061","https://openalex.org/W2108260662","https://openalex.org/W2121204934","https://openalex.org/W2144187367","https://openalex.org/W2145340246","https://openalex.org/W2151249330","https://openalex.org/W2152131859","https://openalex.org/W2166826123","https://openalex.org/W2405319418","https://openalex.org/W2481559215","https://openalex.org/W2528816995","https://openalex.org/W2608239929","https://openalex.org/W2772521659","https://openalex.org/W3124981562","https://openalex.org/W4237356335","https://openalex.org/W4250088333"],"related_works":["https://openalex.org/W1493824320","https://openalex.org/W2003151706","https://openalex.org/W50928870","https://openalex.org/W2741053223","https://openalex.org/W1511336005","https://openalex.org/W2097388634","https://openalex.org/W4312098906","https://openalex.org/W26136800","https://openalex.org/W1542459781","https://openalex.org/W1487563773"],"abstract_inverted_index":{"The":[0,11,35,71],"article":[1,36],"introduces":[2],"a":[3,22],"logical":[4],"framework":[5,12],"for":[6,26],"negotiation":[7,64,72],"among":[8],"dishonest":[9],"agents.":[10,70],"relies":[13],"on":[14],"the":[15,50,61,77,88,107],"use":[16],"of":[17,44,63,81,90],"abductive":[18,82],"logic":[19,83],"programming":[20],"as":[21],"knowledge":[23,52],"representation":[24],"language":[25],"agents":[27,45,94],"to":[28,65],"deal":[29],"with":[30],"incomplete":[31],"information":[32,43],"and":[33,85],"preferences.":[34],"shows":[37],"how":[38],"intentionally":[39],"false":[40],"or":[41],"inaccurate":[42],"can":[46,56,95],"be":[47,57],"encoded":[48],"in":[49,60,97],"agents'":[51],"bases.":[53],"Such":[54],"disinformation":[55],"effectively":[58],"used":[59],"process":[62],"have":[66],"desired":[67],"outcomes":[68],"by":[69],"processes":[73],"are":[74],"formulated":[75],"under":[76],"answer":[78],"set":[79],"semantics":[80],"programming,":[84],"they":[86],"enable":[87],"exploration":[89],"various":[91],"strategies":[92],"that":[93],"employ":[96],"their":[98],"negotiation.":[99],"A":[100],"preliminary":[101],"implementation":[102],"has":[103],"been":[104],"developed":[105],"using":[106],"ASP-Prolog":[108],"platform.":[109]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}