➦ Belief revision and projection in the epistemic situation calculus
➦ Impossibility in belief merging
➦ Automatically improving constraint models in Savile Row
➦ Latent tree models for hierarchical topic detection
➦ A progression semantics for first-order logic programs
➦ Understanding the complexity of axiom pinpointing in lightweight description logics
➦ Discovering visual concept structure with sparse and incomplete tags
➦ WPM3: An (in)complete algorithm for weighted partial MaxSAT
➦ Low-rank decomposition meets kernel learning: A generalized Nyström method
➦ Constrained coalition formation on valuation structures: Formal framework, applications, and islands
➦ Strategy-proof school choice mechanisms with minimum quotas and initial endowments
➦ On the complexity of the partner units decision problem
➦ From model checking to equilibrium checking: Reactive modules for rational verification
➦ Commonsense reasoning about containers using radically incomplete information
➦ On the logical properties of the nonmonotonic description logic DLN
➦ Efficiency and complexity of price competition among single-product vendors
➦ How many diagnoses do we need?
➦ Characterizing causal action theories and their implementations in answer set programming
➦ Anticipatory action selection for human–robot table tennis
➦ Model-based contextual policy search for data-efficient generalization of robot skills
➦ Envisioning the qualitative effects of robot manipulation actions using simulation-based projections
➦ Automated aerial suspended cargo delivery through reinforcement learning
➦ Continual curiosity-driven skill acquisition from high-dimensional video inputs for humanoid robots
➦ Model-based furniture recognition for building semantic object maps
➦ Temporally and spatially flexible plan execution for dynamic hybrid systems
➦ Relational reinforcement learning with guided demonstrations
➦ Robotic manipulation of multiple objects as a POMDP
➦ Geometric backtracking for combined task and motion planning in robotic systems
➦ Intrinsically motivated model learning for developing curious robots
➦ Efficient interactive decision-making framework for robotic applications
➦ Robot task planning and explanation in open and uncertain worlds
➦ Representations for robot knowledge in the KnowRob framework
➦ Scalable transfer learning in heterogeneous, dynamic environments
➦ Transferring skills to humanoid robots by extracting semantic representations from observations of h
➦ Deliberation for autonomous robots: A survey
➦ Artificial cognition for social human–robot interaction: An implementation
➦ Towards a science of integrated AI and Robotics
➦ Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation
➦ Adversarial patrolling with spatially uncertain alarm signals
➦ Localising iceberg inconsistencies
➦ Incremental elicitation of Choquet capacities for multicriteria choice, ranking and sorting problems
➦ Hierarchical semi-Markov conditional random fields for deep recursive sequential data
➦ A cooperative game-theoretic approach to the social ridesharing problem