Departamento de Razonamiento y Lógica
Email: 
agusti@iiia.csic.es
Position: 
Previous scientific staff
36 Publications
2009
2008
2003
Carles Sierra, J. Sabater-Mir, Jaume Agustí-Cullell, Pere García; Integrating evolutionary computing and the SADDE methodology. Second International Conference on Autonomous Agents and Multiagent systems (AAMAS-03) July-2003 Melburne , Australia; 2003.
2002
Carles Sierra, J. Sabater-Mir, Jaume Agustí-Cullell; Evolutionary Programming in SADDE. Procedings of the First International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2002, july 15-19, Bologna, Italy; 2002.
1999
Flavio Soares Correa da Silva, Wamberto W. Vasconcelos, Jaume Agustí-Cullell, David Robertson, Ana de Melo; Why Ontologies Are Not Enough for Knowledge Sharing. Multiple Approaches to Intelligent Systems. 12th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems IEA/AIE-99, Cairo, Egypt, May 31 - June 3, 1999. Proceedings; 1999.
1998
1996
1994
David Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy; Expressing Program Requirements Using Refinement Lattices. Fundamenta Informaticae; 1994.
1993
Jordi Levy, Jaume Agustí-Cullell; Bi-rewriting, a Term Rewriting Technique for Monotonic Order Relations. Proc. of the 5th Int. Conf. on Rewriting Techniques and Applications, RTA'93; 1993.
David Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy; Expressing Program Requirements Using Refinement Lattices. Proc. of the 7th Int. Symp. on Metodologies for Intelligent Systems, ISMIS'93; 1993.
1992
1991
Carles Sierra, Jaume Agustí-Cullell, Enric Plaza; Verification by construction in MILORD. Proceedings of EUROVAV'91: European Workshop on Validation and Verification of Knowledge Based Systems; 1991.
1990
1989