Papers
On the Balance of Meter Deployment Cost and NILM Accuracy
Xiaohong Hao, Bangsheng Tang, Yongcai Wang
On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic
Natasha Alechina, Nils Bulling, Brian Logan et al.
On the Computational Complexity of Naive-Based Semantics for Abstract Dialectical Frameworks
Sarah Alice Gaggl, Sebastian Rudolph, Hannes Strass
On the Consistency of AUC Pairwise Optimization
Wei Gao, Zhi-Hua Zhou
On the Effective Configuration of Planning Domain Models
Mauro Vallati, Frank Hutter, Lukas Chrpa et al.
On the Empirical Time Complexity of Random 3-SAT at the Phase Transition
Zongxu Mu, Holger H. Hoos
On the Entailment Problem for a Logic of Typicality
Richard Booth, Giovanni Casini, Thomas Andreas Meyer et al.
On the Graded Acceptability of Arguments
Davide Grossi, Sanjay Modgil
On the Online Generation of Effective Macro-Operators
Lukáš Chrpa, Mauro Vallati, Thomas Leo McCluskey
On the Parameterized Complexity of Belief Revision
Andreas Pfandler, Stefan Rümmele, Johannes Peter Wallner et al.
On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus
Liangda Fang, Yongmei Liu, Ximing Wen
On the Resiliency of Unit Propagation to Max-Resolution
André Abramé, Djamal Habet
On the Runtime of Randomized Local Search and Simple Evolutionary Algorithms for Dynamic Makespan Scheduling
Frank Neumann, Carsten Witt
On the Testability of BDI Agent Systems (Extended Abstract)
Michael Winikoff, Stephen Cranefield
On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies
Diego Calvanese, Giuseppe De Giacomo, Mikhail Soutchanski
Ontology-Mediated Queries with Closed Predicates
Carsten Lutz, Inanc Seylan, Frank Wolter
Open Domain Short Text Conceptualization: A Generative + Descriptive Modeling Approach
Yangqiu Song, Shusen Wang, Haixun Wang
Opportunities or Risks to Reduce Labor in Crowdsourcing Translation? Characterizing Cost versus Quality via a PageRank-HITS Hybrid Model
Rui Yan, Yiping Song, Cheng-Te Li et al.
Optimal Auctions for Partially Rational Bidders
Zihe Wang, Pingzhong Tang
Optimal Bayesian Hashing for Efficient Face Recognition
Qi Dai, Jianguo Li, Jun Wang et al.
Optimal Electric Vehicle Charging Station Placement
Yanhai Xiong, Jiarui Gan, Bo An et al.
Optimal Greedy Diversity for Recommendation
Azin Ashkan, Branislav Kveton, Shlomo Berkovsky et al.
Optimal Incremental Preference Elicitation during Negotiation
Tim Baarslag, Enrico H. Gerding
Optimal Network Security Hardening Using Attack Graph Games
Karel Durkota, Viliam Lisý, Branislav Bošanský et al.