331. SUNNY: a Lazy Portfolio Approach for Constraint Solving. Issue 4 (21st July 2014) Authors: AMADINI, ROBERTO; GABBRIELLI, MAURIZIO; MAURO, JACOPO; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 509 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
332. Symbolic Analysis of Maude Theories with Narval. Issue 5 (September 2019) Authors: ALPUENTE, MARÍA; ESCOBAR, SANTIAGO; SAPIÑA, JULIA; BALLIS, DEMIS Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 874 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
333. Table space designs for implicit and explicit concurrent tabled evaluation. Issue 5 (27th July 2018) Authors: AREIAS, MIGUEL; ROCHA, RICARDO Journal: Theory and practice of logic programming Issue: Volume 18:Issue 5/6(2018) Page Start: 950 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
334. Tabling as a library with delimited control. Issue 4 (3rd September 2015) Authors: DESOUTER, BENOIT; VAN DOOREN, MARKO; SCHRIJVERS, TOM Editors: Eiter, Thomas; Toni, Francesca Journal: Theory and practice of logic programming Issue: Volume 15:Issue 4/5(2015) Page Start: 419 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
335. Tabling with Sound Answer Subsumption. Issue 5 (14th October 2016) Authors: VANDENBROUCKE, ALEXANDER; PIRÓG, MACIEJ; DESOUTER, BENOIT; SCHRIJVERS, TOM Editors: Carro, Manuel; King, Andy Journal: Theory and practice of logic programming Issue: Volume 16:Issue 5/6(2016) Page Start: 933 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
336. Tabling, Rational Terms, and Coinduction Finally Together!. Issue 4 (21st July 2014) Authors: MANTADELIS, THEOFRASTOS; ROCHA, RICARDO; MOURA, PAULO; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 429 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
337. Taming primary key violations to query large inconsistent data via ASP. Issue 4 (3rd September 2015) Authors: MANNA, MARCO; RICCA, FRANCESCO; TERRACINA, GIORGIO Editors: Eiter, Thomas; Toni, Francesca Journal: Theory and practice of logic programming Issue: Volume 15:Issue 4/5(2015) Page Start: 696 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
338. Temporal Answer Set Programming on Finite Traces. Issue 3 (10th August 2018) Authors: CABALAR, PEDRO; KAMINSKI, ROLAND; SCHAUB, TORSTEN; SCHUHMANN, ANNA Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 406 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
339. Temporal logic programs with variables*. Issue 2 (11th November 2016) Authors: AGUADO, FELICIDAD; CABALAR, PEDRO; PÉREZ, GILBERTO; VIDAL, CONCEPCIÓN; DIÉGUEZ, MARTÍN Journal: Theory and practice of logic programming Issue: Volume 17:Issue 2(2017) Page Start: 226 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
340. Temporal Minimal-World Query Answering over Sparse ABoxes. Issue 2 (11th March 2022) Authors: BORGWARDT, STEFAN; FORKEL, WALTER; KOVTUNOVA, ALISA Journal: Theory and practice of logic programming Issue: Volume 22:Issue 2(2022) Page Start: 193 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗