Evolutionary-aided negotiation model for bilateral bargaining in Ambient Intelligence domains with complex utility functions
Elicitation for Preferences Single Peaked on Trees
The Dichotomy for Conservative Constraint Satisfaction is Polynomially Decidable
Estimating 3D trajectories from 2D projections via disjunctive factored four-way conditional restricted Boltzmann machines
HordeQBF: A Modular and Massively Parallel QBF Solver
A Hybrid Approach to Query Answering under Expressive Datalog+/-