Date: 2017 / Journal: Theory and practice of logic programming - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Date 2017 Journal Theory and practice of logic programming

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) ↗