Sciweavers

AAAI
2015
8 years 8 months ago
Never-Ending Learning
Tom M. Mitchell, William W. Cohen, Estevam R. Hrus...
AAAI
2015
8 years 8 months ago
Price Evolution in a Continuous Double Auction Prediction Market With a Scoring-Rule Based Market Maker
The logarithmic market scoring rule (LMSR), the most common automated market making rule for prediction markets, is typically studied in the framework of dealer markets, where the...
Mithun Chakraborty, Sanmay Das, Justin Peabody
AAAI
2015
8 years 8 months ago
SAT-Based Strategy Extraction in Reachability Games
Reachability games are a useful formalism for the synthesis of reactive systems. Solving a reachability game involves (1) determining the winning player and (2) computing a winnin...
Niklas Eén, Alexander Legg, Nina Narodytska...
AAAI
2015
8 years 8 months ago
A Syntax-Independent Approach to Forgetting in Disjunctive Logic Programs
In this paper, we present an approach to forgetting in disjunctive logic programs, where forgetting an atom from a program amounts to a reduction in the signature of that program....
James P. Delgrande, Kewen Wang
AAAI
2015
8 years 8 months ago
Visually Interpreting Names as Demographic Attributes by Exploiting Click-Through Data
Name of an identity is strongly influenced by his/her cultural background such as gender and ethnicity, both vital attributes for user profiling, attribute-based retrieval, etc....
Yan-Ying Chen, Yin-Hsi Kuo, Chun-Che Wu, Winston H...
AAAI
2015
8 years 8 months ago
Approximating Optimal Social Choice under Metric Preferences
We examine the quality of social choice mechanisms using a utilitarian view, in which all of the agents have costs for each of the possible alternatives. While these underlying co...
Elliot Anshelevich, Onkar Bhardwaj, John Postl
AAAI
2015
8 years 8 months ago
Approximating Model-Based ABox Revision in DL-Lite: Theory and Practice
Model-based approaches provide a semantically well justified way to revise ontologies. However, in general, model-based revision operators are limited due to lack of efficient a...
Guilin Qi, Zhe Wang, Kewen Wang, Xuefeng Fu, Zhiqi...
AAAI
2015
8 years 8 months ago
Tartanian7: A Champion Two-Player No-Limit Texas Hold'em Poker-Playing Program
The leading approach for solving large imperfect-information games is automated abstraction followed by running an equilibrium-finding algorithm. We introduce a distributed versi...
Noam Brown, Sam Ganzfried, Tuomas Sandholm
AAAI
2015
8 years 8 months ago
Multi-Source Domain Adaptation: A Causal View
Kun Zhang, Mingming Gong, Bernhard Schölkopf