Workshop content

• 14:55 - 15:00 OPENING
• 15:00 - 16:00 INVITED TALK
  • Giovambattista Ianni: 
    Extending ASP with functions: implementation techniques and  impact on  grounding  modules.
• 16:00 - 16:30 GTTV SESSION 1
  • Thomas Eiter, Michael Fink, Thomas Krennwallner and Christoph Redl:
    Grounding HEX-Programs with Expanding Domains.
• 16:30 - 17:00 COFFEE BREAK
• 17:00 - 18:30 GTTV SESSION 2
  • Broes De Cat, Joachim Jansen and Gerda Janssens:
    IDP3: Combining symbolic and ground reasoning for model generation.
  • Antonius Weinzierl:

    Learning Non-Ground Rules for Answer-Set Solving. 
  • Marco Maratea, Luca Pulina and Francesco Ricca: 
    On the automated selection of ASP instantiators.
     

Get the online proceedings