poster

When price is not enough: combining logical and numerical issues in bilateral negotiation

Authors:

Azzurra Ragone,

Tommaso Di Noia,

Eugenio Di Sciascio,

Francesco M. DoniniAuthors Info & Claims

AAMAS '07: Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems

Article No.: 24, Pages 1 - 3

https://doi.org/10.1145/1329125.1329154

Published: 14 May 2007 Publication History

Get Access

Abstract

We present a novel approach to knowledge-based automated one-shot multi-issue bilateral negotiation handling, in a homogeneous setting, both numerical features and non-numerical ones. To this aim we introduce P(N), a propositional logic extended with concrete domains, which allows to: model relations among issues (both numerical and not numerical ones) via logical entailment, differently from well-known approaches that describe issues as uncorrelated; represent buyer's request, seller's supply and their respective preferences as formulas endowed with a formal semantics.

References

[1]

F. Baader and P. Hanschke. A schema for integrating concrete domains into concept languages. In proc. of IJCAI-91, 1991.

Google Scholar

[2]

F. Hillier and G. Lieberman. Introduction to Operations Research. 2005.

Digital Library

Google Scholar

[3]

D. W. Loveland. Automated theorem proving: A logical basis. North-Holland, 1978.

Digital Library

Google Scholar

[4]

C. H. Papadimitriou and K. Steiglitz. Combinatorial optimization: algorithms and complexity. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1982.

Digital Library

Google Scholar

[5]

A. Ragone, T. Di Noia, E. Di Sciascio, and F. Donini. A logic-based framework to compute pareto agreements in one-shot bilateral negotiation. In Proc. of ECAI'06, 2006.

Digital Library

Google Scholar

[6]

H. Raiffa. The Art and Science of Negotiation. Harvard University Press, 1982.

Google Scholar

Cited By

View all

Ragone A(2007)OWL-DL as a power tool to model negotiation mechanisms with incomplete informationProceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference10.5555/1785162.1785240(941-945)Online publication date: 11-Nov-2007
https://dl.acm.org/doi/10.5555/1785162.1785240
Ragone ADi Noia TDi Sciascio EDonini F(2007)Alternating-offers protocol for multi-issue bilateral negotiation in semantic-enabled marketplacesProceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference10.5555/1785162.1785192(395-408)Online publication date: 11-Nov-2007
https://dl.acm.org/doi/10.5555/1785162.1785192
Ragone ADi Noia TDi Sciascio EDonini F(2007)Alternating-Offers Protocol for Multi-issue Bilateral Negotiation in Semantic-Enabled MarketplacesThe Semantic Web10.1007/978-3-540-76298-0_29(395-408)Online publication date: 2007
https://doi.org/10.1007/978-3-540-76298-0_29

Index Terms

When price is not enough: combining logical and numerical issues in bilateral negotiation
1. Computing methodologies
  1. Artificial intelligence
    1. Knowledge representation and reasoning
2. Theory of computation
  1. Logic

Recommendations

A study of nonmonotonic reasoning
LOGIC: A Coq Library for Logics
Dependable Software Engineering. Theories, Tools, and Applications
Abstract
LOGIC is a Coq library for formalizing logic studies, concerning both logics’ applications and logics themselves (meta-theories). For applications, users can port derived rules and efficient proof automation tactics from LOGIC to their own program-...
Call-by-value is dual to call-by-name

The rules of classical logic may be formulated in pairs corresponding to De Morgan duals: rules about & are dual to rules about V. A line of work, including that of Filinski (1989), Griffin (1990), Parigot (1992), Danos, Joinet, and Schellinx (1995), ...

Comments

Information & Contributors

Information

Published In

AAMAS '07: Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems

May 2007

1585 pages

ISBN:9788190426275

DOI:10.1145/1329125

Conference Chairs:
Edmund Durfee
University of Michigan
,
Makoto Yokoo
Kyushu University
,
Program Chairs:
Michael Huhns
University of South Carolina
,
Onn Shehory
IBM Haifa Research Lab, Israel

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 14 May 2007

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Poster

Conference

AAMAS07

Sponsor:

AAMAS07: International Conference on Autonomous Agents and Mulitagent Systems

May 14 - 18, 2007

Hawaii, Honolulu

Acceptance Rates

Overall Acceptance Rate 1,155 of 5,036 submissions, 23%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
136
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 01 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Ragone A(2007)OWL-DL as a power tool to model negotiation mechanisms with incomplete informationProceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference10.5555/1785162.1785240(941-945)Online publication date: 11-Nov-2007
https://dl.acm.org/doi/10.5555/1785162.1785240
Ragone ADi Noia TDi Sciascio EDonini F(2007)Alternating-offers protocol for multi-issue bilateral negotiation in semantic-enabled marketplacesProceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference10.5555/1785162.1785192(395-408)Online publication date: 11-Nov-2007
https://dl.acm.org/doi/10.5555/1785162.1785192
Ragone ADi Noia TDi Sciascio EDonini F(2007)Alternating-Offers Protocol for Multi-issue Bilateral Negotiation in Semantic-Enabled MarketplacesThe Semantic Web10.1007/978-3-540-76298-0_29(395-408)Online publication date: 2007
https://doi.org/10.1007/978-3-540-76298-0_29

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Index Terms

Recommendations

A study of nonmonotonic reasoning

LOGIC: A Coq Library for Logics

Call-by-value is dual to call-by-name

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations