Publicaciones en colaboración con investigadores/as de Vienna University of Technology (10)

2023

  1. Deontic Equilibrium Logic with eXplicit Negation

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

2022

  1. Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs

    Algorithms, Vol. 15, Núm. 6

2018

  1. KEYSTONE Activities and Results Overview on Training Schools

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

2014

  1. A complexity assessment for queries involving sufficient and necessary causes

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8761, pp. 297-310

  2. A user study on tailoring GUIs for smartphones

    Proceedings of the ACM Symposium on Applied Computing

  3. Causal graph justifications of logic programs

    Theory and Practice of Logic Programming

2013

  1. A user study with GUIs tailored for smartphones

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

  2. A user study with GUIs tailored for smartphones and tablet PCs

    Proceedings - 2013 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2013

  3. Replication data management: Needs and solutions - An initial evaluation of conceptual approaches for integrating heterogeneous replication study data

    International Symposium on Empirical Software Engineering and Measurement

2011

  1. IMECS 2011 - International MultiConference of Engineers and Computer Scientists 2011: Preface

    IMECS 2011 - International MultiConference of Engineers and Computer Scientists 2011