Skip to main content

User menu

  • Log in
HomeAI @ UniBOArtificial Intelligence Research at the University of Bologna
  • Home
  • Research and Projects
    • PreventIT
    • HABITAT
    • OPRECOM
    • Farseeing
    • DeepOpt
    • Games
    • CLIMB
    • SCIFF
    • SOCS
    • SOCS-SI
    • e-Policy
    • ComMon
    • Model Learning in Comb. Opt. (Google grant)
    • Opt4SmartCities
  • People
    • Paola Mello
    • Federico Chesani
    • Paolo Torroni
    • Michela Milano
    • Michele Lombardi
    • Luca Cattelani
    • Andrea Borghesi
    • Allegra De Filippo
    • Andrea Galassi
    • Former members
      • Marco Lippi
      • Marco Montali
      • Stefano Bragaglia
      • Davide Sottara
      • Fabrizio Riguzzi
      • Marco Gavanelli
      • Alessio Bonfietti
      • Thomas Bridi
      • Federico Caselli
      • Raffaele Ianniello
  • Teaching
    • Intelligent Syst. 18/19
    • LabInfo1819
    • Fondamenti AI 16/17
    • Sist. Vincoli 16/17
    • EIAN T 15/16
    • Sist. Intelligenti 15/16
  • Constraints Journal Editor

Breadcrumbs

You are here:

  1. Home

Everyone

Publications

  • Read more about Publications

For an update list, please refer to the University publication database.

 

 

 

[inlinebiblio]author,chesani[/inlinebiblio]

Federico Chesani Home Page

  • Read more about Federico Chesani Home Page

Federico Chesani

Ph.D., Researcher

DISI, Università di Bologna 

 

{Verifiable Agent Interaction in Abductive Logic Programming: The SCIFF framework}

  • Read more about {Verifiable Agent Interaction in Abductive Logic Programming: The SCIFF framework}

{A Logic-Based, Reactive Calculus of Events}

  • Read more about {A Logic-Based, Reactive Calculus of Events}

Pagination

  • Previous page ‹‹
  • (Page 5)
SubscribeSubscribe to Everyone
Design by Adaptive Theme