Declarative specification and solution of combinatorial auctions using logic programming

Chitta Baral, Cenk Uyan

Research output: Chapter in Book/Report/Conference proceedingConference contribution

23 Scopus citations

Abstract

In a combinatorial auction problem bidders are allowed to bid on a bundle of items. The auctioneer has to select a subset of the bids so as to maximize the price it gets, and of course making sure that it does not accept multiple bids that have the same item as each item can be sold only once. In this paper we show how the combinatorial auction problem and many of its extensions can be expressed in logic programming based systems such as Smodels and dlv. We propose this as an alternative to the standard syntax specific specialized implementations that are much harder to modify and extend when faced with generalizations and additional constraints.

Original languageEnglish (US)
Title of host publicationLogic Programming and Nonmonotonic Reasoning - 6th International Conference, LPNMR 2001, Proceedings
Pages186-199
Number of pages14
DOIs
StatePublished - Dec 1 2001
Event6th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2001 - Vienna, Austria
Duration: Sep 17 2001Sep 19 2001

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2173 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other6th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2001
CountryAustria
CityVienna
Period9/17/019/19/01

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Declarative specification and solution of combinatorial auctions using logic programming'. Together they form a unique fingerprint.

  • Cite this

    Baral, C., & Uyan, C. (2001). Declarative specification and solution of combinatorial auctions using logic programming. In Logic Programming and Nonmonotonic Reasoning - 6th International Conference, LPNMR 2001, Proceedings (pp. 186-199). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2173 LNAI). https://doi.org/10.1007/3-540-45402-0_14