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