 | 2003 |
| 24 |  | Carles Sierra,
Jordi Sabater,
Jaume Agustí-Cullell,
Pere Garcia:
Integrating evolutionary computing and the SADDE methodology.
AAMAS 2003: 1116-1117 |
| 2002 |
| 23 |  | 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 |  | 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 |  | 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 |  | Jordi Puigsegur,
Jaume Agustí-Cullell,
Joan Antoni Pastor:
Towards Visual Schemas in Deductive Databases.
DEXA 1998: 881-891 |
| 16 |  | Jaume Agustí-Cullell,
Jordi Puigsegur,
W. Marco Schorlemmer:
Query Answering by Means of Diagram Transformation.
FQAS 1998: 15-28 |
| 15 |  | 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 |  | 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 |