509 | -- | 514 | Manuel Carro, Andy King. Introduction to the 32nd International Conference on Logic Programming Special Issue |
515 | -- | 532 | María Alpuente, Francisco Frechina, Julia Sapiña, Demis Ballis. Assertion-based analysis via slicing with ABETS |
533 | -- | 551 | Mario Alviano, Carmine Dodaro. Anytime answer set optimization via unsatisfiable core shrinking |
552 | -- | 569 | Manuel Bichler, Michael Morak, Stefan Woltran. The power of non-ground rules in Answer Set Programming |
570 | -- | 586 | Bart Bogaerts 0001, Tomi Janhunen, Shahab Tasharrofi. Stable-unstable semantics: Beyond NP with normal logic programs |
587 | -- | 603 | Pedro Cabalar, Jorge Fandinno. Justifications for programs with disjunctive and causal-choice rules |
604 | -- | 618 | Zhuo Chen, Kyle Marple, Elmer Salazar, Gopal Gupta, Lakshman Tamil. A Physician Advisory System for Chronic Heart Failure management based on knowledge patterns |
619 | -- | 635 | Stefania Costantini, Andrea Formisano. Query answering in resource-based answer set semantics |
636 | -- | 652 | Jo Devriendt, Bart Bogaerts 0001, Maurice Bruynooghe, Marc Denecker. On local domain symmetry for model expansion |
653 | -- | 669 | Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Konstantin Schekotihin. Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) |
670 | -- | 687 | Jorge Fandinno. Deriving conclusions from non-monotonic cause-effect relations |
688 | -- | 702 | Michael Frank 0002, Michael Codish. Logic Programming with Graph Automorphism: Integrating nauty with Prolog (Tool Description) |
703 | -- | 720 | Tiantian Gao, Paul Fodor, Michael Kifer. Paraconsistency and word puzzles |
721 | -- | 737 | Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo. Semantic code browsing |
738 | -- | 754 | Laura Giordano 0001, Daniele Theseider Dupré. ASP for minimal entailment in a rational extension of SROEL |
755 | -- | 770 | Amelia Harrison, Yuliya Lierler. First-order modular logic programs and their conservative extensions |
771 | -- | 786 | Amelia Harrison, Vladimir Lifschitz. Stable models for infinitary formulas with extensional atoms |
787 | -- | 799 | Amelia Harrison, Vladimir Lifschitz, Julian Michael. Proving infinitary formulas |
800 | -- | 816 | Daniela Inclezan. CoreALMlib: An ALM library translated from the Component Library |
817 | -- | 833 | Nikos Katzouris, Alexander Artikis, Georgios Paliouras. Online learning of event definitions |
834 | -- | 848 | Mark Law, Alessandra Russo, Krysia Broda. Iterative Learning of Answer Set Programs from Context Dependent Examples |
849 | -- | 865 | Pedro López-García 0001, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo. A general framework for static profiling of parametric resource usage |
866 | -- | 883 | Christoph Redl. The dlvhex system for knowledge representation: recent advances (system description) |
884 | -- | 898 | Amr Hany Saleh, Tom Schrijvers. Efficient algebraic effect handlers for Prolog |
899 | -- | 915 | João Santos 0004, Ricardo Rocha. On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores |
916 | -- | 932 | K. Tuncay Tekle, Yanhong A. Liu. Precise complexity guarantees for pointer analysis via Datalog with extensions |
933 | -- | 949 | Alexander Vandenbroucke, Maciej Piróg, Benoit Desouter, Tom Schrijvers. Tabling with Sound Answer Subsumption |
950 | -- | 965 | Jan Wielemaker, Keri Harris. Lock-free atom garbage collection for multithreaded Prolog |