➦ On the expressivity of inconsistency measures
➦ Parameterised verification for multi-agent systems
➦ Truncated incremental search
➦ Games for query inseparability of description logic knowledge bases
➦ Solving QBF with counterexample guided refinement
➦ Optimal cost almost-sure reachability in POMDPs
➦ Construction of system of spheres-based transitively relational partial meet multiple contractions:
➦ On the query complexity of selecting minimal sets for monotone predicates
➦ Domain expansion for ASP-programs with external sources
➦ Argument graphs and assumption-based argumentation
➦ The scope and limits of simulation in automated reasoning
➦ Characteristic function games with restricted agent interactions: Core-stability and coalition struc
➦ Exploiting local and repeated structure in Dynamic Bayesian Networks
➦ Topic-based term translation models for statistical machine translation
➦ Certain answers as objects and knowledge
➦ SATenstein: Automatically building local search SAT solvers from components
➦ Design and results of the Fifth Answer Set Programming Competition
➦ An axiomatic analysis of structured argumentation with priorities
➦ Automated conjecturing I: Fajtlowicz's Dalmatian heuristic revisited
➦ Efficient algorithms for game-theoretic betweenness centrality
➦ Voting rules as error-correcting codes
➦ Real-time dynamic programming for Markov decision processes with imprecise probabilities
➦ Semantic sensitive tensor factorization
➦ Affect control processes: Intelligent affective interaction using a partially observable Markov deci
➦ Exploiting meta features for dependency parsing and part-of-speech tagging
➦ Computer models solving intelligence test problems: Progress and implications
➦ A concept drift-tolerant case-base editing technique
➦ A hybrid exact algorithm for complete set partitioning
➦ Predicting optimal solution costs with bidirectional stratified sampling in regular search spaces
➦ Semi-supervised combination of experts for aerosol optical depth estimation
➦ Learning Boolean specifications
➦ RoboCup@Home: Analysis and results of evolving competitions for domestic and service robots
➦ Does the world look different in different languages?
➦ An extension of metric temporal planning with application to AC voltage control
➦ Modelling structured societies: A multi-relational approach to context permeability
➦ Review of Anderson and Anderson's Machine Ethics
➦ Relevance in belief revision
➦ Coalition structure generation: A survey
➦ On updates of hybrid knowledge bases composed of ontologies and rules
➦ Variable symmetry breaking in numerical constraint problems
➦ The complexity of reasoning with FODD and GFODD
➦ Feature assembly method for extracting relations in Chinese