711. Symbolic possibilistic logic: completeness and inference methods. (17th January 2018) Authors: Cayrol, Claudette; Dubois, Didier; Touazi, Fayçal Journal: Journal of logic and computation Issue: Volume 28:Number 1(2018) Page Start: 219 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
712. 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) ↗
713. Tableaux for a combination of propositional dynamic logic and epistemic logic with interactions. (20th November 2017) Authors: Li, Yanjun Journal: Journal of logic and computation Issue: Volume 28:Number 2(2018) Page Start: 451 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
714. 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) ↗
715. 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) ↗
716. 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) ↗
717. Taking the path computably traveled. (23rd August 2019) Authors: Franklin, Johanna N Y; Turetsky, Dan Journal: Journal of logic and computation Issue: Volume 29:Number 6(2019) Page Start: 969 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
718. 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) ↗
719. 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) ↗
720. Temporal logic for social networks. (15th March 2022) Authors: Machado, Vitor; Benevides, Mario Journal: Journal of logic and computation Issue: Volume 32:Number 6(2022) Page Start: 1088 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗