Conference papers (5)

¹ Publicaciones consideradas como producción de la unidad.

View referenced research data.

in the year 2020 Remove filter
filter_list Type (aggr.) Conference papers from 2020 to 2020 Computational Theory and Mathematics

2020

  1. Interpolation in equilibrium logic and answer set programming: The propositional case

    Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2010

  2. NATSA: A Near-Data Processing Accelerator for Time Series Analysis

    Proceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors

  3. Time series checking with fuzzy interval temporal logics

    CEUR Workshop Proceedings

  4. Towards interval temporal logic rule-based classification

    CEUR Workshop Proceedings

  5. Trace Analysis Using an Event-Driven Interval Temporal Logic

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)