scientific article; zbMATH DE number 1884390

zbMATH Open1007.68588MaRDI QIDQ4798009FDOQ4798009

Authors: Cenk Uyan, Chitta Baral 

Publication date: 18 March 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2173/21730186.htm

Title of this publication is not available (Why is that?)

Recommendations

• A logic language for combinatorial optimization
• A sequential model of bargaining in logic programming
• scientific article; zbMATH DE number 2096830
• A hybrid approach of linear programming and logic modeling for the market core of sealed bid auctions
• The formalization of Vickrey auctions: a comparison of two approaches in Isabelle and Theorema
• scientific article; zbMATH DE number 1114457
• scientific article; zbMATH DE number 1954119
• A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory

Mathematics Subject Classification ID

Auctions, bargaining, bidding and selling, and other market models (91B26) Logic programming (68N17) Logic in artificial intelligence (68T27)

Cited In (6)

• A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory
• Auction Description Language (ADL): General Framework for Representing Auction-Based Markets
• Block structured scheduling using constraint logic programming
• Combining answer set programming and domain heuristics for solving hard industrial problems (application paper)
• Unsatisfiable core analysis and aggregates for optimum stable model search
• A hybrid approach of linear programming and logic modeling for the market core of sealed bid auctions

Uses Software

• Smodels

This page was built for publication:

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