| 2003 |
|---|
| 24 | EE | Carles Sierra,
Jordi Sabater,
Jaume Agustí-Cullell,
Pere Garcia:
Integrating evolutionary computing and the SADDE methodology.
AAMAS 2003: 1116-1117 |
| 2002 |
|---|
| 23 | EE | Carles Sierra,
Jordi Sabater,
Jaume Agustí-Cullell,
Pere Garcia:
Evolutionary programming in SADDE.
AAMAS 2002: 1270-1271 |
| 22 | | Carles Sierra,
Jordi Sabater,
Jaume Agustí-Cullell,
Pere Garcia:
Evolutionary Computation in MAS design.
ECAI 2002: 188-192 |
| 21 | EE | Flávio S. Corrêa da Silva,
Wamberto Weber Vasconcelos,
David Stuart Robertson,
Virgínia V. B. Biris Brilhante,
Ana Cristina Vieira de Melo,
Marcelo Finger,
Jaume Agustí-Cullell:
On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions.
Knowl.-Based Syst. 15(3): 147-167 (2002) |
| 2001 |
|---|
| 20 | EE | Wamberto Weber Vasconcelos,
David Stuart Robertson,
Jaume Agustí-Cullell,
Carles Sierra,
Michael Wooldridge,
Simon Parsons,
Christopher Walton,
Jordi Sabater:
A Lifecycle for Models of Large Multi-agent Systems.
AOSE 2001: 297-318 |
| 1999 |
|---|
| 19 | | Flávio S. Corrêa da Silva,
Jaume Agustí-Cullell,
Ana Cristina Vieira de Melo,
Wamberto Weber Vasconcelos,
David Stuart Robertson:
Why Ontologies Are Not Enough for Knowledge Sharing.
IEA/AIE 1999: 520-529 |
| 1998 |
|---|
| 18 | | Jordi Puigsegur,
Jaume Agustí-Cullell:
Visual Logic Programming by Means of Diagram Transformations.
APPIA-GULP-PRODE 1998: 311-328 |
| 17 | EE | Jordi Puigsegur,
Jaume Agustí-Cullell,
Joan Antoni Pastor:
Towards Visual Schemas in Deductive Databases.
DEXA 1998: 881-891 |
| 16 | EE | Jaume Agustí-Cullell,
Jordi Puigsegur,
W. Marco Schorlemmer:
Query Answering by Means of Diagram Transformation.
FQAS 1998: 15-28 |
| 15 | EE | David Stuart Robertson,
Jaume Agustí-Cullell:
Pragmatics in the Synthesis of Logic Programs.
LOPSTR 1998: 41-60 |
| 14 | | Jaume Agustí-Cullell,
Jordi Puigsegur,
David Stuart Robertson:
A Visual Syntax for Logic and Logic Programming.
J. Vis. Lang. Comput. 9(4): 399-427 (1998) |
| 1997 |
|---|
| 13 | | Jordi Puigsegur,
W. Marco Schorlemmer,
Jaume Agustí-Cullell:
From Queries to Answers in Visual Logic Programming.
VL 1997: 102-109 |
| 1996 |
|---|
| 12 | | W. Marco Schorlemmer,
Jaume Agustí-Cullell:
Inclusional Theories in Declarative Programming.
APPIA-GULP-PRODE 1996: 167-178 |
| 11 | | Jordi Puigsegur,
Jaume Agustí-Cullell,
David Stuart Robertson:
A Visual Logic Programming Language.
VL 1996: 214-221 |
| 10 | | Jordi Levy,
Jaume Agustí-Cullell:
Bi-Rewrite Systems.
J. Symb. Comput. 22(3): 279-314 (1996) |
| 1994 |
|---|
| 9 | | David Stuart Robertson,
Jaume Agustí-Cullell,
Jane Hesketh,
Jordi Levy:
Expressing Program Requirements Using Refinement Lattices.
Fundam. Inform. 21(3): 163-182 (1994) |
| 1993 |
|---|
| 8 | | David Stuart Robertson,
Jaume Agustí-Cullell,
Jane Hesketh,
Jordi Levy:
Expressing Program Requirements Using Refinement Lattices.
ISMIS 1993: 245-254 |
| 7 | | Jordi Levy,
Jaume Agustí-Cullell:
Bi-rewriting, a Term Rewriting Technique for Monotonic Order Relations.
RTA 1993: 17-31 |
| 1992 |
|---|
| 6 | | Jordi Levy,
Jaume Agustí-Cullell:
Implementing Inequality and Non-Deterministic Specifications with Bi-Rewriting Systems.
COMPASS/ADT 1992: 252-267 |
| 1991 |
|---|
| 5 | | Jaume Agustí-Cullell,
Enric Plaza,
Carles Sierra:
Verification by Construction in MILORD.
EUROVAV 1991: 211-226 |
| 4 | | Lluis Godo,
Francesc Esteva,
Pere Garcia,
Jaume Agustí-Cullell:
A Formal Semantical Approach to Fuzzy Logic.
ISMVL 1991: 72-79 |
| 3 | EE | Jaume Agustí-Cullell,
Francesc Esteva,
Pere Garcia,
Lluis Godo,
Carles Sierra:
Combining Multiple-valued Logics in Modular Expert Systems.
UAI 1991: 17-25 |
| 1990 |
|---|
| 2 | | Jaume Agustí-Cullell,
Francesc Esteva,
Pere Garcia,
Lluis Godo:
Formalizing Multiple-Valued Logics as Institutions.
IPMU 1990: 269-278 |
| 1986 |
|---|
| 1 | | Enric Plaza,
Claudi Alsina,
Ramon López de Mántaras,
Juan A. Rodríguez-Aguilar,
Jaume Agustí-Cullell:
Consensus and knowledge acquisition.
IPMU 1986: 294-306 |
