![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | umich.txt | 14-Apr-2016 14:00 | 1.2K | |
![]() | umich.pdf | 22-Apr-2016 10:01 | 338K | |
![]() | slides_umich.pdf | 22-Apr-2016 10:01 | 338K | |
![]() | slides_play.pdf | 27-May-2016 09:22 | 5.0M | |
![]() | slides_padl16b.pdf | 18-Jan-2016 16:48 | 4.9M | |
![]() | slides_padl16a.pdf | 18-Jan-2016 16:49 | 306K | |
![]() | slides_lgen.pdf | 21-Aug-2016 13:41 | 142K | |
![]() | slides_lambs.pdf | 22-Jul-2016 10:22 | 172K | |
![]() | slides_icccnt.pdf | 05-Jul-2016 21:14 | 210K | |
![]() | slides_eng16.pdf | 05-Jul-2016 09:41 | 200K | |
![]() | slides_appl.pdf | 17-Oct-2016 13:10 | 75K | |
![]() | prologEngine.zip | 05-Jun-2016 09:10 | 29K | |
![]() | ngen.pro | 31-Oct-2016 16:58 | 8.5K | |
![]() | lgen.pro | 11-Jun-2016 14:14 | 6.9K | |
![]() | lgen.pdf | 11-Jun-2016 14:06 | 235K | |
![]() | gir2fro.mov | 18-Jan-2016 16:48 | 1.5M | |
![]() | eng.pdf | 31-Aug-2016 14:28 | 164K | |
![]() | bol.pro | 11-Dec-2016 17:19 | 9.4K | |
![]() | appl.pdf | 10-Oct-2016 21:31 | 151K | |
![]() | PADL16_XDB.pdf | 21-Apr-2016 09:16 | 254K | |
![]() | PADL16_GCat.pdf | 21-Apr-2016 09:17 | 305K | |
![]() | LOPSTR16_arxiv.pdf | 12-Aug-2016 15:58 | 291K | |
![]() | ECIR2016.pdf | 14-Apr-2016 08:36 | 283K | |