{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:19:56Z","timestamp":1750306796520,"version":"3.41.0"},"reference-count":42,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2014,4,1]],"date-time":"2014-04-01T00:00:00Z","timestamp":1396310400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Comput. Logic"],"published-print":{"date-parts":[[2014,4]]},"abstract":"<jats:p>The article introduces a logical framework for negotiation among dishonest agents. The framework relies on the use of abductive logic programming as a knowledge representation language for agents to deal with incomplete information and preferences. The article shows how intentionally false or inaccurate information of agents can be encoded in the agents' knowledge bases. Such disinformation can be effectively used in the process of negotiation to have desired outcomes by agents. The negotiation processes are formulated under the answer set semantics of abductive logic programming, and they enable the exploration of various strategies that agents can employ in their negotiation. A preliminary implementation has been developed using the ASP-Prolog platform.<\/jats:p>","DOI":"10.1145\/2526270","type":"journal-article","created":{"date-parts":[[2014,5,7]],"date-time":"2014-05-07T12:48:53Z","timestamp":1399466933000},"page":"1-30","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Formalizing Negotiations Using Logic Programming"],"prefix":"10.1145","volume":"15","author":[{"given":"Tran Cao","family":"Son","sequence":"first","affiliation":[{"name":"New Mexico State University, Las Cruces, NM"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Pontelli","sequence":"additional","affiliation":[{"name":"New Mexico State University, Las Cruces, NM"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ngoc-Hieu","family":"Nguyen","sequence":"additional","affiliation":[{"name":"Vinh University, VietNam"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chiaki","family":"Sakama","sequence":"additional","affiliation":[{"name":"Wakayama University, Wakayama, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,5,2]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1329125.1329317"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068403001807"},{"key":"e_1_2_1_3_1","doi-asserted-by":"crossref","unstructured":"T. X. Bui and M. F. Shakun. 1996. Negotiation processes eovlutionary systems design and negotiator. In Negotiation Processes Kluwer Academic Publishers 39--53.  T. X. Bui and M. F. Shakun. 1996. Negotiation processes eovlutionary systems design and negotiator. In Negotiation Processes Kluwer Academic Publishers 39--53.","DOI":"10.1007\/978-94-009-1824-5_4"},{"volume-title":"Proceedings of the 7th Workshop on Nonmonotonic Reasoning, Action and Change.","author":"Chen W.","key":"e_1_2_1_4_1","unstructured":"W. Chen , M. Zhang , and N. Foo . 2006. Repeated negotiation of logic programs . In Proceedings of the 7th Workshop on Nonmonotonic Reasoning, Action and Change. W. Chen, M. Zhang, and N. Foo. 2006. Repeated negotiation of logic programs. In Proceedings of the 7th Workshop on Nonmonotonic Reasoning, Action and Change."},{"volume-title":"Proceedings of the 6th International Symposium on Practical Aspects of Declarative Languages (PADL'04)","author":"El-Khatib O.","key":"e_1_2_1_5_1","unstructured":"O. El-Khatib , E. Pontelli , and T. C. Son . 2004. ASP-Prolog: A system for reasoning about answer set programs in Prolog . In Proceedings of the 6th International Symposium on Practical Aspects of Declarative Languages (PADL'04) . Springer, 148--162. O. El-Khatib, E. Pontelli, and T. C. Son. 2004. ASP-Prolog: A system for reasoning about answer set programs in Prolog. In Proceedings of the 6th International Symposium on Practical Aspects of Declarative Languages (PADL'04). Springer, 148--162."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1257\/mic.2.1.1"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(03)00115-2"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-005-4688-7"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/1622572.1622583"},{"key":"e_1_2_1_10_1","volume-title":"Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'09)","volume":"2","author":"Fatima S.","unstructured":"S. Fatima , M. Wooldridge , and N. R. Jennings . 2009. An analysis of feasible solutions for multi-issue negotiation involving nonlinear utility functions . In Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'09) . Vol. 2 , C. Sierra, C. Castelfranchi, K. S. Decker, and J. S. Sichman, Eds., IFAAMAS, 1041--1048. S. Fatima, M. Wooldridge, and N. R. Jennings. 2009. An analysis of feasible solutions for multi-issue negotiation involving nonlinear utility functions. In Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'09). Vol. 2, C. Sierra, C. Castelfranchi, K. S. Decker, and J. S. Sichman, Eds., IFAAMAS, 1041--1048."},{"key":"e_1_2_1_11_1","doi-asserted-by":"crossref","unstructured":"H. G. Frankfurt. 2005. On Bullshit. Princeton University Press.  H. G. Frankfurt. 2005. On Bullshit. Princeton University Press.","DOI":"10.1515\/9781400826537"},{"volume-title":"Proceedings of the 7th International Conference on Logic Programming. D. Warren and Peter Szeredi, Eds., 579--597","author":"Gelfond M.","key":"e_1_2_1_12_1","unstructured":"M. Gelfond and V. Lifschitz . 1990. Logic programs with classical negation . In Proceedings of the 7th International Conference on Logic Programming. D. Warren and Peter Szeredi, Eds., 579--597 . M. Gelfond and V. Lifschitz. 1990. Logic programs with classical negation. In Proceedings of the 7th International Conference on Logic Programming. D. Warren and Peter Szeredi, Eds., 579--597."},{"volume-title":"Proceedings of the International Confernece on Practical Applications of Intelligent Agents and Multi-Agent Systems. 23--30","author":"Jennings N. R.","key":"e_1_2_1_13_1","unstructured":"N. R. Jennings , S. Parsons , C. Sierra , and P. Faratin . 2000. Automated negotiation . In Proceedings of the International Confernece on Practical Applications of Intelligent Agents and Multi-Agent Systems. 23--30 . N. R. Jennings, S. Parsons, C. Sierra, and P. Faratin. 2000. Automated negotiation. In Proceedings of the International Confernece on Practical Applications of Intelligent Agents and Multi-Agent Systems. 23--30."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1160633.1160701"},{"key":"e_1_2_1_15_1","doi-asserted-by":"crossref","unstructured":"A. C. Kakas R. Kowalski and F. Toni. 1998. The role of abduction in logic programming. In Handbook of Logic in Artificial Intelligence 235--324.  A. C. Kakas R. Kowalski and F. Toni. 1998. The role of abduction in logic programming. In Handbook of Logic in Artificial Intelligence 235--324.","DOI":"10.1093\/oso\/9780198537922.003.0007"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejor.2005.04.056"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(97)00025-8"},{"volume-title":"Strategic Negotiation in Multiagent Systems","author":"Kraus S.","key":"e_1_2_1_18_1","unstructured":"S. Kraus . 2001. Strategic Negotiation in Multiagent Systems . The MIT Press . S. Kraus. 2001. Strategic Negotiation in Multiagent Systems. The MIT Press."},{"key":"e_1_2_1_19_1","unstructured":"R. Lewicki B. Barry D. Saunders and J. Minton. 2003. Negotiation. McGraw Hill.  R. Lewicki B. Barry D. Saunders and J. Minton. 2003. Negotiation. McGraw Hill."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10462-009-9107-8"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5840\/ijap200822216"},{"key":"e_1_2_1_22_1","doi-asserted-by":"crossref","unstructured":"V. Marek and M. Truszczy\u0144ski. 1999. Stable models and an alternative logic programming paradigm. In The Logic Programming Paradigm: A 25-Year Perspective 375--398.  V. Marek and M. Truszczy\u0144ski. 1999. Stable models and an alternative logic programming paradigm. In The Logic Programming Paradigm: A 25-Year Perspective 375--398.","DOI":"10.1007\/978-3-642-60085-2_17"},{"key":"e_1_2_1_23_1","unstructured":"T. Meyer N. Foo R. Kwok and D. Zhang. 2004. Logical foundations of negotiation: Strategies and preferences. In Principles of Knowledge Representation and Reasoning 311--318.  T. Meyer N. Foo R. Kwok and D. Zhang. 2004. Logical foundations of negotiation: Strategies and preferences. In Principles of Knowledge Representation and Reasoning 311--318."},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1024871921144"},{"key":"e_1_2_1_25_1","doi-asserted-by":"crossref","unstructured":"N. H.\n      Nguyen T. C.\n      Son E.\n      Pontelli and \n      C.\n      Sakama\n  . \n  2011\n  . ASP-Prolog for negotiation among dishonest agents. In Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'11). J. P. Delgrande and W. Faber Eds. Lecture Notes in Computer Science vol. \n  6645 Springer 331--344.   N. H. Nguyen T. C. Son E. Pontelli and C. Sakama. 2011. ASP-Prolog for negotiation among dishonest agents. In Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'11). J. P. Delgrande and W. Faber Eds. Lecture Notes in Computer Science vol. 6645 Springer 331--344.","DOI":"10.1007\/978-3-642-20895-9_38"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.elerap.2005.06.005"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1052220.1052231"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018930122475"},{"volume-title":"Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning","author":"Pontelli E.","key":"e_1_2_1_29_1","unstructured":"E. Pontelli , T. C. Son , and N.-H. Nguyen . 2011. Combining answer set programming and Prolog: The ASP-Prolog system . In Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning , Springer , 452--472. E. Pontelli, T. C. Son, and N.-H. Nguyen. 2011. Combining answer set programming and Prolog: The ASP-Prolog system. In Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, Springer, 452--472."},{"key":"e_1_2_1_30_1","volume-title":"Social Conflict: Escalation, Stalemate, and Settlment","author":"Pruitt D.","year":"2004","unstructured":"D. Pruitt and S. Kim . 2004 . Social Conflict: Escalation, Stalemate, and Settlment . McGraw Hill . D. Pruitt and S. Kim. 2004. Social Conflict: Escalation, Stalemate, and Settlment. McGraw Hill."},{"key":"e_1_2_1_31_1"},{"volume-title":"Proceedings of the 8th European Conferences on Logics and AI. Springer, 419--431","author":"Sadri F.","key":"e_1_2_1_32_1","unstructured":"F. Sadri , F. Toni , and P. Torroni . 2002. An abductive logic programming architecture for negotiating agents . In Proceedings of the 8th European Conferences on Logics and AI. Springer, 419--431 . F. Sadri, F. Toni, and P. Torroni. 2002. An abductive logic programming architecture for negotiating agents. In Proceedings of the 8th European Conferences on Logics and AI. Springer, 419--431."},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(00)00054-0"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1329125.1329418"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/2283516.2283576"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1111\/1467-8640.t01-1-00209"},{"key":"e_1_2_1_37_1","unstructured":"J. Shim and N. Hsiao. 1999. A Literature Review on Web-Based Negotiation Support Systems. Documentation for Web-Based Training System (WNTS).  J. Shim and N. Hsiao. 1999. A Literature Review on Web-Based Negotiation Support Systems. Documentation for Web-Based Training System (WNTS)."},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00187-X"},{"volume-title":"Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI'09)","author":"Son T. C.","key":"e_1_2_1_39_1","unstructured":"T. C. Son and C. Sakama . 2009. Negotiation using logic programming with consistency restoring rules . In Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI'09) , C. Boutilier, Ed., 930--935. T. C. Son and C. Sakama. 2009. Negotiation using logic programming with consistency restoring rules. In Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI'09), C. Boutilier, Ed., 930--935."},{"volume-title":"The Mind and Heart of the Negotiator","author":"Thompson L.","key":"e_1_2_1_40_1","unstructured":"L. Thompson . 2005. The Mind and Heart of the Negotiator . Prentice-Hall . L. Thompson. 2005. The Mind and Heart of the Negotiator. Prentice-Hall."},{"volume-title":"Proceedings of the European Conference on Artificial Intelligence.","author":"Wooldridge M.","key":"e_1_2_1_41_1","unstructured":"M. Wooldridge and S. Parsons . 2000. Languages for negotiation . In Proceedings of the European Conference on Artificial Intelligence. M. Wooldridge and S. Parsons. 2000. Languages for negotiation. In Proceedings of the European Conference on Artificial Intelligence."},{"volume-title":"Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI'91)","author":"Zlotkin G.","key":"e_1_2_1_42_1","unstructured":"G. Zlotkin and J. S. Rosenschein . 1991. Incomplete information and deception in multi-agent negotiation . In Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI'91) . Morgan Kaufmann Publishers Inc., San Francisco, CA, 225--231. G. Zlotkin and J. S. Rosenschein. 1991. Incomplete information and deception in multi-agent negotiation. In Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI'91). Morgan Kaufmann Publishers Inc., San Francisco, CA, 225--231."}],"container-title":["ACM Transactions on Computational Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2526270","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2526270","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:34:37Z","timestamp":1750232077000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2526270"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4]]},"references-count":42,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2014,4]]}},"alternative-id":["10.1145\/2526270"],"URL":"https:\/\/doi.org\/10.1145\/2526270","relation":{},"ISSN":["1529-3785","1557-945X"],"issn-type":[{"type":"print","value":"1529-3785"},{"type":"electronic","value":"1557-945X"}],"subject":[],"published":{"date-parts":[[2014,4]]},"assertion":[{"value":"2012-10-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2013-08-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2014-05-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}