Person: Matskin, Mihhail

 
EPrints.org
Agentlink Clearinghouse is powered by GNU EPrints developed by the School of Electronics and Computer Science of the University of Southampton.

Number of items: 4.

Küngas, Peep and Matskin, Mihhail (2004) Linear Logic, Partial Deduction and Cooperative Problem Solving. In: First International Workshop on Declarative Agent Languages and Technologies, 15 July, 2003, Melbourne, Australia.

Küngas, Peep and Matskin, Mihhail (2005) Partial Deduction for Linear Logic-The Symbolic Negotiation Perspective. In: Second International Workshop on Declarative Agent Languages and Technologies, DALT 2004, 19 July, 2004, New York, USA.

Küngas, Peep and Rao, Jinghai and Matskin, Mihhail (2004) Symbolic Agent Negotiation for Semantic Web Service Exploitation. In: Fifth International Conference on Web-Age Information Management, WAIM'2004, 15-17 July, 2004, Dalian, China.

Küngas, Peep and Matskin, Mihhail (2004) Symbolic Negotiation with Linear Logic. In: Fourth International Workshop on Computational Logic in Multi-Agent Systems, CLIMA IV, 6-7 January, 2004, Fort Lauderdale, FL, USA.

This list was generated on Mon Sep 10 16:52:01 BST 2007.

   

AgentLink is the European Commission's IST-funded Coordination Action for Agent-Based Computing
and is coordinated by the
University of Liverpool and University of Southampton
If you encounter any problems with these pages please contact web@agentlink.org.