Pasar al contenido principal
Català
English
Español
Formulario de búsqueda
Buscar
Log-in
Acerca del IIIA
Presentación
Historia
Contribuciones a la inteligencia artificial 1996 - 2001
Contributions to Artificial Intelligence 1986 - 1995
Ubicación
Trabaja con nosotros
Departamentos
Proyectos
Proyectos Actuales
Proyectos Finalizados
Publicaciones
Publications
Thesis
Personas
Jaume Agustí-Cullell
Personal actual
Personal anterior
Actividades
Seminarios
Conferencias
Doctoral Consortium
Noticias
Transferencia
Usted está aquí
Home
>
Personal
>
Jaume Agustí-Cullell
Jaume Agustí-Cullell
Jaume Agustí-Cullell
Personal actual
Personal anterior
Departamento de Razonamiento y Lógica
Email:
agusti@iiia.csic.es
Position:
Previous scientific staff
Publications
Projects
36 Publications
2009
Jaume Agustí-Cullell
,
Flavio Soares Correa da Silva
;
Experimental Information and Experimental Knowledge
.
7th European Conference on Computing and Philosophy, E-CAP'09;
2009.
Download PDF
2008
Flavio Soares Correa da Silva
,
Jaume Agustí-Cullell
;
Information Flow and Knowledge Sharing
.
Capturing Intelligence;
2008.
Download PDF
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.
Download PDF
Flavio Soares Correa da Silva
,
Jaume Agustí-Cullell
;
Knowledge Coordination
.
;
2003.
Download PDF
2002
Wamberto W. Vasconcelos
, David Robertson,
Jaume Agustí-Cullell
,
Carles Sierra
,
J. Sabater-Mir
,
Simon Parsons
,
Chris Walton
,
Michael Wooldridge
;
A lifecicle for models of large multi-agent systems
.
Lecture Notes in Computer Science;
2002.
Download PDF
Carles Sierra
,
J. Sabater-Mir
,
Jaume Agustí-Cullell
,
Pere García
;
Evolutionary computation and multiagent systems design
.
1srt. International Conference on Autonomous Agents and Multiagent systems;
2002.
Download PDF
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.
Download PDF
Carles Sierra
,
J. Sabater-Mir
,
Jaume Agustí-Cullell
,
Pere García
;
Evoultionary computation in MAS design
.
European Conference on Artificial Intelligence;
2002.
Download PDF
Flavio Soares Correa da Silva
,
Wamberto W. Vasconcelos
, David Robertson, Virginia Brilhante, Ana de Melo, Marcelo Finger,
Jaume Agustí-Cullell
;
On the Insufficiency of Ontologies: Problems in Knowledge Sharing and Alternative Solutions
.
Knowledge-Based Systems;
2002.
Download PDF
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.
Download PDF
1998
Jaume Agustí-Cullell
,
Francesc Esteva
,
Pere García
,
Lluís Godo
,
Carles Sierra
;
Combining Multiple-valued logics in Modular Expert Systems
.
Avances en Fuzzy Logic;
1998.
Download PDF
1996
Jordi Levy
,
Jaume Agustí-Cullell
;
Bi-Rewrite Systems
.
Journal of Symbolic Computation;
1996.
Download PDF
1994
David Stuart Robertson,
Jaume Agustí-Cullell
, Jane Hesketh,
Jordi Levy
;
Expressing Program Requirements Using Refinement Lattices
.
Fundamenta Informaticae;
1994.
Download PDF
Jaume Agustí-Cullell
,
Francesc Esteva
,
Pere García
,
Lluís Godo
,
Ramon López de Mántaras
,
Carles Sierra
;
Logical multi-valued logics in modular expert systems
.
Journal of Experimental and Theoretical Artificial Intelligence;
1994.
Download PDF
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.
Download PDF
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.
Download PDF
1992
Ramon López de Mántaras
,
Carles Sierra
,
Jaume Agustí-Cullell
;
COLAPSES: A modular architecture and languaje for modelling metacontrol and uncertainty
.
New Directions for Intelligent Tutoring Systems;
1992.
Download PDF
Jordi Levy
,
Jaume Agustí-Cullell
;
Implementing Inequality and Nondeterministic Specifications with Bi-rewriting Systems
.
Lecture Notes in Computer Science;
1992.
Download PDF
Jaume Agustí-Cullell
,
Francesc Esteva
,
Pere García
,
Lluís Godo
,
Ramon López de Mántaras
,
Carles Sierra
;
Manging local fuzzy logics in MILORD II
.
IEE International Conference on fuzzy systems;
1992.
Download PDF
Jaume Agustí-Cullell
,
Francesc Esteva
,
Pere García
,
Lluís Godo
,
Ramon López de Mántaras
,
Lluis Murgui
,
Josep Puyol-Gruart
,
Carles Sierra
;
Structured Local Fuzzy logics in MILORD
.
Fuzzy Logic for the Management of Uncertainty;
1992.
Download PDF
Ramon López de Mántaras
,
Carles Sierra
,
Jaume Agustí-Cullell
;
The Representation and use of Meta-Knowledge and Uncertainty in MILORD
.
An introduction to Fuzzy Logic Applications;
1992.
Download PDF
1991
Carles Sierra
,
Jaume Agustí-Cullell
;
COLAPSES. Towards a methodology and a language for knowledge engineering
.
11th International Conference on Expert Systems;
1991.
Download PDF
Jaume Agustí-Cullell
,
Francesc Esteva
,
Pere García
,
Lluís Godo
,
Carles Sierra
;
Combining Multiple-valued logics in Modular Expert Systems
.
7th Conference on Uncertainty in Artificial Intelligence;
1991.
Download PDF
Ramon López de Mántaras
,
Jaume Agustí-Cullell
,
Enric Plaza
,
Carles Sierra
;
MILORD: A Fuzzy Expert Systems Shell
.
Fuzzy Expert Systems;
1991.
Download PDF
Josep Puyol-Gruart
,
Jaume Agustí-Cullell
,
Carles Sierra
;
Partial Evaluation in MILORD II: a language for knowledge engineering
.
Europ-IA;
1991.
Download PDF
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.
Download PDF
1990
Carles Sierra
,
Jaume Agustí-Cullell
;
Estructuras de control en Inteligencia Artificial. Arquitecturas reflexivas y de meta-nivel
.
Actas Congreso IBERAMIA'90;
1990.
Download PDF
Jaume Agustí-Cullell
,
Carles Sierra
;
Una metodologia y un lenguaje para la ingenieria del conocimiento
.
DOCUMAT;
1990.
Download PDF
1989
Jaume Agustí-Cullell
,
Carles Sierra
,
Don Sannella
;
Adding Generic modules to flat rule-based languages: a low cost approach
.
Methodologies for intelligent systems-4;
1989.
Download PDF
Jaume Agustí-Cullell
,
Carles Sierra
,
Jorge Pluss
,
Ricardo Toledo
;
Operadores de construcción de estrategias en sistemas expertos
.
III Reunión Tecnica de la Asociacion española para la inteligencia artificial;
1989.
Download PDF
1
2
siguiente
última
Plan Nacional
01 Septiembre 2007
-
31 Diciembre 2014
Carles Sierra
AT
Agreement Technologies
Plan Nacional
01 Enero 2011
-
31 Diciembre 2013
Jordi Levy
TASSAT
TASSAT: Teoría, Aplicaciones y Sinergia en SAT, CSP Y FDL
-
15 Octubre 2007
-
15 Octubre 2010
Francesc Esteva
MULOG 2
Many-valued Logic: Foundations and Applications to Satisfiability, Argumentation and Ontologies
Plan Nacional
01 Octubre 2006
-
30 Septiembre 2009
Juan A. Rodríguez-Aguilar
IEA
AUTONOMIC ELECTRONIC INSTITUTIONS
-
01 Enero 2006
-
31 Diciembre 2008
Marco Schorlemmer
OPEN KNOWLEDGE
A new form of open, coordinated knowledge sharing architecture
-
01 Mayo 2000
-
30 Abril 2003
Jaume Agustí-Cullell
SLIE
Sustainable Lifecycles in Information Ecosystems
-
01 Agosto 1997
-
31 Julio 2000
Jaume Agustí-Cullell
MODELOGOS
Modelling and Synthesis during Logical Design of Computer Systems: From Formalization to Applications
-
19 Mayo 1994
-
18 Mayo 1997
Jaume Agustí-Cullell
DISCOR
Incremental Description of Systems based on the Calculus of Refinements (COR) and Executable Modal Logics (LMex)
-
06 Agosto 1991
-
05 Agosto 1994
Jaume Agustí-Cullell
TESEU
Theory and Development of Distributed Expert Systems. Medical Applications
Cargar más