698 | -- | 699 | Alex Brik, Andrea Formisano 0001, Yanhong Annie Liu, Joost Vennekens. Introduction to the 37th International Conference on Logic Programming Special Issue II |
700 | -- | 716 | Bishoksan Kafle, Graeme Gange, Peter J. Stuckey, Peter Schachte, Harald Søndergaard. Transformation-Enabled Precondition Inference |
717 | -- | 734 | Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo. Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation |
735 | -- | 749 | Vladimir Lifschitz. Here and There with Arithmetic |
750 | -- | 767 | Jukka Pajunen, Tomi Janhunen. Solution Enumeration by Optimality in Answer Set Programming |
768 | -- | 784 | Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco, José F. Morales 0001, Pedro López-García 0001, Manuel V. Hermenegildo. VeriFly: On-the-fly Assertion Checking via Incrementality |
785 | -- | 801 | Kylian Van Dessel, Jo Devriendt, Joost Vennekens. as Input Language for Answer Set Solvers |
802 | -- | 817 | Felix Q. Weitkämper. An Asymptotic Analysis of Probabilistic Logic Programming, with Implications for Expressing Projective Families of Distributions |
818 | -- | 834 | Paul S. Brown, Vania Dimitrova, Glen Hart, Anthony G. Cohn, Paulo Moura. Refactoring the Whitby Intelligent Tutoring System for Clean Architecture |
835 | -- | 851 | Carmine Dodaro, Giuseppe Galatà, Andrea Grioni, Marco Maratea, Marco Mochi, Ivan Porro. An ASP-based Solution to the Chemotherapy Treatment Scheduling problem |
852 | -- | 869 | Muge Fidan, Esra Erdem 0001. Knowledge-Based Stable Roommates Problem: A Real-World Application |