1. MILORD II: A Language for Knowledge-Based Systems
Josep Puyol

2. The Calculus of Refinements, a Formal Specification Model Based on Inclusions
Jordi Levy

5. A Framework for Integrating Learning and Problem Solving
Eva Armengol

6. The Noos Representation Language
Josep Lluis Arcos

8. Agent Mediated Auctions: The Fishmarket Metaphor
Pablo Noriega

9. Proof Procedures for Multiple-Valued Propositional Logics
Felip Manya

10. On Specifying and Reasoning with Special Relations
Marco Schorlemmer

11. Approaches to Map Generation by means of Col-laborative Autonomous Robots
Maite Lopez Sanchez

12. Pragmatics in the Synthesis of Logic Programs
Dave Robertson

13. Automated Service Negotiation between Autonomous Computational Agents
Peyman Faratin

14. On the Design and Construction of Agent-mediated Electronic Institutions
J. Antonio Rodriguez-Aguilar

15. Logic Programming with Fuzzy Unification and Imprecise Constants: Possibilistic Semantics and Automated Deduction
Teresa Alsinet

16. On Axiomatic Foundations for Qualitative Decision Theory – A Possibilistic Approach
Adriana Zapico

17. ClusDM: A Multiple Criteria Decision Method for Heterogeneous Data Sets
Aida Valls

18. A Multiagent Approach to Qualitative Navigation in Robotics
Didac Busquets

19. Electronic Institutions: from Specification to Development
Marc Esteva

20. Trust and Reputation for Agent Societies
Jordi Sabater

21. Improving Algorithms for Learning Bayesian Network Classifiers
Jesus Cerquides

22. On Some Variants of Second-Order Unification
Mateu Villaret

23. Open, Reusable and Configurable Multi-Agent Systems: A Knowledge Modelling Approach
Mario Gomez

24. Multi-Agent Negotiation Using Trust and Persuasion
Sarvapali Ramchurm

25. Ensemble Case-Based Learning for Multi-Agent Systems
Santiago Ontañon

26. Contributions to Search and Inference Algorithms for CSP and Weighted CSP
Marti Sanchez-Fibla

27. Algebraic Study of Axiomatic Extensions of Triangular Norm Based Fuzzy Logics
Carles Noguera

28. Functional Definability Issues in Logics Based on Triangular Norms
Enrico Marchioni

29. Expressivity-Aware Tempo Transformations of Music Performances Using Case Based Reasoning
Maarten Grachten

30. Distributed Constraint Satisfaction
Ismel Brito

31. On Non-clausal Horn-like Satisfiability Problems
Edgar Altamirano

32. Computationally Manageable Combinatorial Auctions for Supply Chain Automation
Andrea Giovanucci

33. Action Selection in Cooperative Robot Soccer using Case-Based Reasoning
Raquel Ros

34. On some Implication-free Fragments of Substructural and Fuzzy Logics
Angel Garcia-Cerdaña

35. Normative Regulation of Open Multi-agent Systems
Andres Garcia-Camino

36. Localization and Object Recognition for Mobile Robots
Arnau Ramisa

37. Poolcasting: an intelligent technique to customise music programmes for their audience
Claudio Baccigalupo

38. Design and Implementation of Exact MAX-SAT Solvers
Jordi Planes

39. Virtual Institutions
Anton Bogdanovych

40. Contributions to Record Linkage for Disclosure Risk Assessment
Jordi Nin

41. Max-SAT Formalisms with Hard and Soft Constraints
Josep Argelich

42. On Intentional and Social Agents with Graded Attitudes
Ana Casali

43. Decentralised Enforcement in Multiagent Networks
Adrian Perreau de Pinnick Bas

44. Milking the Reputation Cow: Argumentation, Reasoning and Cognitive Agents
Isaac Pinyol

45. Coherence-based Computational Agency
Sindhu Joseph

46. Semantic Alignment in the Context of Agent Interaction
Manuel Atencia