Supervised Theses (3)

  1. Generating Commonsense Explanations with Answer Set Programming 2024

    Universidade da Coruña

    Muñiz Castro, Brais

  2. A causal semantics for Logic Programming 2015

    Universidade da Coruña

    Fandiño García, Jorge

  3. Temporal Answer Set Programming 2015

    Universidade da Coruña

    Diéguez Lodeiro, Martín

Theses Committees (5)

  1. Secretary of the Committee

    Automatic Detection and Characterization of Pathological Fluid Regions in Optical Coherence Tomography Images 2023

    Universidade da Coruña

    Lizancos Vidal, Plácido Francisco

  2. Committee Member

    Advanced evaluation techniques for (non)-monotonic reasoning using rules with constraints 2020

    Universidad Politécnica de Madrid

    Arias Herrero, Joaquin

  3. Chair of the Committee

    Clasificación automática de documentación clínica. 2013

    Universidade da Coruña

    Lojo Vicente, José David

  4. Committee Member

    From belief to knowledge 2012

    Universidad Rey Juan Carlos

    Uridia, Levan

  5. Committee Member

    Extensiones del paradigma multiadjunto: programación lógica con multirretículos y aplicaciones al análisis formal de conceptos 2008

    Universidad de Málaga

    Ruiz Calviño, Jorge