➦   Editorial Board

➦   Integrating social power into the decision-making of cognitive agents

➦   Nasari: Integrating explicit knowledge and corpus statistics for a multilingual representation of co

➦   Comparing human behavior models in repeated Stackelberg security games: An extended study

➦   New local search methods for partial MaxSAT

➦   H-index manipulation by merging articles: Models, theory, and experiments

➦   Building knowledge maps of Web graphs

➦   Editorial Board

➦   Diffusion centrality: A paradigm to maximize spread in social networks

➦   Norm-based mechanism design

➦   Data repair of inconsistent nonmonotonic description logic programs

➦   Extracting qualitative relations from categorical data

➦   Editorial Board

➦   Algorithms and everyday life

➦   A note on the complexity of the causal ordering problem

➦   Tractability-preserving transformations of global cost functions

➦   Generating SAT instances with community structure

➦   Learning general constraints in CSP

➦   Smooth sparse coding via marginal regression for learning sparse representations

➦   Making the right exceptions

➦   Knowledge base exchange: The case of OWL 2 QL

➦   Robust multilingual Named Entity Recognition with shallow semi-supervised features

➦   Editorial Board

➦   A qualitative spatial representation of string loops as holes

➦   Bounded situation calculus action theories

➦   Hierarchical conceptual spaces for concept combination

➦   Review of Stirling's Theory of Conditional Games

➦   Querying incomplete information in RDF with SPARQL

➦   The QBF Gallery: Behind the scenes

➦   Evaluating epistemic negation in answer set programming

➦   ASlib: A benchmark library for algorithm selection

➦   POPPONENT: Highly accurate, individually and socially efficient opponent preference model in bilater

➦   Editorial Board

➦   Algorithms for computing strategies in two-player simultaneous move games

➦   On abstract modular inference systems and solvers

➦   Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies

➦   One-pass AUC optimization

➦   Domain-independent planning for services in uncertain and dynamic environments

➦   e-NSP: Efficient negative sequential pattern mining

➦   Editorial Board

➦   Belief and truth in hypothesised behaviours

➦   Tractable approximate deduction for OWL

➦   Strategyproof matching with regional minimum and maximum quotas

➦   The multifaceted impact of Ada Lovelace in the digital age

➦   A formalization of programs in first-order logic with a discrete linear order

➦   MaxSAT by improved instance-specific algorithm configuration

➦   Semi-equilibrium models for paracoherent answer set programs

➦   Editorial Board

➦   The co-occurrence test for non-monotonic inference

➦   Broken triangles: From value merging to a tractable class of general-arity constraint satisfaction p