1. A linear algebraic approach to datalog evaluation. Issue 3 (22nd May 2017) Authors: SATO, TAISUKE Journal: Theory and practice of logic programming Issue: Volume 17:Issue 3(2017) Page Start: 244 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. A new algorithm to automate inductive learning of default theories*. Issue 5 (23rd August 2017) Authors: SHAKERIN, FARHAD; SALAZAR, ELMER; GUPTA, GOPAL Editors: Rocha, Ricardo; Cao Son, Tran Journal: Theory and practice of logic programming Issue: Volume 17:Issue 5/6(2017) Page Start: 1010 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Achievements in answer set programming*. Issue 5 (30th August 2017) Authors: LIFSCHITZ, VLADIMIR Editors: Rocha, Ricardo; Cao Son, Tran Journal: Theory and practice of logic programming Issue: Volume 17:Issue 5/6(2017) Page Start: 961 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Annotated defeasible logic. Issue 5 (22nd August 2017) Authors: GOVERNATORI, GUIDO; MAHER, MICHAEL J. Editors: Rocha, Ricardo; Cao Son, Tran Journal: Theory and practice of logic programming Issue: Volume 17:Issue 5/6(2017) Page Start: 819 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. ASPeRiX, a first-order forward chaining approach for answer set computing*. Issue 3 (16th January 2017) Authors: LEFÈVRE, CLAIRE; BÉATRIX, CHRISTOPHER; STÉPHAN, IGOR; GARCIA, LAURENT Journal: Theory and practice of logic programming Issue: Volume 17:Issue 3(2017) Page Start: 266 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Book review: Book review. Issue 3 (17th March 2017) Authors: APT, KRZYSZTOF R. Journal: Theory and practice of logic programming Issue: Volume 17:Issue 3(2017) Page Start: 353 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. CASP solutions for planning in hybrid domains. Issue 4 (4th July 2017) Authors: BALDUCCINI, MARCELLO; MAGAZZENI, DANIELE; MARATEA, MARCO; LEBLANC, EMILY C. Journal: Theory and practice of logic programming Issue: Volume 17:Issue 4(2017) Page Start: 591 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Clingcon: The next generation*. Issue 4 (28th June 2017) Authors: BANBARA, MUTSUNORI; KAUFMANN, BENJAMIN; OSTROWSKI, MAX; SCHAUB, TORSTEN Journal: Theory and practice of logic programming Issue: Volume 17:Issue 4(2017) Page Start: 408 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Clingo goes linear constraints over reals and integers*. Issue 5 (11th September 2017) Authors: JANHUNEN, TOMI; KAMINSKI, ROLAND; OSTROWSKI, MAX; SCHELLHORN, SEBASTIAN; WANKO, PHILIPP; SCHAUB, TORSTEN Editors: Rocha, Ricardo; Cao Son, Tran Journal: Theory and practice of logic programming Issue: Volume 17:Issue 5/6(2017) Page Start: 872 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Computing LPMLN using ASP and MLN solvers*. Issue 5 (30th August 2017) Authors: LEE, JOOHYUNG; TALSANIA, SAMIDH; WANG, YI Editors: Rocha, Ricardo; Cao Son, Tran Journal: Theory and practice of logic programming Issue: Volume 17:Issue 5/6(2017) Page Start: 942 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗