Jaume Agustí-Cullell

Jaume Agustí-Cullell, Francesc Esteva, Pere Garcia, Lluis Godo, Carles Sierra: Combining Multiple-Valued Logics in Modular Expert Systems. CoRR abs/1303.5705 (2013)

Carles Sierra, Jordi Sabater, Jaume Agustí-Cullell, Pere Garcia: Integrating evolutionary computing and the SADDE methodology. AAMAS 2003: 1116-1117

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)

Carles Sierra, Jordi Sabater, Jaume Agustí-Cullell, Pere Garcia: Evolutionary programming in SADDE. AAMAS 2002: 1270-1271

Carles Sierra, Jordi Sabater, Jaume Agustí-Cullell, Pere Garcia: Evolutionary Computation in MAS design. ECAI 2002: 188-192

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

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

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)

Jordi Puigsegur, Jaume Agustí-Cullell: Visual Logic Programming by Means of Diagram Transformations. APPIA-GULP-PRODE 1998: 311-328

Jordi Puigsegur, Jaume Agustí-Cullell, Joan Antoni Pastor: Towards Visual Schemas in Deductive Databases. DEXA 1998: 881-891

Jaume Agustí-Cullell, Jordi Puigsegur, W. Marco Schorlemmer: Query Answering by Means of Diagram Transformation. FQAS 1998: 15-28

David Stuart Robertson, Jaume Agustí-Cullell: Pragmatics in the Synthesis of Logic Programs. LOPSTR 1998: 41-60

Jordi Puigsegur, W. Marco Schorlemmer, Jaume Agustí-Cullell: From Queries to Answers in Visual Logic Programming. VL 1997: 102-109

Jordi Levy, Jaume Agustí-Cullell: Bi-Rewrite Systems. J. Symb. Comput. 22(3): 279-314 (1996)

W. Marco Schorlemmer, Jaume Agustí-Cullell: Inclusional Theories in Declarative Programming. APPIA-GULP-PRODE 1996: 167-178

Jordi Puigsegur, Jaume Agustí-Cullell, David Stuart Robertson: A Visual Logic Programming Language. VL 1996: 214-221

David Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy: Expressing Program Requirements Using Refinement Lattices. Fundam. Inform. 21(3): 163-182 (1994)

Jaume Agustí-Cullell, Francesc Esteva, Pere Garcia, Lluis Godo, Ramon López de Mántaras, Carles Sierra: Local multi-valued logics in modular expert systems. J. Exp. Theor. Artif. Intell. 6(3): 303-321 (1994)

David Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy: Expressing Program Requirements Using Refinement Lattices. ISMIS 1993: 245-254

Jordi Levy, Jaume Agustí-Cullell: Bi-rewriting, a Term Rewriting Technique for Monotonic Order Relations. RTA 1993: 17-31

Jordi Levy, Jaume Agustí-Cullell: Implementing Inequality and Non-Deterministic Specifications with Bi-Rewriting Systems. COMPASS/ADT 1992: 252-267

Jaume Agustí-Cullell, Enric Plaza, Carles Sierra: Verification by Construction in MILORD. EUROVAV 1991: 211-226

Lluis Godo, Francesc Esteva, Pere Garcia, Jaume Agustí-Cullell: A Formal Semantical Approach to Fuzzy Logic. ISMVL 1991: 72-79

Jaume Agustí-Cullell, Francesc Esteva, Pere Garcia, Lluis Godo, Carles Sierra: Combining Multiple-valued Logics in Modular Expert Systems. UAI 1991: 17-25

Jaume Agustí-Cullell, Francesc Esteva, Pere Garcia, Lluis Godo: Formalizing Multiple-Valued Logics as Institutions. IPMU 1990: 269-278

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