A Deduction System for Meaning Negotiation.
Elisa BuratoMatteo CristaniLuca ViganòPublished in: DALT (2010)
Keyphrases
- negotiation support systems
- multi agent
- theorem proving
- cooperative
- multi agent systems
- joint action
- natural language
- conflict resolution
- inference rules
- multi agent coordination
- electronic commerce
- distributed search
- neural network
- negotiation model
- automated deduction
- software agents
- real time
- information systems
- constraint directed
- decision making
- mutual understanding
- computer algebra
- agent negotiation
- semantic interpretation
- negotiation protocol
- intelligent agents
- automated theorem proving
- multiagent systems
- data mining
- machine learning
- negotiation strategies
- coalition formation
- theorem prover