All Stories

  1. Accountability in Logic Programming

    Article • ACM Transactions on Internet Technology, November 2018, ACM (Association for Computing Machinery)

    Marco Gavanelli

  2. Evaluating Compliance: From LTL to Abductive Logic Programming

    Article • Fundamenta Informaticae, March 2018, IOS Press

    Marco Gavanelli

  3. Reasoning on Datalog± Ontologies with Abductive Logic Programming

    Article • Fundamenta Informaticae, March 2018, IOS Press

    Fabrizio Riguzzi, PhD Riccardo Zese, Marco Gavanelli

  4. SLDNF trees in LaTeX

    Article • Intelligenza Artificiale, April 2017, IOS Press

    Marco Gavanelli

  5. Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture

    Article • July 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Marco Gavanelli

  6. Integration of abductive reasoning and constrained optimization

    Article • January 2009, Springer Science + Business Media

    Marco Gavanelli