Modelling Multilateral Negotiation in Linear Logic

DOI10.3233/978-1-60750-606-5-381MaRDI QIDQ2999164zbMATH OpenOpenAlexFDO

Authors Daniele Porello, Ulle Endriss

Publication date 11 May 2011

Full work available at URL https://philpapers.org/archive/PORMMN.pdf

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Computational Logic in Multi-Agent Systems
• Formalizing negotiations using logic programming
• Modal Logics of Negotiation and Preference
• A logic-based axiomatic model of bargaining
• A sequential model of bargaining in logic programming
• Progress in Artificial Intelligence
• scientific article; zbMATH DE number 1241886

Cited in

(8)

• Modal Logics of Negotiation and Preference
• scientific article; zbMATH DE number 1699969 (Why is no real title available?)
• Computational Logic in Multi-Agent Systems
• Judgement aggregation in non-classical logics
• Logical multilateralism
• scientific article; zbMATH DE number 2243379 (Why is no real title available?)
• Non-normal modalities in variants of linear logic
• Applications of logic in social choice theory (invited talk)

This page was built for publication: Modelling Multilateral Negotiation in Linear Logic

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