Co-LP 2012 - A workshop on Coinductive Logic Programming
September 8, 2012, Budapest, Hungary
Associated with the 28th International
Conference on Logic Programming (ICLP 2012)
11:00 - 13:00: Session 1
-
11:00 - 11:30: Paulo Moura.
Coinductive Logic Programming in Logtalk
-
11:30 - 12:00: Kyle Marple, Ajay Bansal, Richard Min and Gopal Gupta.
Goal-directed Execution of Answer Set Programs with Coinduction
-
12:00 - 12:30:
Davide Ancona and Elena Zucca.
Translating Corecursive Featherweight Java in Coinductive Logic Programming
- 12:30 - 13:00:
Ekaterina Komendantskaya, John Power and Martin Schmidt. Coalgebraic Logic Programming: implicit versus explicit resource handling
13:00 - 14:00: Lunch
14:00 - 15:00: Session 2
-
14:00 - 14:30: Neda Saeedloei and Gopal Gupta.
Timed pi-Calculus and its Realization in Coinductive Constraint Logic Programming
-
14:30 - 15:00: Gopal Gupta
, Kyle Marple, Brian DeVries, Feliks Kluźniak, Richard Min, Neda Saeedloei, Tobias Haage. Coinductive Answer Set Programming or Consistency-based Computing