Publications in collaboration with researchers from University of Nebraska at Omaha (9)

2024

  1. Syntactic ASP forgetting with forks

    Artificial Intelligence, Vol. 326

2023

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

    Algorithms, Vol. 16, Núm. 4

  2. Probabilistic Autoepistemic Equilibrium Logic

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

2022

  1. A polynomial reduction of forks into logic programs

    Artificial Intelligence, Vol. 308

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

    Algorithms, Vol. 15, Núm. 6

  3. Syntactic ASP Forgetting with Forks

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

2021

  1. A logic program transformation for strongly persistent forgetting

    Electronic Proceedings in Theoretical Computer Science, EPTCS

  2. Towards a semantics for hybrid asp systems

    Electronic Proceedings in Theoretical Computer Science, EPTCS

2020

  1. Modular Answer Set Programming as a Formal Specification Language

    Theory and Practice of Logic Programming