Sciweavers

5158 search results - page 157 / 1032
» Generalization of the Dempster-Shafer Theory
Sort
View
ICLP
2003
Springer
14 years 3 months ago
Computing Minimal Models, Stable Models, and Answer Sets
We propose and study algorithms for computing minimal models, stable models and answer sets of 2- and 3-CNF theories, and normal and disjunctive 2- and 3-programs. We are especiall...
Zbigniew Lonc, Miroslaw Truszczynski
CG
2008
Springer
14 years 5 days ago
Cognitive Modeling of Knowledge-Guided Information Acquisition in Games
Since Chase and Simon presented their influential paper on perception in chess in 1973, the use of chunks has become the subject of a number of studies into the cognitive behavior ...
Reijer Grimbergen
ACL
1998
13 years 11 months ago
A Descriptive Characterization of Tree-Adjoining Languages (Project Note)
Since the early Sixties and Seventies it has been known that the regular and context-free languages arc characterized by definability in the monadic second-order theory of certain...
James Rogers
IJCAI
1993
13 years 11 months ago
A Tractable Class of Abduction Problems
literal: Let p be a proposition. Then p and -p are literals. clause: A clause is a disjunction of literals. Horn Clause: A Horn Clause is a clause in which there is at most one po...
Kave Eshghi
SIGECOM
2009
ACM
139views ECommerce» more  SIGECOM 2009»
14 years 4 months ago
Simple versus optimal mechanisms
The monopolist’s theory of optimal single-item auctions for agents with independent private values can be summarized by two statements. The first is from Myerson [8]: the optim...
Jason D. Hartline, Tim Roughgarden