Issue: Volume 15:Issue 4/5(2015) - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Issue Volume 15:Issue 4/5(2015)

1. A denotational semantics for equilibrium logic*. Issue 4 (3rd September 2015)

Authors:: AGUADO, FELICIDAD; CABALAR, PEDRO; PEARCE, DAVID; PÉREZ, GILBERTO; VIDAL, CONCEPCIÓN
Editors:: Eiter, Thomas; Toni, Francesca
Journal:: Theory and practice of logic programming
Issue:: Volume 15:Issue 4/5(2015)
Page Start:: 620
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. A logic programming approach to predict effective compiler settings for embedded software. Issue 4 (3rd September 2015)

Authors:: BLACKMORE, CRAIG; RAY, OLIVER; EDER, KERSTIN
Editors:: Eiter, Thomas; Toni, Francesca
Journal:: Theory and practice of logic programming
Issue:: Volume 15:Issue 4/5(2015)
Page Start:: 481
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

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

4. Adding partial functions to Constraint Logic Programming with sets. Issue 4 (3rd September 2015)

Authors:: CRISTIÁ, MAXIMILIANO; ROSSI, GIANFRANCO; FRYDMAN, CLAUDIA
Editors:: Eiter, Thomas; Toni, Francesca
Journal:: Theory and practice of logic programming
Issue:: Volume 15:Issue 4/5(2015)
Page Start:: 651
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

5. An infinitary encoding of temporal equilibrium logic*. Issue 4 (3rd September 2015)

Authors:: CABALAR, PEDRO; DIÉGUEZ, MARTÍN; VIDAL, CONCEPCIÓN
Editors:: Eiter, Thomas; Toni, Francesca
Journal:: Theory and practice of logic programming
Issue:: Volume 15:Issue 4/5(2015)
Page Start:: 666
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

6. Complexity and compilation of GZ-aggregates in answer set programming. Issue 4 (3rd September 2015)

Authors:: ALVIANO, MARIO; LEONE, NICOLA
Editors:: Eiter, Thomas; Toni, Francesca
Journal:: Theory and practice of logic programming
Issue:: Volume 15:Issue 4/5(2015)
Page Start:: 574
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

7. Concolic testing in logic programming*. Issue 4 (3rd September 2015)

Authors:: MESNARD, FRED; PAYET, ÉTIENNE; VIDAL, GERMÁN
Editors:: Eiter, Thomas; Toni, Francesca
Journal:: Theory and practice of logic programming
Issue:: Volume 15:Issue 4/5(2015)
Page Start:: 711
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

8. Dual-normal logic programs – the forgotten class. Issue 4 (3rd September 2015)

Authors:: FICHTE, JOHANNES K.; TRUSZCZYŃSKI, MIROSŁAW; WOLTRAN, STEFAN
Editors:: Eiter, Thomas; Toni, Francesca
Journal:: Theory and practice of logic programming
Issue:: Volume 15:Issue 4/5(2015)
Page Start:: 495
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

9. Fuzzy answer set computation via satisfiability modulo theories. Issue 4 (3rd September 2015)

Authors:: ALVIANO, MARIO; PEÑALOZA, RAFAEL
Editors:: Eiter, Thomas; Toni, Francesca
Journal:: Theory and practice of logic programming
Issue:: Volume 15:Issue 4/5(2015)
Page Start:: 588
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

10. Horn clauses as an intermediate representation for program analysis and transformation*. Issue 4 (3rd September 2015)

Authors:: GANGE, GRAEME; NAVAS, JORGE A.; SCHACHTE, PETER; SØNDERGAARD, HARALD; STUCKEY, PETER J.
Editors:: Eiter, Thomas; Toni, Francesca
Journal:: Theory and practice of logic programming
Issue:: Volume 15:Issue 4/5(2015)
Page Start:: 526
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗