Now showing items 1-12 of 12

    • A logic of graph conditions extended with paths 

      Navarro Gomez, Marisa; Orejas Valdés, Fernando; Pino Blanco, Elvira; Lambers, Leen (2016)
      Conference report
      Open Access
      In this paper we tackle the problem of extending the logic of nested graph conditions with paths. This means, for instance, that we may state properties about the existence of paths between some given nodes. As a main ...
    • A logic of graph conditions extended with paths 

      Navarro Gomez, Marisa; Orejas Valdés, Fernando; Pino Blanco, Elvira; Lambers, Leen (2016)
      Conference report
      Open Access
      In this paper we tackle the problem of extending the logic of nested graph conditions with paths. This means, for instance, that we may state properties about the existence of paths between some given nodes. As a main ...
    • A navigational logic for reasoning about graph properties 

      Navarro Gómez, Marisa; Orejas Valdés, Fernando; Pino Blanco, Elvira; Lambers, Leen (2021-01)
      Article
      Open Access
      Graphs play an important role in many areas of Computer Science. In particular, our work is motivated by model-driven software development and by graph databases. For this reason, it is very important to have the means to ...
    • An Algebraic framework for the definition of compositional semantics of normal logic programs 

      Lucio, Paqui; Orejas Valdés, Fernando; Pino Blanco, Elvira (1997-11)
      Research report
      Open Access
      The aim of our work is the definition of compositional semantics for modular units over the class of normal logic programs. In this sense, we propose a declarative semantics for normal logic programs in terms of model ...
    • Constructive negation without subsidiary trees 

      Pasarella Sánchez, Ana Edelmira; Pino Blanco, Elvira; Orejas Valdés, Fernando (2000-07)
      Research report
      Open Access
      In this paper we propose a new operational semantics, called BCN, which is sound and complete with respect to Clark-Kunen's completion for the unrestricted class of Normal Logic Programs. BCN is based on constructive ...
    • Correctness of incremental model synchronization with triple graph grammars 

      Orejas Valdés, Fernando; Pino Blanco, Elvira (Springer, 2014)
      Conference report
      Open Access
      In model-driven software development, we may have several models describing the same system or artifact, by providing different views on it. In this case, we say that these models are consistently integrated. Triple Graph ...
    • Incremental concurrent model synchronization using triple graph grammars 

      Orejas Valdés, Fernando; Pino Blanco, Elvira; Navarro Gómez, Marisa (Springer, 2020)
      Conference report
      Open Access
      In the context of software model-driven development, artifacts are specified by several models describing different aspects, e.g., different views, dynamic behavior, structure, distributed information, etc. Then, maintaining ...
    • Institutions for navigational logics for graphical structures 

      Orejas Valdés, Fernando; Pino Blanco, Elvira; Navarro Gómez, Marisa; Lambers, Leen (2018-03-05)
      Article
      Open Access
      We show that a Navigational Logic, i.e., a logic to express properties about graphs and about paths in graphs is a semi-exact institution. In this way, we can use a number of operations to structure and modularize our ...
    • Ordocoordinación: cómo organizar 700 estudiantes en un nuevo campus (y no morir en el intento) 

      Castro Rabal, Jorge; Farreres de la Morena, Xavier; Gabarró Vallès, Joaquim; Nivela Alós, M. Pilar Brígida; Pérez Poch, Antoni; Pino Blanco, Elvira; Rivero Almeida, José Miguel (Asociación de Enseñantes Universitarios de la Informática (AENUI), 2018)
      Conference report
      Open Access
      Since Autumn Term 2017 the Department of Computer Science of the Universitat Politecnica de Catalunya UPC-BarcelonaTech is in charge of teaching ”Fundamentals of Programming” in the new DiagonalBeso ´s Campus, at EEBE ...
    • Satisfiability of constraint specifications on XML documents 

      Navarro Gómez, Marisa; Orejas Valdés, Fernando; Pino Blanco, Elvira (Springer, 2015)
      Conference report
      Open Access
      Jose Meseguer is one of the earliest contributors in the area of Algebraic Specification. In this paper, which we are happy to dedicate to him on the occasion of his 65th birthday, we use ideas and methods coming from that ...
    • Semantics of structured normal logic programs 

      Pasarella Sánchez, Ana Edelmira; Orejas Valdés, Fernando; Pino Blanco, Elvira; Navarro, Marisa (2012)
      Conference report
      Open Access
      In this paper we provide semantics for normal logic programs enriched with structuring mechanisms and scoping rules. Specifically, we consider constructive negation and expressions of the form Q G Q in goals, where Q is ...
    • Towards a navigational logic for graphical structures 

      Lambers, Leen; Navarro Gomez, Marisa; Orejas Valdés, Fernando; Pino Blanco, Elvira (Springer, 2018)
      Conference report
      Open Access
      One of the main advantages of the Logic of Nested Conditions, defined by Habel and Pennemann, for reasoning about graphs, is its generality: this logic can be used in the framework of many classes of graphs and graphical ...