scientific article; zbMATH DE number 1884390

zbMath1007.68588MaRDI QIDQ4798009

Cenk Uyan, Chitta R. Baral

Publication date: 18 March 2003

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (3)

Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) ⋮ Block structured scheduling using constraint logic programming ⋮ Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search

Uses Software

• Smodels

This page was built for publication: