Prolog and Java implementation of the CONAN negotiation strategy to be used with the GENIUS platform.
- Operate in uncertain domains, estimating the preferences of the user using Z3 Solver
- Work in both discrete and integer domains
- Communicate in multilateral negotiation
- Very likely to come to an agreement
- Heuristic approach to agent compatibility and bidding