Sierra Santibañez, Maria Josefina
Total activity: 46
University degree
Licenciatura en Ciencias Matemáticas
Research group
LARCA - Laboratory of Relational Algorithmics, Complexity and Learnability
Department
Department of Computer Science
School
Barcelona School of Informatics (FIB)
E-mail
jsierracs.upc.edu
Contact details
UPC directory Open in new window
Orcid
0000-0003-3529-6713 Open in new window
ResearcherID
I-7796-2014 Open in new window
Scopus Author ID
36894029300 Open in new window
Collaborative networks

Graphic summary
  • Show / hide key
  • Information


Scientific and technological production
  •  

1 to 46 of 46 results
  • Access to the full text
    An agent-based model studying the acquisition of a language system of logical constructions  Open access

     Sierra Santibañez, Maria Josefina
    AAAI Conference on Artificial Intelligence
    p. 350-357
    Presentation's date: 2014-07-29
    Presentation of work at congresses

    Read the abstract Read the abstract Access to the full text Access to the full text Open in new window  Share Reference managers Reference managers Open in new window

    This paper presents an agent-based model that studies the emergence and evolution of a language system of logical constructions, i.e. a vocabulary and a set of grammatical constructions that allows the expression of logical combinations of categories. The model assumes the agents have a common vocabulary for basic categories, the ability to construct logical combinations of categories using Boolean functions, and some general purpose cognitive capacities for invention, adoption, induction and adaptation. But it does not assume the agents have a vocabulary for Boolean functions nor grammatical constructions for expressing such logical combinations of categories through language. The results of the experiments we have performed show that a language system of logical constructions emerges as a result of a process of selforganisation of the individual agents¿ interactions when these agents adapt their preferences for vocabulary and grammatical constructions to those they observe are used more often by the rest of the population, and that such a language system is transmitted from one generation to the next.

    This paper presents an agent-based model that studies the emergence and evolution of a language system of logical constructions, i.e. a vocabulary and a set of grammatical constructions that allows the expression of logical combinations of categories. The model assumes the agents have a common vocabulary for basic categories, the ability to construct logical combinations of categories using Boolean functions, and some general purpose cognitive capacities for invention, adoption, induction and adaptation. But it does not assume the agents have a vocabulary for Boolean functions nor grammatical constructions for expressing such logical combinations of categories through language. The results of the experiments we have performed show that a language system of logical constructions emerges as a result of a process of selforganisation of the individual agents’ interactions when these agents adapt their preferences for vocabulary and grammatical constructions to those they observe are used more often by the rest of the population, and that such a language system is transmitted from one generation to the next.

  • Access to the full text
    A multi-agent experiment on the acquisition of a language system of logical constructions  Open access

     Sierra Santibañez, Maria Josefina
    Sintelnet WG5 Workshop on Crowd Intelligence: Foundations, Methods, and Practices
    p. 63-75
    Presentation's date: 2014-01-08
    Presentation of work at congresses

    Read the abstract Read the abstract Access to the full text Access to the full text Open in new window  Share Reference managers Reference managers Open in new window

    This paper analyses an experiment which studies the acquisition of the linguistic competence required to communicate logical combinations of categories from the wisdom of the crowds perspective. The acquisition of such competence encompasses both the construction of a set of logical categories by each individual agent and of a shared language by the population. The processes of conceptualisation and language acquisition in each individual agent are based on general purpose cognitive capacities such as discrimination, invention, adoption and induction. The construction of a shared language by the population is achieved using a particular type of linguistic interaction, known as the evaluation game, which gives rise to a shared language system of logical constructions as a result of a process of self-organisation of the individual agents¿ interactions, when these agents adapt their languages to the expressions they observe are used more often by other agents.

    This paper analyses an experiment which studies the acquisition of the linguistic competence required to communicate logical combinations of categories from the wisdom of the crowds perspective. The acquisition of such competence encompasses both the construction of a set of logical categories by each individual agent and of a shared language by the population. The processes of conceptualisation and language acquisition in each individual agent are based on general purpose cognitive capacities such as discrimination, invention, adoption and induction. The construction of a shared language by the population is achieved using a particular type of linguistic interaction, known as the evaluation game, which gives rise to a shared language system of logical constructions as a result of a process of self-organisation of the individual agents’ interactions, when these agents adapt their languages to the expressions they observe are used more often by other agents.

    Postprint (author’s final draft)

  • A logic programming approach to parsing and production in fluid construction grammar

     Sierra Santibañez, Maria Josefina
    DOI: 10.1007/978-3-642-34120-5
    Date of publication: 2012
    Book chapter

    Read the abstract Read the abstract View View Open in new window  Share Reference managers Reference managers Open in new window

    This paper presents a Logic Programming approach to parsing and production in Fluid Construction Grammar (FCG) [13] . It builds on previous work on the formalisation of FCG in terms of First Order Logic (FOL) concepts, more specifically on the definition of its core inference operations, unification and merge, in terms of FOL unification and search in the space of a particular set of FOL terms called structure arrangements. An implementation of such inference operations based on Logic Programming and Artificial Intelligence techniques such as unification and heuristic search is outlined.

    This paper presents a Logic Programming approach to parsing and production in Fluid Construction Grammar (FCG). It builds on previous work on the formalisation of FCG in terms of First Order Logic (FOL) concepts, more specifically on the definition of its core inference operations, unification and merge, in terms of FOL unification and search in the space of a particular set of FOL terms called structure arrangements. An implementation of such inference operations based on Logic Programming and Artificial Intelligence techniques such as unification and heuristic search is outlined.

  • First order logic concepts in fluid construction grammar

     Sierra Santibañez, Maria Josefina
    Annual International Conference on Biologically Inspired Cognitive Architectures
    p. 344-350
    Presentation's date: 2011-11-05
    Presentation of work at congresses

    View View Open in new window  Share Reference managers Reference managers Open in new window

  • Lógica para informáticos

     Farre Cirera, Rafael; Nieuwenhuis, Robert Lukas Mario; Nivela Alos, Mª Del Pilar Brigida; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric; Sierra Santibañez, Maria Josefina
    Date of publication: 2011
    Book

    View View Open in new window  Share Reference managers Reference managers Open in new window

  • First order logic concepts in fluid construction grammar

     Sierra Santibañez, Maria Josefina
    Date of publication: 2011
    Book chapter

    View View Open in new window  Share Reference managers Reference managers Open in new window

  • Experiments on the acquisition of the semantics and grammatical constructions required for communicating propositional logic sentences

     Sierra Santibañez, Maria Josefina; Santibáñez Velilla, Josefina
    DOI: 10.1007/978-3-642-11482-3_16
    Date of publication: 2010-02-01
    Book chapter

    Read the abstract Read the abstract View View Open in new window  Share Reference managers Reference managers Open in new window

    We describe some experiments which simulate a grounded approach to language acquisition in which a population of autonomous agents without prior linguistic knowledge tries to construct at the same time a conceptualisation of its environment and a shared language. The conceptualisation and language acquisition processes in each individual agent are based on general purpose cognitive capacities, such as categorisation, discrimination, evaluation and induction. The emergence of a shared language in the population results from a process of selforganisation of a particular type of linguistic interaction which takes place among the agents in the population. The experiments, which extend previous work by addressing the problem of the acquisition of both the semantics and the syntax of propositional logic, show that at the end of the simulation runs the agents build different conceptualisations and different grammars. However, these conceptualisations and grammars are compatible enough to guarantee the unambiguous communication of propositional logic sentences. Furthermore the categorisers of the perceptually grounded and logical categories built during the conceptualisation and language acquisition processes can be used for some forms of common sense reasoning, such as determining whether a sentence is a tautology, a contradiction, a common sense axiom or a merely satisfiable formula.

  • Experiments on the acquisition of the semantics and grammatical constructions required for communicating propositional logic sentences

     Sierra Santibañez, Maria Josefina; Santibáñez Velilla, Josefina
    Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering (LNICST)
    Vol. 23, p. 236-251
    DOI: 10.1007/978-3-642-11482-3
    Date of publication: 2010-01-13
    Journal article

    View View Open in new window  Share Reference managers Reference managers Open in new window

  • Access to the full text
    Propositional logic syntax acquisition using induction and self-organisation  Open access

     Sierra Santibañez, Maria Josefina; Santibáñez Velilla, Josefina
    Date of publication: 2009-12
    Book chapter

    Read the abstract Read the abstract Access to the full text Access to the full text Open in new window  Share Reference managers Reference managers Open in new window

    This paper addresses the problem of the acquisition of the syntax of propositional logic. An approach based on general purpose cognitive capacities such as invention, adoption, parsing, generation and induction is proposed. Self-organisation principles are used to show how a shared set of preferred lexical entries and grammatical constructions, i.e., a language, can emerge in a population of autonomous agents which do not have any initial linguistic knowledge. Experiments in which a population of autonomous agents constructs a grammar that allows communicating the formulas of a propositional logic language are presented. These experiments extend previous work by considering a larger population and a much larger search space of grammar rules. In particular the agents are allowed to order the expressions associated with the constituents of a logical formula in arbitrary order. Previous work assumed that the expressions associated with the connectives should be placed in the first position of the sentence.

    Postprint (author’s final draft)

  • Experiments on the acquisition of cognitive and linguistic competence to communicate propositional logic sentences

     Sierra Santibañez, Maria Josefina; Santibáñez Velilla, Josefina
    AAAI Fall Symposium
    p. 153-158
    Presentation's date: 2009-11-07
    Presentation of work at congresses

    View View Open in new window  Share Reference managers Reference managers Open in new window

  • LARCA

     Lopez Herrera, Josefina; Castro Rabal, Jorge; Bifet Figuerol, Albert Carles; Delgado Pin, Jordi; Morrill, Glyn Verden; Balcazar Navarro, Jose Luis; Sierra Santibañez, Maria Josefina; Baixeries i Juvillà, Jaume; Arias Vicente, Marta; Berral Garcia, Josep Lluis; Quattoni, Ariadna Julieta; Arratia Quesada, Argimiro Alejandro; De Balle Pigem, Borja; Gavaldà Mestre, Ricard
    Competitive project

     Share

  • SECUENCIAS SIMBOLICAS:ANALISIS,APRENDIZAJE,MINERIA Y EVOLUCION - BARCELONA

     Arratia Quesada, Argimiro Alejandro; Sierra Santibañez, Maria Josefina; Berral Garcia, Josep Lluis; Lozano Bojados, Antoni; Baixeries i Juvillà, Jaume; Arias Vicente, Marta; Morrill, Glyn Verden; Bifet Figuerol, Albert Carles; Lopez Herrera, Josefina; Delgado Pin, Jordi; Ferrer Cancho, Ramon; Quattoni, Ariadna Julieta; Gavaldà Mestre, Ricard
    Competitive project

     Share

  • The Acquisition of Linguistic Competence for Communicating Propositional Logic Sentences

     Sierra Santibañez, Maria Josefina
    Lecture notes in computer science
    Vol. 4995, p. 175-192
    Date of publication: 2008-11
    Journal article

     Share Reference managers Reference managers Open in new window

  • Grounded Language Acquisition Enables Intuitive Reasoning

     Sierra Santibañez, Maria Josefina
    Date of publication: 2008-11
    Book chapter

     Share Reference managers Reference managers Open in new window

  • Horn query learning with multiple refinement

     Sierra Santibañez, Maria Josefina; Santibáñez, Josefina
    Lecture notes in computer science
    Vol. 5361, p. 503-513
    DOI: 10.1007/978-3-540-89694-4_51
    Date of publication: 2008
    Journal article

    Read the abstract Read the abstract View View Open in new window  Share Reference managers Reference managers Open in new window

    In this paper we try to understand the heuristics that underlie the decisions made by the Horn query learning algorithm proposed in [1]. We take advantage of our explicit representation of such heuristics in order to present an alternative termination proof for the algorithm, as well as to justify its decisions by showing that they always guarantee that the negative examples in the sequence maintained by the algorithm violate different clauses in the target formula. Finally, we propose a new algorithm that allows multiple refinement when we can prove that such a refinement does not affect the independence of the negative examples in the sequence maintained by the algorithm.

    In this paper we try to understand the heuristics that underlie the decisions made by the Horn query learning algorithm proposed in [1]. We take advantage of our explicit representation of such heuristics in order to present an alternative termination proof for the algorithm, as well as to justify its decisions by showing that they always guarantee that the negative examples in the sequence maintained by the algorithm violate different clauses in the target formula. Finally, we propose a new algorithm that allows multiple refinement when we can prove that such a refinement does not affect the independence of the negative examples in the sequence maintained by the algorithm.

  • Grounded language acquisition enables intuitive reasoning

     Sierra Santibañez, Maria Josefina; Santibáñez, Josefina
    AAAI Fall Symosium
    p. 174-179
    Presentation's date: 2008
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • The Acquisition of Linguistic Competence for Communicating Propositional Logic Sentences

     Sierra Santibañez, Maria Josefina
    Anual International Workshop on the Engineering Societies in the Agents World
    Presentation's date: 2007-10-22
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • The acquisition of linguistic competence for communicating propositional logic sentences

     Sierra Santibañez, Maria Josefina; Santibáñez, Josefina
    Anual International Workshop on the Engineering Societies in the Agents World
    p. 97-112
    Presentation of work at congresses

    Read the abstract Read the abstract  Share Reference managers Reference managers Open in new window

    We describe some experiments which show how a language expressive enough to allow the communication of meanings of the same complexity as propositional logic formulas can emerge in a population of autonomous agents which have no prior linguistic knowledge. We take an approach based on general purpose cognitive capacities, such as invention, adoption and induction, and on self-organisation principles applied to a particular type of linguistic interaction known as a language game. These experiments extend previous work by considering a larger population and a much larger search space of grammar rules. In particular the agents are allowed to order the expressions associated with the constituents of a logical formula in arbitrary order in the sentence. Previous work assumed that the expressions associated with the connectives should be always placed in the first position of the sentence. Another difference is that communication is considered successful in a language game if the meaning interpreted by the hearer is logically equivalent to the meaning the speaker had in mind. In previous experiments the meanings of speaker and hearer were required to be syntactically equal. This allows us to observe how a less strict grammar in terms of word order emerges through the self-organisation process, which minimizes the learning effort of the agents by imposing only those order relations among the components of a sentence that are necessary for language understanding.

  • The Acquisition of Linguistic Competence for Communicating Propositional Logic Sentences

     Sierra Santibañez, Maria Josefina
    Anual International Workshop on the Engineering Societies in the Agents World
    p. 97-112
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • Propositional logic syntax acquisition using induction and self-organisation

     Sierra Santibañez, Maria Josefina
    I Workshop MOISES-TA (MOdelado Individualizado de SEcuencias de Símbolos. Teoría y Aplicaciones
    Presentation's date: 2006-10-05
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • Propositional Logic Syntax Acquisition Using Induction and Self-Organization

     Sierra Santibañez, Maria Josefina
    Date of publication: 2006-10
    Book chapter

     Share Reference managers Reference managers Open in new window

  • MOISES-BAR

     Gavaldà Mestre, Ricard; Sierra Santibañez, Maria Josefina
    Competitive project

     Share

  • Propositional logic syntax acquisition using induction and self-organisation

     Sierra Santibañez, Maria Josefina
    AAAI (American Association for Artificial Intelligence) Fall Symposium 2006
    p. 74-81
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • Propositional logic syntax acquisition

     Sierra Santibañez, Maria Josefina
    International Workshop on the Emergence and Evolution of Linguistic Communication
    p. 128-142
    DOI: 10.1007/11880172_11
    Presentation's date: 2006
    Presentation of work at congresses

    Read the abstract Read the abstract View View Open in new window  Share Reference managers Reference managers Open in new window

    This paper addresses the problem of the acquisition of the syntax of propositional logic. An approach based on general purpose cognitive capacities such as invention, adoption, parsing, generation and induction is proposed. Self-organisation principles are used to show how a shared set of preferred lexical entries and grammatical constructions, i.e., a language, can emerge in a population of autonomous agents which do not have any initial linguistic knowledge. Experiments in which a population of autonomous agents constructs a language that allows communicating the formulas of a propositional language are presented. This language although simple has interesting properties found in natural languages, such as compositionality and recursion.

  • Propositional logic syntax acquisition

     Sierra Santibañez, Maria Josefina
    Date of publication: 2006
    Book chapter

    Read the abstract Read the abstract View View Open in new window  Share Reference managers Reference managers Open in new window

    This paper addresses the problem of the acquisition of the syntax of propositional logic. An approach based on general purpose cognitive capacities such as invention, adoption, parsing, generation and induction is proposed. Self-organisation principles are used to show how a shared set of preferred lexical entries and grammatical constructions, i.e., a language, can emerge in a population of autonomous agents which do not have any initial linguistic knowledge. Experiments in which a population of autonomous agents constructs a language that allows communicating the formulas of a propositional language are presented. This language although simple has interesting properties found in natural languages, such as compositionality and recursion.

  • The acquisition of propositional logic syntax: syntactic versus semantic meaning discrimination

     Sierra Santibañez, Maria Josefina
    Learning 2006, PASCAL (Pattern Análysis Statistical Modelling and Computational Learning) Network, Pascal Dialogues 2006
    p. 1-15
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • Heuristic planning: A declarative approach based on strategies for action selection

     Sierra Santibañez, Maria Josefina
    Artificial intelligence
    Vol. 153, num. 1-2, p. 307-337
    DOI: 10.1016/j.artint.2002.11.001
    Date of publication: 2004-03
    Journal article

    Read the abstract Read the abstract View View Open in new window  Share Reference managers Reference managers Open in new window

    This paper introduces the notion of heuristic planning, and describes a particular approach to heuristic planning based on a declarative formalization of strategies for action selection. This approach is compared with some heuristic planning systems proposed in the literature. The heuristic information and declarative formalisms for the representation of heuristic knowledge used by these systems are compared in terms of their capacity of controlling the search process and their effectiveness for solving some planning problems. Finally, the results of some experiments on heuristic answer set planning are described in order to show how heuristics can be used to improve the scalability of answer set planning.

  • Heuristic Planning: A Declarative Approach Based on Strategies for Action Selection

     Sierra Santibañez, Maria Josefina
    I Workshop MOISES (MOdelado Individualizado de SEcuencias Simbólicas)
    Presentation's date: 2004-02-10
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • Prolog implementation of the unification algorithm used in Fluid Construction Grammar

     Sierra Santibañez, Maria Josefina
    First Fluid Construction Grammar Workshop
    p. 1-22
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • Declarative formalization of reasoning strategies: A case study on heuristic nonlinear planning

     Sierra Santibañez, Maria Josefina
    Annals of mathematics and artificial intelligence
    Vol. 39, num. 1-2, p. 61-100
    DOI: 10.1023/A:1024464815668
    Date of publication: 2003-09
    Journal article

    Read the abstract Read the abstract View View Open in new window  Share Reference managers Reference managers Open in new window

    We study the declarative formalization of reasoning strategies by presenting declarative formalizations of: (1) the SNLP algorithm for nonlinear planning, and (2) a particular algorithm for blocks world nonlinear planning proposed in this paper. The formal models of a heuristic forward chaining planner, which can take advantage of declarative formalizations of action selection strategies, and of a reasoning strategy based planner, which can use declarative formalizations of reasoning strategies, are proposed. The effectiveness of these systems is studied from formal and empirical points of view. Empirical results showing how the use of declarative formalizations of reasoning strategies can reduce the amount of search required for solving planning problems (with respect to state of the art planning systems) are presented.

  • Referee

     Sierra Santibañez, Maria Josefina
    Eigthteen International Joint Conference on Artificial Intelligence
    Presentation's date: 2003-02-01
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • Robotics and autonomous systems

     Sierra Santibañez, Maria Josefina
    Collaboration in journals

     Share

  • Theory and practice of logic programming

     Sierra Santibañez, Maria Josefina
    Collaboration in journals

     Share

  • Grounded models as a basis for intuitive and deductive reasoning: The acquisition of logical categories

     Sierra Santibañez, Maria Josefina
    European Conference on Artificial Intelligence
    p. 93-97
    Presentation of work at congresses

    Read the abstract Read the abstract  Share Reference managers Reference managers Open in new window

    Grounded models differ from axiomatic theories in establishing explicit connections between language and reality that are learned through language games. This paper describes how grounded models are constructed by visually grounded autonomous agents playing different types of language games, and explains how they can be used for intuitive reasoning. It proposes a particular language game that can be used for simulating the generation of logical categories (such as negation, conjunction, disjunction, implication or equivalence), and describes some experiments in which a couple of visually grounded agents construct a grounded model that can be used for spatial reasoning.

  • Razonamiento automático y planificación heurística

     del Val, Alvaro; Sierra Santibañez, Maria Josefina
    Competitive project

     Share

  • Grounded models

     Sierra Santibañez, Maria Josefina
    AAAI (American Association for Artificial Intelligence) Spring Symposium on Learning Grounded Representations
    p. 69-74
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • Grounded models as a basis for intuitive reasoning

     Sierra Santibañez, Maria Josefina
    International Join Conference on Artificial Intelligence
    p. 401-406
    Presentation of work at congresses

    Read the abstract Read the abstract  Share Reference managers Reference managers Open in new window

    This paper introduces grounded models and compares them to axiomatic models of mathematics. Grounded models differ from axiomatic theories in establishing explicit connections between language and reality that are learnt through language games. They are constructed and updated by autonomous agents connected to their environment through sensors and actuators using some conceptualization mechanisms and language games described in [Steels, 1999]. They are based on conceptualization and support a form of intuitive reasoning, which can be done sometimes by constraint satisfaction and it is argued to be the basis of some axiomatizations. This is illustrated with a simple example of spatial reasoning.

  • Heuristic planning: A declarative forward chaining approach

     Sierra Santibañez, Maria Josefina
    Fifth Symposium on Logical Formalizations of Commonsense Reasoning
    p. 228-234
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • Declarative formalization of strategies for action selection: Applications to planning

     Sierra Santibañez, Maria Josefina
    Seventh European Workshop on Logics in Artificial Intelligence
    p. 21-35
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • Declarative formalization of reasoning strategies: A case study on blocks world nonlinear planning

     Sierra Santibañez, Maria Josefina
    : International Conference on Knowledge Based Computer Systems
    p. 446-457
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • Planning with declarative formalizations of heuristics for action selection

     Sierra Santibañez, Maria Josefina
    Nineteenth Workshop of the UK Planning and Scheduling Special Interest Group, Plansig 2000
    p. 197-206
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • Declarative formalization of reasoning strategies: A case study on heuristic nonlinear planning

     Sierra Santibañez, Maria Josefina
    Bar-Ilan Symposium on the Foundations of Artificial Intelligence
    p. 1-9
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • Declarative formalization of heuristics (taking advice in the blocks world)

     Sierra Santibañez, Maria Josefina
    International Conference on Computational Intelligence for Modelling, Control and Automation
    p. 221-228
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • High Performance Knowledge Bases for Knowledge Representation and Planning

     McCarthy, John; Sierra Santibañez, Maria Josefina
    Competitive project

     Share

  • A declarative formalization of STRIPS

     Sierra Santibañez, Maria Josefina
    European Conference on Artificial Intelligence
    p. 509-513
    Presentation of work at congresses

    Read the abstract Read the abstract  Share Reference managers Reference managers Open in new window

    We present a declarative formalization of STRIPS as a reasoning strategy in the situation calculus. The idea is to use logic not only to represent planning problems, but also to describe the mental situations, mental actions and reasoning strategy STRIPS uses to solve those problems.

  • Basic Research in Knowledge Representation

     McCarthy, John; Sierra Santibañez, Maria Josefina
    Competitive project

     Share