251. OntoScene, A Logic-Based Scene Interpreter: Implementation and Application in the Rock Art Domain. Issue 4 (15th July 2020) Authors: BRIOLA, DANIELA; MASCARDI, VIVIANA; GIOSEFFI, MASSIMILIANO Journal: Theory and practice of logic programming Issue: Volume 20:Issue 4(2020) Page Start: 456 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
252. Operating Room (Re)Scheduling with Bed Management via ASP. Issue 2 (14th March 2022) Authors: DODARO, CARMINE; GALATÀ, GIUSEPPE; KAMRAN KHAN, MUHAMMAD; MARATEA, MARCO; PORRO, IVAN Journal: Theory and practice of logic programming Issue: Volume 22:Issue 2(2022) Page Start: 229 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
253. Optimal multibinding unification for sharing and linearity analysis. Issue 3 (May 2014) Authors: AMATO, GIANLUCA; SCOZZARI, FRANCESCA Journal: Theory and practice of logic programming Issue: Volume 14:Issue 3(2014) Page Start: 379 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
254. Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP. Issue 3 (10th August 2018) Authors: DAHLEM, MARC; BHAGYANATH, ANOOP; SCHNEIDER, KLAUS Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 438 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
255. Optimizing Answer Set Computation via Heuristic-Based Decomposition. Issue 4 (28th February 2019) Authors: CALIMERI, FRANCESCO; PERRI, SIMONA; ZANGARI, JESSICA Journal: Theory and practice of logic programming Issue: Volume 19:Issue 4(2019) Page Start: 603 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
256. Optimizing phylogenetic supertrees using answer set programming. Issue 4 (3rd September 2015) Authors: KOPONEN, LAURA; OIKARINEN, EMILIA; JANHUNEN, TOMI; SÄILÄ, LAURA Editors: Eiter, Thomas; Toni, Francesca Journal: Theory and practice of logic programming Issue: Volume 15:Issue 4/5(2015) Page Start: 604 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
257. Optimizing Probabilities in Probabilistic Logic Programs. Issue 5 (23rd September 2021) Authors: AZZOLINI, DAMIANO; RIGUZZI, FABRIZIO Journal: Theory and practice of logic programming Issue: Volume 21:Issue 5(2021) Page Start: 543 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
258. Paracoherent Answer Set Semantics meets Argumentation Frameworks. Issue 5 (September 2019) Authors: AMENDOLA, GIOVANNI; RICCA, FRANCESCO Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 688 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
259. Paraconsistency and word puzzles. Issue 5 (14th October 2016) Authors: GAO, TIANTIAN; FODOR, PAUL; KIFER, MICHAEL Editors: Carro, Manuel; King, Andy Journal: Theory and practice of logic programming Issue: Volume 16:Issue 5/6(2016) Page Start: 703 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
260. Parallelism, concurrency and distribution in constraint handling rules: A survey. Issue 5 (23rd May 2018) Authors: FRÜHWIRTH, THOM Journal: Theory and practice of logic programming Issue: Volume 18:Issue 5/6(2018) Page Start: 759 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗