Author/Creator: SCHAUB, TORSTEN - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator SCHAUB, TORSTEN

1. Abstract gringo. Issue 4 (3rd September 2015)

Authors:: GEBSER, MARTIN; HARRISON, AMELIA; KAMINSKI, ROLAND; LIFSCHITZ, VLADIMIR; SCHAUB, TORSTEN
Editors:: Eiter, Thomas; Toni, Francesca
Journal:: Theory and practice of logic programming
Issue:: Volume 15:Issue 4/5(2015)
Page Start:: 449
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. ASP-Core-2 Input Language Format. Issue 2 (20th March 2020)

Authors:: CALIMERI, FRANCESCO; FABER, WOLFGANG; GEBSER, MARTIN; IANNI, GIOVAMBATTISTA; KAMINSKI, ROLAND; KRENNWALLNER, THOMAS; LEONE, NICOLA; MARATEA, MARCO; RICCA, FRANCESCO; SCHAUB, TORSTEN
Journal:: Theory and practice of logic programming
Issue:: Volume 20:Issue 2(2020)
Page Start:: 294
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Aspeed: Solver scheduling via answer set programming1. Issue 1 (January 2015)

Authors:: HOOS, HOLGER; KAMINSKI, ROLAND; LINDAUER, MARIUS; SCHAUB, TORSTEN
Journal:: Theory and practice of logic programming
Issue:: Volume 15:Issue 1(2015)
Page Start:: 117
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

4. Claspfolio 2: Advances in Algorithm Selection for Answer Set Programming. Issue 4 (21st July 2014)

Authors:: HOOS, HOLGER; LINDAUER, MARIUS; SCHAUB, TORSTEN; Leuschel, Michael; Schrijvers, Tom
Journal:: Theory and practice of logic programming
Issue:: Volume 14:Issue 4/5(2014)
Page Start:: 569
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

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

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

7. Experimenting with robotic intra-logistics domains. Issue 3 (10th August 2018)

Authors:: GEBSER, MARTIN; OBERMEIER, PHILIPP; OTTO, THOMAS; SCHAUB, TORSTEN; SABUNCU, ORKUNT; NGUYEN, VAN; SON, TRAN CAO
Editors:: Dal Palu, Alessandro; Tarau, Paul
Journal:: Theory and practice of logic programming
Issue:: Volume 18:Issue 3/4(2018)
Page Start:: 502
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

8. Hybrid metabolic network completion. Issue 1 (9th November 2018)

Authors:: FRIOUX, CLÉMENCE; SCHAUB, TORSTEN; SCHELLHORN, SEBASTIAN; SIEGEL, ANNE; WANKO, PHILIPP
Journal:: Theory and practice of logic programming
Issue:: Volume 19:Issue 1(2019)
Page Start:: 83
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

9. Multi-shot ASP solving with clingo. Issue 1 (10th July 2018)

Authors:: GEBSER, MARTIN; KAMINSKI, ROLAND; KAUFMANN, BENJAMIN; SCHAUB, TORSTEN
Journal:: Theory and practice of logic programming
Issue:: Volume 19:Issue 1(2019)
Page Start:: 27
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

10. Planning with Incomplete Information in Quantified Answer Set Programming. Issue 5 (24th September 2021)

Authors:: FANDINNO, JORGE; LAFERRIERE, FRANCOIS; ROMERO, JAVIER; SCHAUB, TORSTEN; SON, TRAN CAO
Journal:: Theory and practice of logic programming
Issue:: Volume 21:Issue 5(2021)
Page Start:: 663
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗