• PhilPapers
  • PhilPeople
  • PhilArchive
  • PhilEvents
  • PhilJobs
  • Sign in
PhilPeople
 
  • Sign in
  • News Feed
  • Find Philosophers
  • Departments
  • Radar
  • Help
 
profile-cover
Drag to reposition
profile picture

Francesco Ricca

  •  Home
  •  Publications
    5
    • Most Recent
    • Most Downloaded
    • Topics
  •  News and Updates
    4

 More details
Areas of Interest
Metaphysics
Logic and Philosophy of Logic
  • All publications (5)
  •  79
    The multi-engine asp solver me-asp
    with Marco Maratea and Luca Pulina
    In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence, Springer. pp. 484--487. 2012.
  •  42
    Paracoherent answer set computation
    with Giovanni Amendola, Carmine Dodaro, and Wolfgang Faber
    Artificial Intelligence 299 (C): 103519. 2021.
    Science, Logic, and Mathematics
  •  42
    Disjunctive logic programming with types and objects: The DLV+ system
    with Nicola Leone
    Journal of Applied Logic 5 (3): 545-573. 2007.
    Logic and Philosophy of Logic
  •  42
    New models for generating hard random boolean formulas and disjunctive logic programs
    with Giovanni Amendola and Miroslaw Truszczynski
    Artificial Intelligence 279 (C): 103185. 2020.
    Science, Logic, and Mathematics
  •  37
    Design and results of the Fifth Answer Set Programming Competition
    with Francesco Calimeri, Martin Gebser, and Marco Maratea
    Artificial Intelligence 231 (C): 151-181. 2016.
    Science, Logic, and Mathematics
PhilPeople logo

On this site

  • Find a philosopher
  • Find a department
  • The Radar
  • Index of professional philosophers
  • Index of departments
  • Help
  • Acknowledgments
  • Careers
  • Contact us
  • Terms and conditions

Brought to you by

  • The PhilPapers Foundation
  • The American Philosophical Association
  • Centre for Digital Philosophy, Western University
PhilPeople is currently in Beta Sponsored by the PhilPapers Foundation and the American Philosophical Association
Feedback