1st Workshop on

Grounding and Transformations for Theories with Variables

(GTTV 2011)

Vancouver, BC, Canada
May 2011

home  |  committees important dates  |  for authors  |  workshop content
NEW>> Get the online proceedings

Workshop programme

Monday, May 16th, 2011

8:30-10:00
GTTV Technical Session I (Chair: Evgenia Ternovska)

Tomi Janhunen, Guohua Liu and Ilkka Niemela:
Tight Integration of Non-Ground Answer Set Programming and Satisfiability Modulo Theories

Pedro Cabalar and Martin Dieguez:
An Experiment on Tabled evaluation for hidden predicates

Francesco Calimeri, Susanna Cozza and Simona Perri:
Handling Function Symbols in the DLV Grounder


10:00-10:30
Break


10:30-12:00
GTTV Technical Session II (Chair: David Mitchell)

Stefania Costantini, Andrea Formisano and David Pearce:
Strong Equivalence of RASP Programs

Jingsong Wang and Marco Valtorta:
Instantiation to Support the Integration of Logical and Probabilistic Knowledge

Francesco Ricca, Simona Perri and Marco Sirianni:
The DLV parallel grounder



Webpage maintained by Pedro Cabalar

Partially supported by projects: MEC TIN2009-14562-C05-04 and Xunta de Galicia INCITE08-PXIB105159PR