684 | -- | 688 | Ricardo Rocha 0001, Tran Cao Son. Introduction to the 33rd international conference on logic programming special issue |
689 | -- | 707 | María Alpuente, Santiago Escobar, Julia Sapiña, Angel Cuenca-Ortega. Inspecting Maude variants with GLINTS |
708 | -- | 725 | Mario Alviano. Model enumeration in propositional circumscription via unsatisfiable core analysis |
726 | -- | 743 | Giovanni Amendola, Nicola Leone, Marco Manna. Finite model reasoning over existential rules |
744 | -- | 763 | Harald Beck, Thomas Eiter, Christian F. Beckmann. Ticker: A system for incremental ASP-based stream reasoning |
764 | -- | 779 | Zhuo Chen, Elmer Salazar, Kyle Marple, Gopal Gupta, Lakshman Tamil, Daniel Cheeran, Sandeep Das, Alpesh Amin. Improving adherence to heart failure management guidelines via abductive reasoning |
780 | -- | 799 | Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller. Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis |
800 | -- | 818 | Marco Gavanelli, Maddalena Nonato, Andrea Peano, Davide Bertozzi. Logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper) |
819 | -- | 836 | Guido Governatori, Michael J. Maher. Annotated defeasible logic |
837 | -- | 854 | Ricardo Gonçalves 0001, Matthias Knorr, João Leite, Stefan Woltran. When you must forget: Beyond strong persistence when forgetting in answer set programming |
855 | -- | 871 | Amelia Harrison, Vladimir Lifschitz, Dhananjay Raju. Program completion in the input language of GRINGO |
872 | -- | 888 | Tomi Janhunen, Roland Kaminski, Max Ostrowski, Sebastian Schellhorn, Philipp Wanko, Torsten Schaub. Clingo goes linear constraints over reals and integers |
889 | -- | 905 | Jianmin Ji, Fangfang Liu, Jia-Huai You. Well-founded operators for normal hybrid MKNF knowledge bases |
906 | -- | 923 | Ekaterina Komendantskaya, Yue Li. Productive corecursion in logic programming |
924 | -- | 941 | Joohyung Lee, Nikhil Loney, Yunsong Meng. Representing hybrid automata by action language modulo theories |
942 | -- | 960 | Joohyung Lee, Samidh Talsania, Yi Wang. Computing LPMLN using ASP and MLN solvers |
961 | -- | 973 | Vladimir Lifschitz. Achievements in answer set programming |
974 | -- | 991 | Panos Rondogiannis, Ioanna Symeonidou. The intricacies of three-valued extensional semantics for higher-order logic programs |
992 | -- | 1009 | Alejandro Serrano, Jurriaan Hage. Constraint handling rules with binders, patterns and generic quantification |
1010 | -- | 1026 | Farhad Shakerin, Elmer Salazar, Gopal Gupta. A new algorithm to automate inductive learning of default theories |
1027 | -- | 1047 | Ibrahim Faruk Yalciner, Ahmed Nouman, Volkan Patoglu, Esra Erdem. Hybrid conditional planning using answer set programming |
1048 | -- | 1065 | Carlo Zaniolo, Mohan Yang, Ariyam Das, Alexander Shkapsky, Tyson Condie, Matteo Interlandi. Fixpoint semantics and optimization of recursive Datalog programs with aggregates |