➦ Forming k coalitions and facilitating relationships in social networks
➦ Safe inductions and their applications in knowledge representation
➦ The complexity and generality of learning answer set programs
➦ Predicting citywide crowd flows using deep spatio-temporal residual networks
➦ Measuring inconsistency with constraints for propositional knowledge bases
➦ Arguing about informant credibility in open multi-agent systems
➦ Symbolic perimeter abstraction heuristics for cost-optimal planning
➦ Optimal defense against election control by deleting voter groups
➦ Autonomous agents modelling other agents: A comprehensive survey and open problems
➦ Extracting mutual exclusion invariants from lifted temporal planning domains
➦ Parallelizing SMT solving: Lazy decomposition and conciliation
➦ A general semi-structured formalism for computational argumentation: Definition, properties, and exa
➦ The complexity landscape of decompositional parameters for ILP
➦ Enhancing context knowledge repositories with justifiable exceptions
➦ Constants and finite unary relations in qualitative constraint reasoning
➦ Star-topology decoupled state space search
➦ Rational deployment of multiple heuristics in optimal state-space search
➦ Decentralized Reinforcement Learning of Robot Behaviors
➦ Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, a
➦ Reactive multi-context systems: Heterogeneous reasoning in dynamic environments
➦ A computational framework for conceptual blending
➦ Strong temporal planning with uncontrollable durations
➦ Implicit, explicit and speculative knowledge
➦ Fixpoint semantics for active integrity constraints
➦ Fundamental properties of attack relations in structured argumentation with priorities
➦ Overlapping layered learning
➦ A quality assuring, cost optimal multi-armed bandit mechanism for expertsourcing
➦ Taking account of the actions of others in value-based reasoning
➦ Distributed First Order Logic
➦ The first international competition on computational models of argumentation: Results and analysis
➦ Common Sense, The Turing Test, and The Quest for Real AI, Hector Levesque, The MIT Press (2017), 142
➦ Intelligent agent supporting human–multi-robot team collaboration
➦ MM: A bidirectional search algorithm that is guaranteed to meet in the middle
➦ Generalized possibilistic logic: Foundations and applications to qualitative reasoning about uncerta
➦ The MADLA planner: Multi-agent planning by combination of distributed and local heuristic search
➦ Iterative voting and acyclic games
➦ Three-valued semantics for hybrid MKNF knowledge bases revisited
➦ Towards breaking more composition symmetries in partial symmetry breaking
➦ Forward bounding on pseudo-trees for DCOPs and ADCOPs
➦ Resolving distributed knowledge
➦ Minimal sets on propositional formulae. Problems and reductions