101. 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) ↗
102. Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints. Issue 5 (September 2020) Authors: TAUPE, RICHARD; WEINZIERL, ANTONIUS; FRIEDRICH, GERHARD Journal: Theory and practice of logic programming Issue: Volume 20:Issue 5(2020) Page Start: 799 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
103. Consistency and trust in peer data exchange systems. Issue 2 (29th July 2016) Authors: BERTOSSI, LEOPOLDO; BRAVO, LORETO Journal: Theory and practice of logic programming Issue: Volume 17:Issue 2(2017) Page Start: 148 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
104. Constraint Answer Set Programming without Grounding. Issue 3 (10th August 2018) Authors: ARIAS, JOAQUIN; CARRO, MANUEL; SALAZAR, ELMER; MARPLE, KYLE; GUPTA, GOPAL Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 337 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
105. Constraint answer set solver EZCSP and why integration schemas matter. Issue 4 (29th June 2017) Authors: BALDUCCINI, MARCELLO; LIERLER, YULIYA Journal: Theory and practice of logic programming Issue: Volume 17:Issue 4(2017) Page Start: 462 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
106. Constraint handling rules with binders, patterns and generic quantification*. Issue 5 (22nd August 2017) Authors: SERRANO, ALEJANDRO; HAGE, JURRIAAN Editors: Rocha, Ricardo; Cao Son, Tran Journal: Theory and practice of logic programming Issue: Volume 17:Issue 5/6(2017) Page Start: 992 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
107. Constraint solving for finite model finding in SMT solvers*. Issue 4 (28th June 2017) Authors: REYNOLDS, ANDREW; TINELLI, CESARE; BARRETT, CLARK Journal: Theory and practice of logic programming Issue: Volume 17:Issue 4(2017) Page Start: 516 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
108. Constraint-Based Inference in Probabilistic Logic Programs. Issue 3 (10th August 2018) Authors: NAMPALLY, ARUN; ZHANG, TIMOTHY; RAMAKRISHNAN, C. R. Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 638 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
109. Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis*. Issue 5 (24th August 2017) Authors: CUTERI, BERNARDO; DODARO, CARMINE; RICCA, FRANCESCO; SCHÜLLER, PETER Editors: Rocha, Ricardo; Cao Son, Tran Journal: Theory and practice of logic programming Issue: Volume 17:Issue 5/6(2017) Page Start: 780 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
110. Contextual Abductive Reasoning with Side-Effects. Issue 4 (21st July 2014) Authors: PEREIRA, LUÍS MONIZ; DIETZ, EMMANUELLE-ANNA; HÖLLDOBLER, STEFFEN; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 633 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗