➦ Speeding up operations on feature terms using constraint programming and variable symmetry
➦ Ethical guidelines for a superintelligence
➦ Methods for solving reasoning problems in abstract argumentation – A survey
➦ Backdoors to tractable answer set programming
➦ STR3: A path-optimal filtering algorithm for table constraints
➦ Conflict-based search for optimal multi-agent pathfinding
➦ Integrating representation learning and skill learning in a human-like intelligent agent
➦ Subdimensional expansion for multirobot path planning
➦ Learning pseudo-tags to augment sparse tagging in hybrid music recommender systems
➦ Realizing RCC8 networks using convex regions
➦ The limits of decidability in fuzzy description logics with general concept inclusions
➦ Most frugal explanations in Bayesian networks
➦ Belief revision in Horn theories
➦ On the Input/Output behavior of argumentation frameworks
➦ Eliciting good teaching from humans for machine learners
➦ Information capture and reuse strategies in Monte Carlo Tree Search, with applications to games of h
➦ kLog: A language for logical and relational learning with kernels
➦ Spatial reasoning with RCC8 and connectedness constraints in Euclidean spaces
➦ Relations of epistemic proximity for belief change
➦ An unsupervised training method for non-intrusive appliance load monitoring
➦ Complexity of and algorithms for the manipulation of Borda, Nanson's and Baldwin's v
➦ Algorithms for computing minimal equivalent subformulas
➦ The unbiased black-box complexity of partition is polynomial
➦ Better redistribution with inefficient allocation in multi-unit auctions
➦ Plan aggregation for strong cyclic planning in nondeterministic domains
➦ Finding explanations of inconsistency in multi-context systems
➦ On the value of using group discounts under price competition
➦ Depth-based short-sighted stochastic shortest path problems
➦ Abstraction from demonstration for efficient reinforcement learning in high-dimensional domains
➦ Disjunctive closures for knowledge compilation
➦ Modeling the complex dynamics and changing correlations of epileptic events
➦ Guarantees and limits of preprocessing in constraint satisfaction and reasoning
➦ A general framework for sound assumption-based argumentation dialogues
➦ (Non-)Succinctness of uniform interpolants of general terminologies in the description logic EL
➦ Multicategory large margin classification methods: Hinge losses vs. coherence functions
➦ On influence, stable behavior, and the most influential individuals in networks: A game-theoretic ap
➦ On the choice of obtaining and disclosing the common value in auctions
➦ Efficient crowdsourcing of unknown experts using bounded multi-armed bandits
➦ Joint search with self-interested agents and the failure of cooperation enhancers
➦ Logical characterizations of regular equivalence in weighted social networks
➦ Potential-based bounded-cost search and Anytime Non-Parametric A⁎