Sciweavers

AAAI
2015
8 years 7 months ago
Resolving Over-Constrained Probabilistic Temporal Problems through Chance Constraint Relaxation
When scheduling tasks for field-deployable systems, our solutions must be robust to the uncertainty inherent in the real world. Although human intuition is trusted to balance rew...
Peng Yu, Cheng Fang, Brian Williams
AAAI
2015
8 years 7 months ago
Ontology Module Extraction via Datalog Reasoning
Module extraction—the task of computing a (preferably small) fragment M of an ontology T that preserves entailments over a signature Σ—has found many applications in recent y...
Ana Armas Romero, Mark Kaminski, Bernardo Cuenca G...
AAAI
2015
8 years 7 months ago
TDS+: Improving Temperature Discovery Search
Temperature Discovery Search (TDS) is a forward search method for computing or approximating the temperature of a combinatorial game. Temperature and mean are important concepts i...
Yeqin Zhang, Martin Müller 0003
AAAI
2015
8 years 7 months ago
Content-Aware Point of Interest Recommendation on Location-Based Social Networks
The rapid urban expansion has greatly extended the physical boundary of users’ living area and developed a large number of POIs (points of interest). POI recommendation is a tas...
Huiji Gao, Jiliang Tang, Xia Hu, Huan Liu
AAAI
2015
8 years 7 months ago
Extracting Bounded-Level Modules from Deductive RDF Triplestores
We present a novel semantics for extracting bounded-level modules from RDF ontologies and databases augmented with safe inference rules, `a la Datalog. Dealing with a recursive ru...
Marie-Christine Rousset, Federico Ulliana
AAAI
2015
8 years 7 months ago
Voting Rules As Error-Correcting Codes
We present the first model of optimal voting under adversarial noise. From this viewpoint, voting rules are seen as errorcorrecting codes: their goal is to correct errors in the ...
Ariel D. Procaccia, Nisarg Shah 0001, Yair Zick
AAAI
2015
8 years 7 months ago
When Suboptimal Rules
This paper represents a paradigm shift in what advice agents should provide people. Contrary to what was previously thought, we empirically show that agents that dispense optimal ...
Avshalom Elmalech, David Sarne, Avi Rosenfeld, Ede...
AAAI
2015
8 years 7 months ago
Tractable Interval Temporal Propositional and Description Logics
We design a tractable Horn fragment of the Halpern-Shoham temporal logic and extend it to interval-based temporal description logics, instance checking in which is P-complete for ...
Alessandro Artale, Roman Kontchakov, Vladislav Ryz...
AAAI
2015
8 years 7 months ago
Pattern Decomposition with Complex Combinatorial Constraints: Application to Materials Discovery
Identifying important components or factors in large amounts of noisy data is a key problem in machine learning and data mining. Motivated by a pattern decomposition problem in ma...
Stefano Ermon, Ronan Le Bras, Santosh K. Suram, Jo...
AAAI
2015
8 years 7 months ago
Automatically Creating a Large Number of New Bilingual Dictionaries
This paper proposes approaches to automatically create a large number of new bilingual dictionaries for lowresource languages, especially resource-poor and endangered languages, f...
Khang Nhut Lam, Feras Al Tarouti, Jugal K. Kalita