•  11
    Satisfiability Testing for Boolean Formulas Using Δ-Trees
    with G. Gutiérrez, I. P. De Guzmán, M. Ojeda-Aciego, and A. Valverde
    Studia Logica 72 (1). 2002.
    The tree-based data structure of △-tree for propositional formulas is introduced in an improved and optimised form. The △-trees allow a compact representation for negation normal forms as well as for a number of reduction strategies in order to consider only those occurrences of literals which are relevant for the satisfiability of the input formula. These reduction strategies are divided into two subsets (meaning- and satisfiability-preserving transformations) and can be used to decrease the si…Read more
  •  44
    Satisfiability testing for Boolean formulas using δ-trees
    with G. Gutiérrez, I. P. de Guzmán, M. Ojeda-Aciego, and A. Valverde
    Studia Logica 72 (1). 2002.
    The tree-based data structure of -tree for propositional formulas is introduced in an improved and optimised form. The -trees allow a compact representation for negation normal forms as well as for a number of reduction strategies in order to consider only those occurrences of literals which are relevant for the satisfiability of the input formula. These reduction strategies are divided into two subsets (meaning- and satisfiability-preserving transformations) and can be used to decrease the size…Read more
  •  33
    The Interactive Origin of Iconicity
    with Mónica Tamariz, Seán G. Roberts, and Julio Santiago
    Cognitive Science 42 (1): 334-349. 2018.
    We investigate the emergence of iconicity, specifically a bouba-kiki effect in miniature artificial languages under different functional constraints: when the languages are reproduced and when they are used communicatively. We ran transmission chains of participant dyads who played an interactive communicative game and individual participants who played a matched learning game. An analysis of the languages over six generations in an iterated learning experiment revealed that in the Communication…Read more
  •  9
    Measuring Perceived Research Competence of Junior Researchers
    with Sarah A. Marrs, Carla Quesada-Pallarès, Korinthia D. Nicolai, and Elizabeth A. Severson-Irby
    Frontiers in Psychology 13. 2022.
    Graduates of doctoral programs are expected to be competent at designing and conducting research independently. Given the level of research competence needed to successfully conduct research, it is important that assessors of doctoral programs have a reliable and validated tool for measuring and tracking perceived research competence among their students and graduates. A high level of research competence is expected for all Ph.D. graduates worldwide, in addition to in all disciplines/fields. Mor…Read more
  •  15
    Plastic deformation by conservative shear-coupled migration of tilt boundaries with intergranular nano-cracks or precipitates
    with A. Luque, J. Aldazabal, and J. Gil Sevillano
    Philosophical Magazine 90 (27-28): 3743-3756. 2010.
  •  4
    Obstacles to Mathematization in Physics: The Case of the Differential
    with R. López-Gay and J. Martínez Torregrosa
    Science & Education 24 (5-6): 591-613. 2015.
  •  78
    Unifying the Philosophy of Truth (edited book)
    with T. Achourioti, H. Galinon, and K. Fujimoto
    Imprint: Springer. 2015.
    This anthology of the very latest research on truth features the work of recognized luminaries in the field, put together following a rigorous refereeing process. Along with an introduction outlining the central issues in the field, it provides a unique and unrivaled view of contemporary work on the nature of truth, with papers selected from key conferences in 2011 such as Truth Be Told (Amsterdam), Truth at Work (Paris), Paradoxes of Truth and Denotation (Barcelona) and Axiomatic Theories of Tr…Read more
  •  13
    A neural basis for food foraging in obesity
    with Eva Almiron-Roig, Maria A. Pastor, and Adam Drewnowski
    Behavioral and Brain Sciences 42. 2019.
  • Unifying the Philosophy of Truth (edited book)
    with D. Achourioti and H. Galinon
    Springer. 2015.
  • Volume on Truth (edited book)
    with T. Achourioti, H. Galinon, and K. Fujimoto
    Springer. forthcoming.