Formalizing negotiations using logic programming

DOI10.1145/2526270MaRDI QIDQ5169968zbMATH OpenOpenAlexWikidataFDO

Authors Enrico Pontelli, Ngoc-Hieu Nguyen, Chiaki Sakama, Tran Cao Son

Publication date 17 July 2014

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2526270

zbMATH Keywords

abductive logic programminganswer set programmingdishonestynegotiationnegotiation agent

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Argumentation in Multi-Agent Systems
• Logic Programming for Multiagent Planning with Negotiation
• Reaching agreements through argumentation: a logical model and implementation
• scientific article; zbMATH DE number 1931678
• Inductive Negotiation in Answer Set Programming

Cites work

• A General Framework for Argumentation-Based Negotiation
• An agenda-based framework for multi-issue negotiation
• Bargaining with incomplete information
• Combining answer set programming and Prolog: The \(\mathbb{ASP}\)-\(\mathbb{PROLOG}\) system
• Diagnostic reasoning with A-Prolog
• Extending and implementing the stable model semantics
• scientific article; zbMATH DE number 1689875 (Why is no real title available?)
• scientific article; zbMATH DE number 67467 (Why is no real title available?)
• scientific article; zbMATH DE number 1368933 (Why is no real title available?)
• scientific article; zbMATH DE number 1931678 (Why is no real title available?)
• scientific article; zbMATH DE number 1820671 (Why is no real title available?)
• Logic programs with stable model semantics as a constraint programming paradigm
• Multi-issue negotiation with deadlines
• Negotiation and cooperation in multi-agent environments
• Prioritized logic programming and its application to commonsense reasoning
• Satisfiability and completeness of protocols for electronic negotiations

Cited in

(6)

• A sequential model of bargaining in logic programming
• Modelling Multilateral Negotiation in Linear Logic
• Logic Programming for Multiagent Planning with Negotiation
• Argumentation in Multi-Agent Systems
• Argumentation in Multi-Agent Systems
• Answer set planning: a survey

This page was built for publication: Formalizing negotiations using logic programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5169968)