Issue navigation
Volume 34, Issue 8, December 2024
Special Issue: Advances in Computational Logic (CILC23)
Editorial
Advances in Computational Logic (CILC23): Preface
Agostino Dovier and Andrea Formisano
Journal of Logic and Computation, Volume 34, Issue 8, December 2024, Pages 1397–1398, https://doi.org/10.1093/logcom/exae035
Special Issue Articles
Temporal duration-based probabilistic argumentation frameworks
Stefano Bistarelli and others
Journal of Logic and Computation, Volume 34, Issue 8, December 2024, Pages 1399–1429, https://doi.org/10.1093/logcom/exae039
Sequent calculi and an efficient theorem prover for conditional logics with selection function semantics
Valentina Gliozzi and others
Journal of Logic and Computation, Volume 34, Issue 8, December 2024, Pages 1430–1468, https://doi.org/10.1093/logcom/exae037
Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality
Mario Alviano and others
Journal of Logic and Computation, Volume 34, Issue 8, December 2024, Pages 1469–1499, https://doi.org/10.1093/logcom/exae038
The XAI system for answer set programming xASP2
Mario Alviano and others
Journal of Logic and Computation, Volume 34, Issue 8, December 2024, Pages 1500–1525, https://doi.org/10.1093/logcom/exae036
Classical computation over quantum architectures: From graph encoding to declarative languages compilation
Alex Della Schiava and others
Journal of Logic and Computation, Volume 34, Issue 8, December 2024, Pages 1526–1555, https://doi.org/10.1093/logcom/exae040
Operating room scheduling via answer set programming: Improved encoding and test on real data
Carmine Dodaro and others
Journal of Logic and Computation, Volume 34, Issue 8, December 2024, Pages 1556–1579, https://doi.org/10.1093/logcom/exae041
ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex
Alessandro Bertagnon and Marco Gavanelli
Journal of Logic and Computation, Volume 34, Issue 8, December 2024, Pages 1580–1607, https://doi.org/10.1093/logcom/exae042
Advertisement
Advertisement