391. Using Answer Set Programming for Commonsense Reasoning in the Winograd Schema Challenge. Issue 5 (September 2019) Authors: SHARMA, ARPIT Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 1021 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
392. Using linear constraints for logic program termination analysis. Issue 3 (31st March 2016) Authors: CALAUTTI, MARCO; GRECO, SERGIO; MOLINARO, CRISTIAN; TRUBITSYNA, IRINA Journal: Theory and practice of logic programming Issue: Volume 16:Issue 3(2016) Page Start: 353 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
393. Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages. Issue 2 (15th February 2019) Authors: WIELEMAKER, JAN; RIGUZZI, FABRIZIO; KOWALSKI, ROBERT A.; LAGER, TORBJÖRN; SADRI, FARIBA; CALEJO, MIGUEL Editors: Schulz, Claudia; Ellmauthaler, Stefan Journal: Theory and practice of logic programming Issue: Volume 19:Issue 2(2019) Page Start: 229 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
394. Using Tabled Logic Programming to Solve the Petrobras Planning Problem. Issue 4 (21st July 2014) Authors: BARTÁK, ROMAN; ZHOU, NENG-FA; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 697 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
395. Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs. Issue 5 (September 2021) Authors: BESIN, VIKTOR; HECHER, MARKUS; WOLTRAN, STEFAN Journal: Theory and practice of logic programming Issue: Volume 21:Issue 5(2021) Page Start: 575 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
396. VeriFly: On-the-fly Assertion Checking via Incrementality. Issue 6 (November 2021) Authors: SANCHEZ-ORDAZ, MIGUEL A.; GARCIA-CONTRERAS, ISABEL; PEREZ, VICTOR; MORALES, JOSÉ F.; LOPEZ-GARCIA, PEDRO; HERMENEGILDO, MANUEL V. Journal: Theory and practice of logic programming Issue: Volume 21:Issue 6(2021) Page Start: 768 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
397. Verifying Catamorphism-Based Contracts using Constrained Horn Clauses. Issue 4 (7th July 2022) Authors: DE ANGELIS, EMANUELE; PROIETTI, MAURIZIO; FIORAVANTI, FABIO; PETTOROSSI, ALBERTO Journal: Theory and practice of logic programming Issue: Volume 22:Issue 4(2022) Page Start: 555 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
398. Verifying Tight Logic Programs with anthem and vampire. Issue 5 (September 2020) Authors: FANDINNO, JORGE; LIFSCHITZ, VLADIMIR; LÜHNE, PATRICK; SCHAUB, TORSTEN Journal: Theory and practice of logic programming Issue: Volume 20:Issue 5(2020) Page Start: 735 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
399. Vicious Circle Principle and Logic Programs with Aggregates. Issue 4 (21st July 2014) Authors: GELFOND, MICHAEL; ZHANG, YUANLIN; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 587 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
400. Viterbi training in PRISM. Issue 2 (March 2015) Authors: SATO, TAISUKE; KUBOTA, KEIICHI Journal: Theory and practice of logic programming Issue: Volume 15:Issue 2(2015) Page Start: 147 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗