Publicacións (145) Publicacións de José Pedro Cabalar Fernández

2025

  1. A Fixpoint Characterisation of Temporal Equilibrium Logic

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

  2. Compiling Metric Temporal Answer Set Programming

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

  3. tExplain: Information Extraction with Explanations

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

2024

  1. Metric Temporal Equilibrium Logic over Timed Traces

    Theory and Practice of Logic Programming, Vol. 24, Núm. 3, pp. 425-452

  2. Model Explanation via Support Graphs

    Theory and Practice of Logic Programming

  3. Representing and solving spatial problems

    Spatial Cognition and Computation

  4. Syntactic ASP forgetting with forks

    Artificial Intelligence, Vol. 326

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)

  2. Explanation Graphs for Stable Models of Labelled Logic Programs

    CEUR Workshop Proceedings

  3. Logic, Accountability and Design: Extended Abstract

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

  4. Metric dynamic equilibrium logic

    Journal of Applied Non-Classical Logics, Vol. 33, Núm. 3-4, pp. 495-519

  5. On the Semantics of Hybrid ASP Systems Based on Clingo

    Algorithms, Vol. 16, Núm. 4

  6. Past-Present Temporal Programs over Finite Traces

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

  7. Past-present temporal programs over finite traces: a preliminary report

    CEUR Workshop Proceedings

  8. Predicting pharmaceutical inkjet printing outcomes using machine learning

    International Journal of Pharmaceutics: X, Vol. 5

  9. Probabilistic Autoepistemic Equilibrium Logic

    Intelligent Systems Reference Library (Springer Science and Business Media Deutschland GmbH), pp. 81-87

  10. Uso de inteligencia artificial para la predicción de resultados de impresión por inyección de tinta

    XVI Congreso SEFIG ( 16. 2023. Madrid): Libro de comunicaciones

2022

  1. A MaxSAT Solver Based on Differential Evolution (Preliminary Report)

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

  2. A polynomial reduction of forks into logic programs

    Artificial Intelligence, Vol. 308

  3. Accelerating 3D printing of pharmaceutical products using machine learning

    International Journal of Pharmaceutics: X, Vol. 4