All Stories

  1. Accountability in Logic Programming

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

    Marco Gavanelli

  2. Wavelength-Routed Optical Networks-on-Chip

    Article • May 2018, ACM (Association for Computing Machinery)

    Marco Gavanelli

  3. Evaluating Compliance: From LTL to Abductive Logic Programming

    Article • Fundamenta Informaticae, March 2018, IOS Press

    Marco Gavanelli

  4. Reasoning on Datalog± Ontologies with Abductive Logic Programming

    Article • Fundamenta Informaticae, March 2018, IOS Press

    Fabrizio Riguzzi, PhD Riccardo Zese, Marco Gavanelli

  5. SLDNF trees in LaTeX

    Article • Intelligenza Artificiale The international journal of the AIxIA, April 2017, IOS Press

    Marco Gavanelli

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

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

    Marco Gavanelli

  7. Integration of abductive reasoning and constrained optimization

    Article • January 2009, Springer Science + Business Media

    Marco Gavanelli