624 | -- | 631 | Stefania Costantini, Enrico Pontelli, Alessandra Russo, Francesca Toni. th International Conference on Logic Programming Special Issue |
632 | -- | 647 | Jesse Heyninck, Bart Bogaerts 0001. Non-deterministic Approximation Operators: Ultimate Operators, Semi-equilibrium Semantics, and Aggregates |
648 | -- | 663 | Pierre Carbonnelle, Joost Vennekens, Marc Denecker, Bart Bogaerts 0001. Interactive Model Expansion in an Observable Environment |
664 | -- | 677 | Vladimir Lifschitz. On Program Completion, with an Application to the Sum and Product Puzzle |
678 | -- | 695 | Yanhong A. Liu, Scott D. Stoller, Yi Tong, Bo Lin. Integrating Logic Rules with Everything Else, Seamlessly |
696 | -- | 714 | Hasra Dodampegama, Mohan Sridharan. Knowledge-based Reasoning and Learning under Partial Observability in Ad Hoc Teamwork |
715 | -- | 729 | Michael Gelfond, Jorge Fandinno, Evgenii Balai. Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach |
730 | -- | 747 | Ionela Georgiana Mocanu, Vaishak Belle, Brendan Juba. Learnability with PAC Semantics for Multi-agent Beliefs |
748 | -- | 764 | Vito Barbara, Massimo Guarascio 0001, Nicola Leone, Giuseppe Manco 0001, Alessandro Quarta, Francesco Ricca, Ettore Ritacco. Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels |
765 | -- | 781 | Trung Hoang Le, Huiping Cao, Tran Cao Son. ASPER: Answer Set Programming Enhanced Neural Network Models for Joint Entity-Relation Extraction |
782 | -- | 796 | Masood Feyzbakhsh Rankooh, Tomi Janhunen. Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs |
797 | -- | 811 | Yuheng Wang, Paul Fodor, Michael Kifer. Knowledge Authoring for Rules and Actions |
812 | -- | 831 | Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta 0001. Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP |
832 | -- | 847 | Daniela Inclezan. An ASP Framework for the Refinement of Authorization and Obligation Policies |
848 | -- | 864 | Paola Cappanera, Marco Gavanelli, Maddalena Nonato, Marco Roma. Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling |
865 | -- | 883 | Vaishak Belle. Toward A Logical Theory Of Fairness and Bias |
884 | -- | 899 | Rafael Kiesel, Kilian Rückschloß, Felix Weitkämper. "What if?" in Probabilistic Logic Programming |
900 | -- | 917 | Tom Schrijvers, Birthe van den Berg, Fabrizio Riguzzi. Automatic Differentiation in Prolog |
918 | -- | 932 | Wlodzimierz Drabent. Implementing Backjumping by Means of Exception Handling |
933 | -- | 947 | Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Vladimir Lifschitz, Nathan Temple. External Behavior of a Logic Program and Verification of Refactoring |
948 | -- | 964 | Wolfgang Faber 0001, Giuseppe Mazzotta, Francesco Ricca. An Efficient Solver for ASP(Q) |