Semantic Web documents that encode facts about entities on the Web have been growing rapidly in size and evolving over time. Creating summaries on lengthy Semantic Web documents f...
Kalpa Gunaratna, Krishnaprasad Thirunarayan, Amit ...
This paper investigates stochastic planning problems with large factored state and action spaces. We show that even with moderate increase in the size of existing challenge proble...
Hao Cui, Roni Khardon, Alan Fern, Prasad Tadepalli
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...
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...