Theoretical Computer Science
Generating plans in linear logic I: actions as proofs
Theoretical Computer Science
Proceedings of the workshop on Advances in linear logic
Proceedings of the workshop on Advances in linear logic
Programming in Lygon: An Overview
AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
Characterizing Simple Negotiation as Distributed Agent-Based Theorem-Proving - A Preliminary Report
ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
A task-oriented agent-based mechanism for mathematical assistant systems
Web Intelligence and Agent Systems
Flexible agent protocols via temporal and resource-based reasoning
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Symbolic Negotiation in Linear Logic with Coalition Formation
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Temporal linear logic as a basis for flexible agent interactions
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Modeling agents' choices in temporal linear logic
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Modelling Multilateral Negotiation in Linear Logic
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Symbolic negotiation with linear logic
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
| Hi-index | 0.00 |